HN user

frej

11 karma

[ my public key: https://keybase.io/frej; my proof: https://keybase.io/frej/sigs/BZHH_h7OgghjXxlTBbejAZALDqbsYnahpQYG4rO7zb4 ]

Posts0
Comments10
View on HN
No posts found.

Ocaml not unbearably slow when say running 10 simple tests. Ocaml is actually amazingly fast and a pleasure to work with.

Sbt is actually worse than dune+opam .

Ocaml has type inference globally so you are not required to spray type annotations at everything.

But Scala does have type directed lookup (type classes/ implicits).

Both have the curse of implementation/typing choices that stops you from doing the actual job ;)

Featherweight Go 6 years ago

I dont think expirements are a way to qualify decades of research that went before.

Second what Sun choose to implement was a smaller subset and not that close to Featherweight Java/pizza compiler. It was only generics, not first class functions at the time, nor algebraic types/pattern matching.