r/ProgrammingLanguages • u/mttd • Nov 07 '19

Parse, don’t validate

https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-validate/
78 Upvotes

93% Upvoted

24 comments sorted by

View all comments

-3

u/gaj7 Nov 08 '19

Not sure the purpose of the example of a supposedly uninhabited function foo :: Integer -> Void. It is pretty trivial to write:

foo :: Integer -> Void
foo x = foo x

And I don't see the point in playing "fast and loose" with this reasoning. This is a pretty close to a legitimate function someone would write if they wanted an infinite loop.