But most of those don't have a real type system though? And definitely not a str... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		nottorp on July 23, 2024 \| parent \| context \| favorite \| on: Types as Interfaces But most of those don't have a real type system though? And definitely not a strict one.

nyssos on July 23, 2024 [–]

Scala, OCaml, and Haskell all have very powerful type systems. OCaml and Haskell even have good ones.

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact