Re:The Unsound Playground: Java and Scala's Type Systems are...
by noblethrasher on Sunday November 27, 2016 @05:24PM
(#13051967)
F# already does type erasure in some circumstances with Type Providers (erased vs. generated types).
F* runs on the CLR and has higher kinded polymorphism.
Also, while the JVM multi-language story is terrific, it's not like the CLI is severely wanting since it also has several world-class language implementations:
* C#
* VB (criminally underrated; it's not just C# with another costume)
* F#
* F* (real dependent types)
* C++/CLI
* Nemerle (like C#, but with real macros and pattern-matching)
F* runs on the CLR and has higher kinded polymorphism.
Also, while the JVM multi-language story is terrific, it's not like the CLI is severely wanting since it also has several world-class language implementations:
* C#
* VB (criminally underrated; it's not just C# with another costume)
* F#
* F* (real dependent types)
* C++/CLI
* Nemerle (like C#, but with real macros and pattern-matching)
* PowerShell
* IronPython