News for hackers. Stuff that matters.

A comment on Types as Interfaces. Parent comment

Re:Types as Interfaces by nottorp on Tuesday July 23, 2024 @09:44AM (#41045970)
But most of those don't have a real type system though? And definitely not a strict one.
[ Parent | on HN ]
Re:Types as Interfaces by nyssos on Tuesday July 23, 2024 @10:13AM (#41046215)
Scala, OCaml, and Haskell all have very powerful type systems. OCaml and Haskell even have good ones.
[ Parent | on HN ]