Hacker News Reader

F# is elegant but ultimately held back by its lack of higher kinded types.

Held back from what? I mean, I'd love it even more if it had higher kinded types, but it's a pretty great language as is.

It's simply less expressive.

Just as Go is fine without generics, F# is fine without HKTs.

It's a sad realization for those coming from a language that does support HKTs. Still a great language.

I can't tell if you are serious or joking :). it is definitely a trade off to be made, the power offered by higher kinded typing doesnt come for free.

Reply on news.ycombinator.com