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