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

ErlangのEclipse Plug-in http://sourceforge.net/projects/erlide/

[id:lethevert:20061201:p1]のpipe line operatorを定義。 (|>) infixl 0 (|>) x f ==: f x class (|>$) infixl 0 a b :: !*a !b -> *a instance |>$ File Char instance |>$ File Int instance |>$ File Real instance |>$ File {#Char}(|>$)オペレータは、…