[swift-evolution] [Proposal] Higher Kinded Types (Monads, Functors, etc.)
krzysztof at siejkowski.net
Thu Dec 17 06:20:37 CST 2015
Oh, thanks for clarification, I misunderstood you at first. If the proposal is about improving the type system so that HKTs are expressible (or more easily expressible) than I definitely support it :)
On 17 December 2015 at 13:16:39, Will Fancher (willfancher38 at gmail.com) wrote:
> As long as the underlying theory is not widely adopted, I think HKTs should be provided by third-party libraries (like swiftz).
I wholeheartedly agree that protocols like Monad and Functor shouldn't be in the standard library. I really think they need their own external package.
But HKTs can't be provided by third party libraries! HKTs are a language level feature! HKTs aren't a collection of types we wish were implemented. HKTs are the language level construct that allows for generic types to be re-parameterized. An HKT proposal would NOT insist that Monad and co. be written into the standard library. It would simply insist that HKTs become physically possible, which they currently are not.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the swift-evolution