サクサク読めて、アプリ限定の機能も多数!
_|_ の読み方いつもわかんなくて苦労してた。ボトム型って呼ぶのか
VoQn のブックマーク 2014/08/30 19:53
Haskell/Denotational semantics - Wikibooks[haskell][math]_|_ の読み方いつもわかんなくて苦労してた。ボトム型って呼ぶのか2014/08/30 19:53
このブックマークにはスターがありません。 最初のスターをつけてみよう!
ja.wikibooks.org2012/07/19
導入[編集] この章ではHaskellプログラムの意味がどのように形式化されるかという表示的意味論(denotational semantics)を説明します。「square x = x*x というプログラムの意味は、数をその平方数に写す数学の平...
18 人がブックマーク・4 件のコメント
\ コメントが サクサク読める アプリです /
_|_ の読み方いつもわかんなくて苦労してた。ボトム型って呼ぶのか
VoQn のブックマーク 2014/08/30 19:53
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Haskell/Denotational semantics - Wikibooks
ja.wikibooks.org2012/07/19
導入[編集] この章ではHaskellプログラムの意味がどのように形式化されるかという表示的意味論(denotational semantics)を説明します。「square x = x*x というプログラムの意味は、数をその平方数に写す数学の平...
18 人がブックマーク・4 件のコメント
\ コメントが サクサク読める アプリです /