Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Idris: A Language for Type-Driven Development. Parent comment
It's easy to validate something "and just throw an exception".
The fun starts when you can't do that (or don't want to do it like that).
There are no comments on this comment yet.
It's easy to validate something "and just throw an exception".
The fun starts when you can't do that (or don't want to do it like that).