4 ms·
Is F#'s type system sophisticated enough to express type classes, higher-kinded types, and/or existential types? Scala's implicits and related language features
by matt_kantor 8y ago
Is F#'s type system sophisticated enough to express type classes, higher-kinded types, and/or existential types? Scala's implicits and related language features can go a long way down those roads, but I know very little about F# other than "it's like Scala but on the CLR" and am curious what the story is over there.
- kitten_mittens_ 8y agoF# does not have HKT, and it shows in the compile times.
- kyllo 8y agoF# doesn't support any of those features you listed. If you want ad-hoc polymorphism there are a few hacks available: https://withouttheloop.com/articles/2014-10-21-fsharp-adhoc-polymorphism/ https://withouttheloop.com/articles/2014-10-21-fsharp-adhoc-...