_|_ の読み方いつもわかんなくて苦労してた。ボトム型って呼ぶのか

VoQnVoQn のブックマーク 2014/08/30 19:53

その他

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

Haskell/Denotational semantics - Wikibooks

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

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

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