2008-10-03 BCPLの型概念 Erlang その他プログラミング マーチン・リチャーズは型を: conceptual type internal type (or actual type) に分けて考えている。ウムッ!internal typeによりcoceptual typeをうまく表現するのが本物のプログラマってことかな。