Programming with type functions in Ceylon
ceylon-lang.org
Programming with type functions in Ceylon
1–4 of 4 posts
Re: Programming with type functions in Ceylon
#2The obvious question is what about type function functions, when you want to abstract away the type functions?
Re: Programming with type functions in Ceylon
#3This is a big deal. This is one of the reasons I'm so productive in Scala (Higher kinded types). When evaluating F# vs. Scala for our latest project it was the single big thing that drove our team to pick Scala, so the fact that Ceylon is adding it could really help pick up users from the functional side.
I also think it says a lot about the language designer Gavin King. He seems to take feedback from the community and legitimately weigh the pros and cons. If I remember originally he wasn't sure HKTs were useful, but it seems he's come around after hearing various arguments for them.
Re: Programming with type functions in Ceylon
#4This is a big deal. This is one of the reasons I'm so productive in Scala (Higher kinded types). When evaluating F# vs. Scala for our latest project it was the single big thing that drove our team to pick Scala, so the fact that Ceylon is adding it could really help pick up users from the functional side. I also think it says a lot about the language designer Gavin King. He seems to take feedback from the community a…
Gavin's looking for positive feedback on this since he wants the community to buy into this, so please give encouragement if you want this feature. It's currently experimental and only works on the JavaScript runtime, but they'll implement it for the JVM runtime as well if it's well received.