The Joy computer language and Scheme with SICP are prime examples. Reading SICP it's the 'easy way' and the Joy docs plus trying to code even simple as a quadr

The Joy computer language and Scheme with SICP are prime examples. Reading SICP it's the 'easy way' and the Joy docs plus trying to code even simple as a quadratic eqn solver it's a deep, hard task which requires lots of knowledge on cathegory theory.