27 Mar
2007
27 Mar
'07
12:34 a.m.
On 3/26/07, Jacob Atzen <jacob@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