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