3 ms·
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. Al
by noblethrasher 10y ago
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)
* PowerShell
* IronPython