propella https://blog.hatena.ne.jp/propella/ 言語ゲーム https://propella.hatenablog.com/ 言語 パターンマッチの意味について考えている。簡単なパターンマッチの例としては、 (x, y) = (1, 2) のように書くと、x に 1 が y に 2 が束縛されるというもの。Scala や F# やHaskell などの最近の言語ではパターンマッチを一般化して、データ構造のみならずどのような関数を使ってもパターンマッチが出来る。たとえば Haskell では、 $ ghci Prelude> :set -XViewPatterns Prelude> let half n = n / 2 Prelude> let (half -> n) = 10 in n 5.0 のように変数 n に束縛する… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fpropella.hatenablog.com%2Fentry%2F20110222%2Fp1" title=" salmacis: パターンマッチの意味(失敗) - 言語ゲーム" 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 2011-02-22 00:00:00 rich https://propella.hatenablog.com/entry/20110222/p1 1.0 100%