SWIMATH2SWIMATH2 のブックマーク 2016/07/08 21:24

その他

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

Haskell/Denotational semantics - Wikibooks

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

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

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