Cleanで関数プログラミング 【第１部第４章】

目次へ 最終更新 : 2003/7/21 第4章 型の力 4.1 型クラス 4.2 存在型 4.3 一意型 4.4 演習 訳者注：一意性の多相性(4.3.7)の所で、記号が正しく印字されない場合（Adobe Acrobat Reader 5.05で閲覧）がありましたので、私なりに補充しました（一応確認しました）。従って、そこに関しては正確でないかもしれないのでご了承下さい。 CLEANは、強く型付けされた言語である。これは、言語内のあらゆる式が型付けされており、プログラム実行前にコンパイラが型の正当性を検査できるということを意味している。間違って型付けされたプログラムは認められない。この型システムのおかげで、多くのエラーをコンパイル時に発見し報告することができる。ソフトウェア開発プロセスの早期の段階でプログラミングエラーを発見することは重要である。後でエラーを直すことは、遥

[udzura]

また、僕の知らない言語が……

[todesking]

Cleanの存在型の話、ちょうど今読んでるOn Understanding以下略にでてた