[erlang-questions] Why isn't erlang strongly typed?

[Stuart Bailey]

There is a very enjoyable and rigorous treatment of many of the issues raised on this thread in the book:

Types and Programming Languages by Benjamin C. Pierce.  

http://www.amazon.com/Types-Programming-Languages-Benjamin-Pierce/dp/0262162091

It spends quite some time on typing concerns of the Lambda-Calculus which is especially relevant for Erlang.

I agree with Milner's statement below:
"Types are the leaven of computer programming; they make it digestible. This excellent book uses types to navigate the rich variety of programming languages, bringing a new kind of unity to their usage, theory, and implementation. Its author writes with the authority of experience in all three of these aspects."
—Robin Milner, Computer Laboratory, University of Cambridge



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20081023/bcb9f7d1/attachment.htm>