4 ms·
I'm really confused is he saying that fsharp can't have functional combinators? That seems incorrect. Also the title is just generally abrasive. I could just as
by vorotato 10y ago
I'm really confused is he saying that fsharp can't have functional combinators? That seems incorrect. Also the title is just generally abrasive. I could just as well say scala doesn't natively support dependent types, so clearly it's between F* and giving up.
- premium-concern 10y ago> doesn't natively support dependent types Well, it does.
- vorotato 10y agoScala supports dependent types like how F# supports higher kinded types. Kind of, some of the time, but you might be able to find a library which shims full support.
- wetmore 10y agoHe's saying there is no abstraction over higher-kinded type constructors, i.e. no abstraction over types which accept their own type arguments.