News for hackers. Stuff that matters.

A comment on Diminishing returns of static typing. Parent comment

Re:Diminishing returns of static typing by bjz_ on Monday October 02, 2017 @01:30PM (#15385903)
Check out Dafny, Whiley, and Liquid Haskell.
[ Parent | on HN ]
Re:Diminishing returns of static typing by naasking on Monday October 02, 2017 @01:54PM (#15386128)
Ada also supports contracts, as does .NET with code contracts.
[ Parent | on HN ]