Windymelt https://blog.hatena.ne.jp/Windymelt/ Lambdaカクテル https://blog.3qe.us/ 読書 関数プログラミング実践入門 読もうと思って購入したので，メモを残しておきたい．メモなので，内容について保証はないし，私的な備忘録を公開しているというスタンスです． 関数プログラミングは，型で制約条件を表現することで，ドキュメントとそれを作成するために必要なコストを減らすことができる．なぜなら，制約条件を守らなかったらコンパイルエラーとすることができるから，わざわざ注意喚起のために記述する分量が減るからである． 命令型言語における関数が特定の命令/手続きにつけられた識別符号であるのに対し，関数型言語のそれは数学的な意味での関数，つまり入力に対して出力が一意に決まる対応関係のことである． 状態に触れ，干渉することを副作用と呼… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fblog.3qe.us%2Fentry%2F2016%2F12%2F30%2F003519" title="『関数プログラミング実践入門』読書メモ(第0章: [入門]関数プログラミング) - Lambdaカクテル" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2016-12-30 00:35:19 rich https://blog.3qe.us/entry/2016/12/30/003519 1.0 100%