(lubeno.dev)

517 points bkolobara | 1 comments | 27 Aug 25 15:48 UTC | HN request time: 0s | source

Show context

pjmlp ◴[27 Aug 25 16:41 UTC] No.45041965[source]▶

Most of these productivity gains are achievable in any Standard ML influenced type system.

phkahler ◴[27 Aug 25 18:26 UTC] No.45043180[source]▶

>> any Standard ML influenced type system

Which languages are those?

replies(1): >>45048950 #

1. pjmlp ◴[28 Aug 25 06:05 UTC] No.45048950[source]▶

While I assume it is a loaded question.

Caml Light, OCaml, Miranda, Haskell, Coq, Agda, Lean, Scala, Swift, F#, F*, Idris, ATS, and naturally Rust.

Unexpected productivity boost of Rust