前スレの最後では、「表示的意味論の定義は、何か。」という基本質問がなされ、
それに対する有効な回答がないままｗ、スレが終了してしまいました。

このスレでは、煽り厳禁で、学部生に理解できる関数型言語の初歩を、扱っていきましょう。