2 ms·
>You also don't have any notion of kinds, which makes quite a bit of otherwise-idiomatic code hard to write. I'm not sure that is true. Otherwise this would n
by runT1ME 13y ago
>You also don't have any notion of kinds, which makes quite a bit of otherwise-idiomatic code hard to write.
I'm not sure that is true. Otherwise this would not be possible:
class MyExample[A[_]](a: A)
- tikhonj 13y agoYeah, I think that part was a bit inaccurate. The core problem is more like the fact that higher-kinded code is hard to write. You always end up writing in terms of concrete types--you can talk about A[_], but not about A by itself. This becomes a hassle when working with things like monad transformers.