サクサク読めて、アプリ限定の機能も多数!
"1934年、カリーはA -> Bという関数の型が「AならばB」という命題として読み替えることができるという興味深い事実を発見しました。さらにA -> B型の式(つまり関数)がこの命題の証明と対応することにも気づきました。"
hamamuratakuo のブックマーク 2019/11/01 00:09
Haskellの型と直観論理 - 朝日ネット 技術者ブログ[Haskell][数学]"1934年、カリーはA -> Bという関数の型が「AならばB」という命題として読み替えることができるという興味深い事実を発見しました。さらにA -> B型の式(つまり関数)がこの命題の証明と対応することにも気づきました。"2019/11/01 00:09
"1934年、カリーはA -> Bという関数の型が「AならばB」という命題として読み替えることができるという興味深い事実を発見しました。さらにA -> B型の式(つまり関数)がこの命題の証明と対応することにも気づきました。"
このブックマークにはスターがありません。 最初のスターをつけてみよう!
techblog.asahi-net.co.jp2019/10/31
開発部のxgotoです。Haskellの初級・中級者向けのトピックを取り上げたいと思います。 今回は型(Type)についてです。型はHaskellの入門書でも必ず最初のほうに説明されるもので、手元の本によれば、 型とは、互い...
54 人がブックマーク・4 件のコメント
\ コメントが サクサク読める アプリです /
"1934年、カリーはA -> Bという関数の型が「AならばB」という命題として読み替えることができるという興味深い事実を発見しました。さらにA -> B型の式(つまり関数)がこの命題の証明と対応することにも気づきました。"
hamamuratakuo のブックマーク 2019/11/01 00:09
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Haskellの型と直観論理 - 朝日ネット 技術者ブログ
techblog.asahi-net.co.jp2019/10/31
開発部のxgotoです。Haskellの初級・中級者向けのトピックを取り上げたいと思います。 今回は型(Type)についてです。型はHaskellの入門書でも必ず最初のほうに説明されるもので、手元の本によれば、 型とは、互い...
54 人がブックマーク・4 件のコメント
\ コメントが サクサク読める アプリです /