2006-12-10 Erlang : typing Erlangは、オプションで型付けができるらしい。 -type fac(int()) -> int(). fac(N) when N > 0 -> N * fac(N-1); fac(0) -> 1.のように宣言するみたい。