syamino https://blog.hatena.ne.jp/syamino/ @syamino はてなダイアリー https://syamino.hatenadiary.org/ カリーハワード対応 3つの指数法則 指数法則を数式から型に書き換える 数式 型 b -> a Either a b (a, b) この表の通りに指数法則を書き換えると，こうなります。 (a, b) -> c = a -> (b -> c) (a -> b, a -> c) = a -> (b, c) (a -> c, b -> c) = (Either a b -> c) これらは，curry,(&&&),(|||)の型とよく似ています。 関数型 curry(a, b) -> c -> (a -> b -> c) (&&&)(a -> b) -> (a -> c) -> (a -> (b, c)) (|||)(a… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fsyamino.hatenadiary.org%2Fentry%2F20120504%2Fp1" title="curry,(&amp;&amp;&amp;),(|||)の型が，指数法則と対応している - @syamino はてなダイアリー" 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 2012-05-04 00:00:00 rich https://syamino.hatenadiary.org/entry/20120504/p1 1.0 100%