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

Brent Royal-Gordon brent at architechies.com
Thu Dec 17 18:05:38 CST 2015


> I feel that people voting +1 here all have some specific use case in mind. But unlike in other proposals, here, for the love of god, I cannot imagine what it is.
>> 	• Brent Royal-Gordon +1
> Can each of you guys just write a bit of code that you want to be made possible, something that is substantially better than alternatives?
> 
> Really, it may seem obvious to you, but it's a complete mystery to me and others like me.

Well, for one thing, I’ve already earned 605 reputation on Stack Overflow because of this particular weakness in the type system. I’d like that to stop. <http://stackoverflow.com/questions/24116271/whats-the-cleanest-way-of-applying-map-to-a-dictionary-in-swift>

-- 
Brent Royal-Gordon
Architechies



More information about the swift-evolution mailing list