Tony Morris

@mandubian what about -> type Foo[C[_,_], R] = Forall[({type f[a] = Forall[({ type g[b] = C[a,b] => R})#g]})#f] ?

@yoeight To build it, I think it's going to be tricky :D

@mandubian I already suggested to go with Haskell :-)

@yoeight yes sure but I prefer learning haskell by hitting all the limits of scala :) (And I still like Scala :))

@mandubian I don't dislike Scala. I just think my programming style isn't always fit the Scala philosophy. Plus, I don't value JVM that much

@mandubian Besides, FP in Scala is cumbersome and terribly slow

@yoeight Scala is a compromise so you must embrace this fact and make compromises! Let FP grow in our developer culture, slowly, surely ;)

@mandubian You say compromise but all I see here is shortcomings. Even the type inferencer doesn't work !