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

Krzysztof Siejkowski 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...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20151217/671a0fb0/attachment.html>

More information about the swift-evolution mailing list