News for hackers. Stuff that matters.

A comment on Haskell and Rust. Parent comment

Re:Haskell and Rust by jdc on Saturday November 09, 2019 @04:40PM (#21494571)
Which languages would you say have expressively "strong" type systems?
[ Parent | on HN ]
Re:Haskell and Rust by pron on Saturday November 09, 2019 @08:02PM (#21495662)
Agda. ATS. Idris. Liquid Haskell would be medium-strength.
[ Parent | on HN ]