«A tour of CLR Generics from a Scala vantage point.»
2011 год, это когда они пытались выкатить Scala.NET.
Насколько помню, там было как минимум два надгробных камня. Во‑первых, аффтары были не уверены, что Microsoft не выбросит. NET через 10 лет. Во‑вторых, куча технических проблем, которые возглавляли generics. Вроде бы они даже свою type erasure городили поверх них.
C hackernews: For 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- 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.
−2
