[Date Prev][Date Next][Thread Prev][Thread Next]
- Subject: Re: LuaJIT without the JIT?
- From: Tony Finch <dot@...>
- Date: Sun, 26 Jun 2011 13:02:46 +0100
On 23 Jun 2011, at 17:41, Henning Diedrich <firstname.lastname@example.org> 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 <email@example.com> http://dotat.at/