2 comments

[ 5.0 ms ] story [ 35.4 ms ] thread
Title: Growing the Java Language [video]
how will it compare with Haskell's typeclasses in practice? (One of the comments said `interface Monad<M<A>>` would still be impossible due to no higher-kinded generics, is that right?)