[Haskell] Articles on the value of strong typing

[Martin Erwig]

On Apr 3, 2007, at 12:06 AM, Jacob Atzen wrote:

> On Mon, Mar 26, 2007 at 03:41:10PM +0200, Jacob Atzen 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.
>>
>> I have been unable to find any such studies as it supposedly is  
>> "common
>> knowledge" that strong type systems are of great value.  
>> Additionally the
>> people I have asked the question was not aware of any such  
>> studies, so
>> now I'm trying this list.
>
> I still have not been able to find any studies on the subject even  
> after
> trawling the ppig conference archives.

The following article might be relevant.

@string{TSE    = "{IEEE Transactions on Software Engineering}"}

@ARTICLE{PT98,
   author = {Prechelt, L. and Tichy, W.~F.},
   title = "{A Controlled Experiment to Assess the Benefits of  
Procedure Argument Type Checking}",
   journal = TSE,
   volume = 24,
   number = 4,
   year = 1998,
   pages = {302--312},
}


--
Martin