関数型言語の理論の以下の用語のどれかについて、デザインパターンなどのソフトウェア工学に技術との関連について、考察せよ。400-1000文字。
参照透過性 遅延評価 モナド 関手 自然変換 カーリーハワード対応