51 karma · joined January 30, 2013
[1]: http://spectrum.ieee.org/robotics/artificial-intelligence/ma...
So, if "a" and "b" are pictures "a & b" is typechecking.
To be more precise, if you account for currying, it says that the & operator takes a Picture and returns a Picture -> Picture function. This function can then be applied to a Picture to yield a Picture. It's as I explained above but with an intermediate step.
Java 7 kinda divided the line length by a factor 2 with the diamond operator, the try-resource and so on.
I've programmed some Java 8 since yesterday and it actually feels like a pretty decent language to express ideas. Nothing like Java 6.
I know most of the Java haters have been struggling using it day to day in settings were it was awful (over engineering + Java 6, hello, here is the gun).
But I feel like those haters should really try to think fresh on this one. Try Java 8 and its new features and decide for yourself _afterwards_.