This post originated from an RSS feed registered with Java Buzz by justin cater. Original Post: Programming with type functions in Ceylon Feed Title: Java Code Geeks Feed URL: http://feeds.feedburner.com/JavaCodeGeeks Feed Description: Java 2 Java Developers Resource Center Latest Java Buzz Posts Latest Java Buzz Posts by justin cater Latest Posts From Java Code Geeks

I’ve recently been working on some experimental new features of Ceylon’s already extremely powerful type system. What I’m going to explain in this post is known, technically, as: higher order generic types (or type constructor polymorphism, or higher kinds), and higher rank generic types (or rank-N polymorphism). Please don’t worry about this jargon salad. (And ...