News for hackers. Stuff that matters.
Re:Idris: A Language for Type-Driven Development by still_grokking on Tuesday January 24, 2023 @03:17AM (#34500918)
I've pointed this out as I think the follow-up problem is more difficult actually.

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.