ていうか、特に新鮮だったのは、すでに"束縛されている変数"でパターンマッチングができるってこと。 これは驚き。Haskellでもこんなことできないような気がする。俺が知らないだけ？

昨日新宿ジュンク堂でプログラミングプログラミングErlangを買ってきた。 やっぱ日本語だと全然読むのが速い。ていうかErlangすげぇ、これってPi-calculusそのものじゃん！って思った。 もちろん正確にPi計算そのものであるわけではないけれど、感覚としては…