Comments on: SKI combinator calculus in Java http://blog.tmorris.net/ski-combinator-calculus-in-java/ The weblog of Tony Morris Thu, 09 Sep 2010 02:00:56 +0000 http://wordpress.org/?v=2.6 By: Tony Morris http://blog.tmorris.net/ski-combinator-calculus-in-java/#comment-37104 Tony Morris Tue, 09 Feb 2010 00:55:40 +0000 http://blog.tmorris.net/?p=651#comment-37104 Hi Runar, They need to be methods because they are polymorphic. You cannot use type variables with values; they must be methods. Hi Runar,
They need to be methods because they are polymorphic. You cannot use type variables with values; they must be methods.

]]> By: Runar http://blog.tmorris.net/ski-combinator-calculus-in-java/#comment-37100 Runar Mon, 08 Feb 2010 15:28:46 +0000 http://blog.tmorris.net/?p=651#comment-37100 A couple of questions though. Why not just use static final values instead of static methods? And why not define I as simply: public static final i = new Lam<A>() {public A apply(final A a){return a;}}; A couple of questions though. Why not just use static final values instead of static methods? And why not define I as simply:

public static final i = new Lam() {public A apply(final A a){return a;}};

]]> By: Runar http://blog.tmorris.net/ski-combinator-calculus-in-java/#comment-37099 Runar Mon, 08 Feb 2010 15:23:48 +0000 http://blog.tmorris.net/?p=651#comment-37099 Sick! Sick!

]]>