[erlang-questions] Why is Erlang what it is?
Wed Dec 13 16:36:21 CET 2006
Kirill Zaborski wrote:
> Yeah, I know about the dialyzer. But are there any reasons why static
> typing is dead?
> Are there any papers why it was declined? Or maybe should I send an
> email to Philip Wadler?
> On 12/13/06, *Richard Carlsson* <
> <mailto:>> wrote:
> Strict typing of Erlang programs is pretty much dead. Type analysis,
> however, is live and kicking in the "dialyzer" application, from the
> HiPE project.
Please pay attention to the details.
Richard wrote "strict typing" and you changed it to "static typing".
More information about the erlang-questions