"focuses on habits of good programming" プログラミング言語意味論の大家、Matthias Felleisen が著者 「保存と進行」を証明することで型システムの健全性を示すことを提案した 未邦訳だが、原著がWebで無料で読める https://htdp.org/2024-11-6/Book/index.html https://htdp.org 6
of a square with side len // given: 2, expect: 4 // given: 7, expect: 49 function areaOfSquare(len) { return len * len; } assert(areaOfSquare(2) == 4); assert(areaOfSquare(7) == 49); 16