[Haskell] Articles on the value of strong typing

[martin odersky]

On 3/26/07, Jacob Atzen <jacob at jacobatzen.dk> wrote:

> This lead me to the question: Are there any scientific empirical studies
> of the values of static / stronger type systems as found in Haskell, C#
> or Java in real world settings? Or any studies comparing weaker type
> systems in terms of programmer efficiency, defect ratio, etc.
>
It's certainly not scientific, but there is a recent entry on Lambda
the Ultimate that contains some empirical evidence:

http://lambda-the-ultimate.org/node/2147

 -- Martin