[Haskell] Articles on the value of strong typing

Jacob Atzen jacob at jacobatzen.dk
Tue Apr 3 03:06:05 EDT 2007

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.

Thank you for your comments and suggestions. 

- Jacob Atzen

More information about the Haskell mailing list