Is general case of monad expressible in java 6?
Is general case of monad expressible in Java 6? Note the words "general case" — it may be possible that general case of monad is not expressible, although many particular cases of monad (ie many specific monads) are expressible.
The problem here is (lack of) Higher-kinded generics in Java ; however, I saw that sample Haskell code was really ported to Java using the approach like https://stackoverflow.com/a/877036/1123502 (that is, public class Fix<F extends Fix<F>> ).
Of course, non-type-safe implementations (like using Object and downcasts) are not interesting.
Update: there are 2 common monad definitions: join-fmap and bind-return. Although they are (mathematically) equivalent, they may be not equivalent in the sense that one definition is expressible in Java, whereas other is not (however, it seems to me, that non-equivalence is unlikely). So my question concern both definitions.
The bottom line: did anyone overcome all obstacles and wrote "general case" monad in Java 6? Or, alternatively, please point out a paper, or a thorough blog post, or thoroughly explain why it is not possible.
Not without dirty casting tricks. As you already noted Java doesn't support type level polymorphism (aka "higher kinded types" in Scala land).
Here is one way: Say you want to implement a functor. You would like to write Functor<F<A>> , where F is eg a List or Maybe , but that doesn't work. But you can have a "base class" Base<X,Y> for higher-kinded stuff. X must be a "witness" for your real class like List . Y is the usual generic parameter. Now your functor becomes Functor<Base<F,A>> , but all classes that want to be used with this, need to implement Base<X,Y> :
class List<A> implements Base<List.Witness,A> {
public class Witness{}
...
}
public interface Functor<F> {
public <A, B> Base<F, B> map(F1<A, B> fn, Base<F, A> nestedA);
}
public class ListFunctor implements Functor<List.Witness> {
public <A, B> Base<List.Witness, B> map(F1<A, B> fn, Base<List.Witness, A> nestedA) {
...
}
}
Of course the price to pay is that you get back a Base<List.Witness,B> , not a List<B> . This might be fine if you stay in that higher-kinded domain, and of course you can have conversion functions for convenience, but it's still not very nice.
For an implementation see my not-so-serious project highJ. Note that I'm working on a completely rewritten and slightly more convenient version closer to the example above.
For serious code, consider writing such stuff in Scala instead (or use Scalaz).
链接地址: http://www.djcxy.com/p/67326.html