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

[Andrey Tarantsov]

An excellent summary, Andrew.

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.
> Will Fancher +1
> Al Skipp +1
> Austin Zheng +1
> T.J. Usiyan +1
> Joe Groff +1
> Jens Persson +1
> Brent Royal-Gordon +1
> Krzysztof Siejkowski + 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.

> A good place to look is popular Swift libraries (top 5 on github), and see if they (and by extension their users) would benefit from HKTs:
> https://github.com/Alamofire/Alamofire <https://github.com/Alamofire/Alamofire> (possibly, DSL)
> https://github.com/SwiftyJSON/SwiftyJSON <https://github.com/SwiftyJSON/SwiftyJSON> (very likely, DSL / type constraints)
> https://github.com/SnapKit/SnapKit <https://github.com/SnapKit/SnapKit> (very likely, chained DSL)
> https://github.com/MengTo/Spring <https://github.com/MengTo/Spring> (probably not in their DSL, maybe in their implementation)
> https://github.com/ochococo/Design-Patterns-In-Swift <https://github.com/ochococo/Design-Patterns-In-Swift> (probably, but I'm biased)
> Likewise there's two more cases:
> https://github.com/Quick/Quick <https://github.com/Quick/Quick>
> https://github.com/Quick/Nimble <https://github.com/Quick/Nimble>
Would *love* this, DSLs especially.

Common, don't just vote +1 — give examples!

A.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20151218/51570482/attachment.html>