2007-10-02から1日間の記事一覧

型理論とかがはやるのは、みんなマルチリンガルになってきたからだ

だから、それぞれのプログラミング言語を分別、共通点を探るツールとして、そういうものが自然と身についてきたんじゃないか? 昔はひとつの言語を習得するのに、ごく限られた情報、たとえば文法書だけしかなくて、サンプル=ソースコードにもふれられず、開…