読者です 読者をやめる 読者になる 読者になる

Arantium Maestum

プログラミング、囲碁、読書の話題

SICPの勉強 Lecture 2B-2

Clojure SICP

www.youtube.com

あと、この講義の終わりの方でcons-cellをclosureのみで作るコードが提示される。cons-cellがあればlinked listが作れて、複雑なデータ構造を組み上げていくことができる(遅いので実装上は使わないが)。データ構造すら、closureを持つprocedureを使って組み上げる抽象レイヤであり得るというポイントは実にハッとさせる瞬間である。

これが実際のところどの程度重要な概念なのかはちょっとわからないが・・・ ラムダ計算理論などでは大事になりそうな気がする。