h_chiro https://blog.hatena.ne.jp/h_chiro/ 雑記 https://h-chiro.hatenablog.com/ TAPL 春休みに入って時間に余裕ができたので図書館でTypes and Programming Languages (The MIT Press)作者: Benjamin C. Pierce出版社/メーカー: The MIT Press発売日: 2002/01/04メディア: ハードカバー購入: 5人 クリック: 86回この商品を含むブログ (53件) を見るを借りてきて読んでます。 第3章まで読み終わったので、第3章の言語を実装してみた。 この言語は、if構文,bool値,自然数,succ,pred,iszeroのみを持つ。 なんか、パターンマッチングできる言語のほうが実装しやすいよーと書いていたの… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fh-chiro.hatenablog.com%2Fentry%2F20110208%2F1297178055" title=" chapter3 - 雑記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://images-fe.ssl-images-amazon.com/images/I/41C%2BmdXHDKL._SL160_.jpg Hatena Blog https://hatena.blog 2011-02-08 00:14:15 rich https://h-chiro.hatenablog.com/entry/20110208/1297178055 1.0 100%