Comments on: Higher-order Polymorphism for pseudo-Java http://blog.tmorris.net/higher-order-polymorphism-for-pseudo-java/ The weblog of Tony Morris Tue, 07 Feb 2012 18:27:40 +0000 http://wordpress.org/?v=2.6 By: Higher kinded types | Dev Portal http://blog.tmorris.net/higher-order-polymorphism-for-pseudo-java/#comment-91198 Higher kinded types | Dev Portal Mon, 06 Jun 2011 22:39:34 +0000 http://blog.tmorris.net/?p=642#comment-91198 [...] I thought it would be useful to see where we’re at to start with. Looking at Higher-order Polymorphism for pseudo-Java, the code there won’t compile. But here is the code translated into working Java code using [...] [...] I thought it would be useful to see where we’re at to start with. Looking at Higher-order Polymorphism for pseudo-Java, the code there won’t compile. But here is the code translated into working Java code using [...]

]]> By: Tony Morris http://blog.tmorris.net/higher-order-polymorphism-for-pseudo-java/#comment-36977 Tony Morris Thu, 04 Feb 2010 12:21:51 +0000 http://blog.tmorris.net/?p=642#comment-36977 Hello Alexander, Unfortunately Java's type system is not practical enough to express this level of abstraction. This code is not real Java, but a pseudo-Java with an added type system feature (higher-order polymorphism). The code can be made to work on the JVM using the Scala programming language (with syntax translations) or Haskell. Hello Alexander,
Unfortunately Java’s type system is not practical enough to express this level of abstraction. This code is not real Java, but a pseudo-Java with an added type system feature (higher-order polymorphism).

The code can be made to work on the JVM using the Scala programming language (with syntax translations) or Haskell.

]]> By: Alexander http://blog.tmorris.net/higher-order-polymorphism-for-pseudo-java/#comment-36921 Alexander Wed, 03 Feb 2010 08:24:39 +0000 http://blog.tmorris.net/?p=642#comment-36921 Does this code have some practical value? I'm getting the following error in the Functor interface: type 'F' does not have type parameters. Does this code have some practical value?

I’m getting the following error in the Functor interface: type ‘F’ does not have type parameters.

]]>