
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">

<HTML>

<HEAD>

<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">

<META NAME="Generator" CONTENT="MS Exchange Server version 6.5.7651.59">

<TITLE>RE: [erlang-questions] Why isn't erlang strongly typed?</TITLE>

</HEAD>

<BODY>

<!-- Converted from text/plain format -->


<P><FONT SIZE=2>There is a very enjoyable and rigorous treatment of many of the issues raised on this thread in the book:<BR>

<BR>

Types and Programming Languages by Benjamin C. Pierce. <BR>

<BR>

<A HREF="http://www.amazon.com/Types-Programming-Languages-Benjamin-Pierce/dp/0262162091">http://www.amazon.com/Types-Programming-Languages-Benjamin-Pierce/dp/0262162091</A><BR>

<BR>

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

<BR>

I agree with Milner's statement below:<BR>

"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."<BR>

—Robin Milner, Computer Laboratory, University of Cambridge<BR>

<BR>

<BR>

<BR>

</FONT>

</P>


</BODY>

</HTML>