Pure lazy functional programming on the Java Platform