サクサク読めて、アプリ限定の機能も多数!
カリー=ハワード対応の話、ふつーにもっと広まるといいよね
kmizushima のブックマーク 2019/11/01 18:56
Haskellの型と直観論理 - 朝日ネット 技術者ブログカリー=ハワード対応の話、ふつーにもっと広まるといいよね2019/11/01 18:56
このブックマークにはスターがありません。 最初のスターをつけてみよう!
techblog.asahi-net.co.jp2019/10/31
開発部のxgotoです。Haskellの初級・中級者向けのトピックを取り上げたいと思います。 今回は型(Type)についてです。型はHaskellの入門書でも必ず最初のほうに説明されるもので、手元の本によれば、 型とは、互い...
54 人がブックマーク・4 件のコメント
\ コメントが サクサク読める アプリです /
カリー=ハワード対応の話、ふつーにもっと広まるといいよね
kmizushima のブックマーク 2019/11/01 18:56
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Haskellの型と直観論理 - 朝日ネット 技術者ブログ
techblog.asahi-net.co.jp2019/10/31
開発部のxgotoです。Haskellの初級・中級者向けのトピックを取り上げたいと思います。 今回は型(Type)についてです。型はHaskellの入門書でも必ず最初のほうに説明されるもので、手元の本によれば、 型とは、互い...
54 人がブックマーク・4 件のコメント
\ コメントが サクサク読める アプリです /