世間ではErlangがはやっているらしいので、なんとなく最近読んだ論文の話でもしてみる。http://www.erlang.se/workshop/2003/paper/p56-nystrom.pdfSoft typingっていうのは、このへんの論文から始まる型システムの話で、要するに「動的型付けの言語(Scheme…