Idris is fascinating. I actually took the book about it on vacation with me. Sof... | Hacker News

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

		pmarreck on July 23, 2024 \| parent \| context \| favorite \| on: Types as Interfaces Idris is fascinating. I actually took the book about it on vacation with me. Software reliability is becoming increasingly important as we tie all these systems together because it multiplies the number of possible unanticipated failure modes. Regarding the ultimate utility of languages initially considered "academic," the languages Lisp, Haskell, Prolog, Scala, Erlang and OCaml would like to have a word ;)

nottorp on July 23, 2024 [–]

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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact