2009-08-16から1日間の記事一覧

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

昨晩のヤリ残しな試験を書いた。以下な部分。 (and (pair? variant) (memq (car variant) (car type-info)) #t)試験は以下。 (test* "argument is not pair" #f (bintree? 1)) (test* "car of argument is not 'leaf-node and 'interior-node" #f (bintree? …

若い人って

本当にいいなぁ。 うらやむのではなく、導く人になれれば、と願いつつ。