[Haskell] Articles on the value of strong typing
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