Hacker News new | ask | show | jobs
by pjmlp 31 days ago
For that I would chose neither, rather go with Haskell, OCaml, F#, Lean, Dafny, FStar, Scala, Kotlin,...