News for hackers. Stuff that matters.

A comment on Reflecting on Haskell in 2016. Parent comment

Re:Reflecting on Haskell in 2016 by rpglover64 on Monday December 26, 2016 @04:07PM (#13259776)
> it's just a formula. I also know it doesn't do any logging, or "launch nukes", and that it is thread safe.

So the type claims. Without looking at the implementation or using `-XSafeHaskell`, you don't know if there's an `unsafePerformIO` call lurking.

/pedantry

[ Parent | on HN ]
Re:Reflecting on Haskell in 2016 by Buttons840 on Monday December 26, 2016 @05:58PM (#13260230)
Even if the function had documentation that said "this function does not have side effects" it could still have side effects.

So within the context of this thread, type signatures vs hand written documentation, I would say your point is a +0 for hand written documentation. Both type signatures and hand written documentation can lie.

[ Parent | on HN ]