【レビュー】プログラミング言語の基礎概念
【PR】この記事には広告を含む場合があります
- 出版情報
- ・著者：五十嵐淳／著
- ・出版日：2011-07
- ・ページ数：176P
- レビュー数
- ・週間：0記事
- ・月間：0記事
- ・年間：0記事
- ・全期間：1記事
ジャンルTop10選
目次
情報なし
概要
第1部 導出システム入門(自然数の加算・乗算・比較
メタ定理と帰納法による証明)
第2部 MLの操作的意味論(整数・真偽値式の評価
定義、変数束縛と環境
関数と再帰
静的有効範囲と名前無し表現
リストとパターンマッチング)
第3部 MLの型システム(単純型システム
多相的型システム
型推論)
レビューの一覧
・ペアノ自然数とペアノ自然数での加算の推論規則をSwiftで表現してみる[2019-12-23に投稿]
