fumiexcel https://blog.hatena.ne.jp/fumiexcel/ モナドとわたしとコモナド https://fumieval.hatenablog.com/ 実用的なプログラミングにおいて、名前と概念を結びつける「束縛」はほぼ必須の概念である。しかし、その言葉には大きな誤解と混乱が根付いていた。 事の発端となったのは「Haskellにおいては、変数は値を代入するものではなく、値に束縛するものである」という議論である*1 *2。しかし、これは大きな誤解を孕んでいる。言葉の定義に立ち返ってその誤解を解いていこう。 束縛とバインディング 実は「束縛」には二つの意味がある。一つは、数学的な意味での変数の束縛*3、もう一つは、識別子と実体の結合という意味での束縛*4だ。 前者は変数の導入と言い換えることもできる。ラムダ計算におけるラムダ抽象と変数の関係もこれ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ffumieval.hatenablog.com%2Fentry%2F2018%2F10%2F31%2F150056" title="「名前の束縛」という名の束縛 - モナドとわたしとコモナド" 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 2018-10-31 15:00:56 rich https://fumieval.hatenablog.com/entry/2018/10/31/150056 1.0 100%