Excellent piece from an excellent artist. I really thought this through and I think he's going in the right direction.

This would be an interesting extension to the Java Stream API. Maybe one day it'll make its way to the standard...

This is a neat example of what programming languages could check at compile time. This clearly brings way more safety when you get such contract validation at build time.