[swift-evolution] [Proposal] Higher Kinded Types (Monads, Functors, etc.)

[Andrey Tarantsov]

> I do think that the use case of HKTs is limited mostly to those of us who really want to use Monads and the like. HKTs are a feature that I think round out Swift's generics' completeness, but the main application would be some niche third party packages that have various FP programming elements. If those libraries take off and become mainstream Swift, that's a sign that those libraries are a good thing to begin with. Otherwise, I doubt the horrible naming conventions of FP (and they are horrible) would be invasive to the Swift language as a whole.


Yes, but to consider including this into the language, surely we can imagine (at the client code level) specifics of several libraries/niches that are enabled by HKTs?

A.