A better explanation for this language is at http://claylabs.com/clay/ http://claylabs.com/clay/. The language focuses on improving generic programming by redu

A better explanation for this language is at http://claylabs.com/clay/ http://claylabs.com/clay/. The language focuses on improving generic programming by reducing template verbosity via "whole program type propagation".