2009-09-18から1日間の記事一覧

EoPL reading (100) 2.2 An Abstraction for Inductive Data Type

もう 100 だ (何 それは良いとして 2.2 ラストの Exercise 2.13 着手。 Exercise 2.13 とりあえず、以下が示されてます。 (define-datatype term term? (var-term (id symbol?)) (constant-term (datum constant?)) (app-term (terms (list-of term?))))list…