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 peter_d_sherman on Friday January 20, 2023 @11:53AM (#34455916)
That (and pages like that) are what I was looking for!

Thanks, much appreciated!

[ Parent | on HN ]
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 ]