lua-users home
lua-l archive

[Date Prev][Date Next][Thread Prev][Thread Next] [Date Index] [Thread Index]

On 23 Jun 2011, at 17:41, Henning Diedrich <> wrote:
> Somewhat back on topic: Erlang has no type system and some extremely bright people failed at giving it one when they tried. But it has an excellent static analyzer that catches type errors of even composite types.

Erlang doesn't have a static type system enforced by the compiler, but it does have a notation for function types which is used by edoc and dialyzer, and dialyzer does static type analysis and inference to find bugs.

f.anthony.n.finch  <>