Hacker News new | ask | show | jobs
by grumpyprole 2844 days ago
The C#/.NET solution, while very good, has some problems too. By implementing generics so deeply into the runtime, it becomes very difficult to enhance the support in the future, for example adding higher-kinded types (which the F# folks have long been asking for).

I actually quite like the Haskell approach of having a "Specialisation" annotation. I believe Scala has this too.