News for hackers. Stuff that matters.

A comment on Idris: A Language for Type-Driven Development. Parent comment

Re:Idris: A Language for Type-Driven Development by still_grokking on Saturday January 21, 2023 @05:48AM (#34465479)
Scala is missing on that list (even it doesn't have "full dependent types" Match-Types are quite close).
[ Parent | on HN ]

There are no comments on this comment yet.