ようやくココらへんがよく分かってきてうれしい

itchynyitchyny のブックマーク 2012/07/19 06:29

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

Haskell/Denotational semantics - Wikibooks

    導入[編集] この章ではHaskellプログラムの意味がどのように形式化されるかという表示的意味論(denotational semantics)を説明します。「square x = x*x というプログラムの意味は、数をその平方数に写す数学の平...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう