Hacker News Reader

I've not seen it work (not in Haskell, not in other strong typed langs). Java with IntelliJ does quite well, but then it is VM based and not very strongly typed. Kotlin has a much better type system, but then compile times start to become much more noticeable as well.

In heard OCaml has a quick reloads in some scenarios, but I never tried.

View on HN

You are looking for Golang ;)

You are right. I have no experience with Go, but that's a fast compiler for sure.

Though they miss out heavily in the typing strength. If only it had Result/Either/Maybe types in the std lib from day 1, and proper sum types with some pattern matching switch statement, that would have made the language soooooo much better.

I find Elm also has good compile times. Maybe polymorphism and/or type-classes are what is hard to optimize.

Reply on news.ycombinator.com