EoPL

2008年04月28日

p.53の後半
- Exercise 2.11 [**] のみ

Essentials of Programming Languages
Daniel P. Friedman Mitchell Wand Christopher T. Haynes
Mit Pr (2001/01/29)
売り上げランキング: 26810
おすすめ度の平均: 5.0
5 楽しいインタプリタの教科書


(23:16) Φ

2008年04月25日

ジムへの行き帰りにちょっとずつ読んだ。
Schemeコンパイラを書くのに同じようなことをしているので面白い。
2.2.2 Abstract Syntax and its Representation
- Exercise 2.7 [**]
- Exercise 2.8 [*]
- Exercise 2.9 [*]
- Exercise 2.10 [*]
(pp.50-53)

Essentials of Programming Languages
Daniel P. Friedman Mitchell Wand Christopher T. Haynes
Mit Pr (2001/01/29)
売り上げランキング: 26810
おすすめ度の平均: 5.0
5 楽しいインタプリタの教科書


(23:45) Φ

2008年04月21日

練習問題はノートで解きながらがんがん進む。

(p.31中〜)
1.3.1 Free and Bound Variables

- occur free / occur bound あたりの説明が他の部分に比べていまいち分かりにくかった

1.3.2 Scope and Lexical Address

- いまPICで実装しようとしてるあたり。SICPでもやった覚えがある。

- Exercise 1.19 [**]
- Exercise 1.20 [*]
- Exercise 1.21 [*]
- Exercise 1.22 [*]
- Exercise 1.23 [*]
- Exercise 1.24 [**]
- Exercise 1.25 [*]
- Exercise 1.26 [**]
- Exercise 1.27 [*]
- Exercise 1.28 [*]
- Exercise 1.29 [*]
- Exercise 1.30 [*]
- Exercise 1.31 [**]
- Exercise 1.32 [**]
- Exercise 1.33 [**]

// Chapter 2 Data Abstraction

2.1 Specifying Data via Interfaces

- Exercise 2.1 [*]
- Exercise 2.2 [**]

2.2 An Abstraction for Inductive Data Types
2.2.1 define-datatype and cases

- これ面白い。
- Exercise 2.3 [*]
- Exercise 2.4 [*]
- Exercise 2.5 [**]

2.2.2 Abstract Syntax and its Representation

- Exercise 2.6 [*]

(〜p.50上)

Essentials of Programming Languages
Daniel P. Friedman Mitchell Wand Christopher T. Haynes
Mit Pr (2001/01/29)
売り上げランキング: 26810
おすすめ度の平均: 5.0
5 楽しいインタプリタの教科書


(19:00) Φ

2008年04月17日

(p.27下〜)
1.2.4 Exercises (★★★)

- Exercise 1.18 (car&cdr, car&cdr2)

1.3 Scoping and Binding of Variables
1.3.1 Free and Bound Variables
(〜p.31中)

Essentials of Programming Languages
Daniel P. Friedman Mitchell Wand Christopher T. Haynes
Mit Pr (2001/01/29)
売り上げランキング: 26810
おすすめ度の平均: 5.0
5 楽しいインタプリタの教科書


(22:46) Φ

2008年04月15日

昨日、EoPL Exercise 1.15 [*] #8 (p.25) の Cartesian product(デカルト積、直積)を求める関数 (product los1 los2) をスタバでノートに書いていた。

帰ったらちょうど某チャットルームで@kanasanが謎の関数 map をJavaScriptで書いていた。これがまさに Cartesian product を求めるものだった。

@ujihisaもHaskellでモナド使って書いていた。半年前にタイムリープしてエントリまで書いていた。

続きを読む

(14:33) Φ
(p.18中〜)
- remove

- Exercise 1.9 [*]

- subst

- Exercise 1.10 [*]
- Exercise 1.11 [*]
- Exercise 1.12 [**]

- notate-depth

- Exercise 1.13 [**]

1.2.3 Other Patterns of Recursion

- Exercise 1.14 [**]

1.2.4 Exercises

- Exercise 1.15 [*] 1,2,3,4,5,6,7,8,9,10
- Exercise 1.16 [**] 1,2,3,4,5
- Exercise 1.17 [***] 1,2,3
- Exercise 1.18 [***] 1,2

(〜p.27下)

Essentials of Programming Languages
Daniel P. Friedman Mitchell Wand Christopher T. Haynes
Mit Pr (2001/01/29)
売り上げランキング: 26810
おすすめ度の平均: 5.0
5 楽しいインタプリタの教科書


(00:35) Φ

2008年04月11日

(p.8〜)
1.1.3 Induction

- Exercise 1.4 [**]

1.2 Recursively Specified Programs
1.2.1 Deriving Programs from BNF Data Specifications

- Exercise 1.5 [*]

- Exercise 1.6 [*]
- Exercise 1.7 [**]

1.2.2 Some Important Examples

remove-first

- Exercise 1.8 [*]

(〜p.18中)

Essentials of Programming Languages
Daniel P. Friedman Mitchell Wand Christopher T. Haynes
Mit Pr (2001/01/29)
売り上げランキング: 26810
おすすめ度の平均: 5.0
5 楽しいインタプリタの教科書


(22:57) Φ

2008年04月09日

(pp.5-7)

- Exercise 1.1 [*]
- Exercise 1.2 [*]
- Exercise 1.3 [*]

Essentials of Programming Languages
Daniel P. Friedman Mitchell Wand Christopher T. Haynes
Mit Pr (2001/01/29)
売り上げランキング: 26810
おすすめ度の平均: 5.0
5 楽しいインタプリタの教科書


(23:10) Φ

2008年04月07日

だいぶブランクが空いたのでもう一度最初から。

(pp.1-5)
// Chapter 1. Inductive Sets of Data

1.1 Recursively Specified Data
1.1.1 Inductive Specification
1.1.2 Defining Sets of Values with Backus-Naur Form

Essentials of Programming Languages
Daniel P. Friedman Mitchell Wand Christopher T. Haynes
Mit Pr (2001/01/29)
売り上げランキング: 26810
おすすめ度の平均: 5.0
5 楽しいインタプリタの教科書


(23:13) Φ

2008年02月23日

§1.2 Recursively Specified Programs
(pp.9-27)
§1.1で導入した帰納的な考え方でプログラムが書ける。
手続きと定理の証明は同じ構造をしている。

§1.2.1 Deriving Programs from BNF Data Specifications
(pp.11-16)

- Exercise 1.6 [*]
- Exercise 1.7 [**]

Essentials of Programming Languages
Daniel P. Friedman Mitchell Wand Christopher T. Haynes
Mit Pr (2001/01/29)
売り上げランキング: 26810
おすすめ度の平均: 5.0
5 楽しいインタプリタの教科書


(10:55) Φ