[Haskell] Articles on the value of strong typing

martin odersky odersky at gmail.com
Mon Mar 26 12:34:06 EDT 2007

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:


 -- Martin

More information about the Haskell mailing list