サクサク読めて、アプリ限定の機能も多数!
“存在型は簡易的な 抽象データ型 (abstract data types)を表現できる. これは Stroustrup のいうところのオブジェクト指向ができる”
igrep のブックマーク 2018/01/19 15:00
存在型, および Rank2Types によるそれと等価な表現について[sml][haskell][型]“存在型は簡易的な 抽象データ型 (abstract data types)を表現できる. これは Stroustrup のいうところのオブジェクト指向ができる”2018/01/19 15:00
このブックマークにはスターがありません。 最初のスターをつけてみよう!
bydriv.github.io2018/01/19
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
“存在型は簡易的な 抽象データ型 (abstract data types)を表現できる. これは Stroustrup のいうところのオブジェクト指向ができる”
igrep のブックマーク 2018/01/19 15:00
このブックマークにはスターがありません。
最初のスターをつけてみよう!
存在型, および Rank2Types によるそれと等価な表現について
bydriv.github.io2018/01/19
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /