関数型言語だと「データ構造を定義して、それに対する操作を定義」する。これは「宣言的なプログラミング」と言うやつじゃないかと思う。なんとなく、これは「構文を定義してそれに意味論を定義する」という理論の世界の手法と似ている気がする。OOPLだと「…

から始まる、Garrigue先生の昔話風abstractが凄い好きです。http://www.graco.c.u-tokyo.ac.jp/ppl2005/papers/4-2.pdf 自分が「純粋」だなんて,人に言い歩いたりはしないが,人の信用を裏切ってはいけない.健全で完全,それが約束だった.さあ,懺悔の時が来た.