記述問題

Menu Menu

関数型言語の理論の以下の用語のどれかについて、デザインパターンなどのソフトウェア工学に技術との関連について、考察せよ。400-1000文字。

    参照透過性
    遅延評価
    モナド
    関手
    自然変換
    カーリーハワード対応