2 ms·
Yet somehow they made F# and scala run on the CLR. So: I'm calling bullshit.
by overgard 13y ago
Yet somehow they made F# and scala run on the CLR. So: I'm calling bullshit.
- javafu2 13y agoF# team ask for modifications of the CLR (covariant delegates), porting a language on the CLR if you are not Microsoft is hard. Scala never really run on the CLR, it's a vaporware, sorry a work in progress.
- adriaanm 13y agoYep, scala's .net back-end is discontinued, and one of the main challenges (I worked on it a bit) was indeed generating the proper generic signatures. (I hear people are using ikvm these days.)
- gracenotes 13y agoFor more context on why F# does in fact run into problems, see https://visualstudio.uservoice.com/forums/121579-visual-studio/suggestions/2228766-add-higher-order-generics-to-f-type-classes- https://visualstudio.uservoice.com/forums/121579-visual-stud.... To my understanding, F# only allows type variables to vary, not type constructors (all generic variables must be escorted by a concrete type), and to go a step further, it doesn't allow type constructors to be used as higher-kinded type variables, which is useful sometimes. I see no reason why these couldn't be implemented on top of the JVM, though.