<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META http-equiv=Content-Type content="text/html; charset=iso-8859-1">
<META content="MSHTML 6.00.6000.16414" name=GENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=#ffffff>
<DIV>Take a look at "World Class Product Certification using Erlang"&nbsp;by Ulf
Wiger et al. It's about a real project, not a scientific experiment, but even
so&nbsp;it aims to demonstrate some of the claims made for FP. It's Erlang, not
Haskell, but that doesn't really matter. The product is certainly a "significant
system"--it's 1.5 million lines of Erlang, and is in use in Ericsson-supplied
telephone networks around the world. But it's not built exclusively with Erlang,
and actually I think that's an unreasonable demand--virtually any large system
is built with a mixture of languages. In this case there are 2 million lines of
C doing low-level data transport.</DIV>
<DIV>&nbsp;</DIV>
<DIV>I'm sure you'll find the Commercial Users of Functional Programming
workshops interesting too, although there are only slides available in most
cases, not papers. There are many "success stories" there.</DIV>
<DIV>&nbsp;</DIV>
<DIV>John</DIV>
<BLOCKQUOTE
style="PADDING-RIGHT: 0px; PADDING-LEFT: 5px; MARGIN-LEFT: 5px; BORDER-LEFT: #000000 2px solid; MARGIN-RIGHT: 0px">
<DIV style="FONT: 10pt arial">----- Original Message ----- </DIV>
<DIV
style="BACKGROUND: #e4e4e4; FONT: 10pt arial; font-color: black"><B>From:</B>
<A title=tretriluxana.s@gmail.com href="mailto:tretriluxana.s@gmail.com">Sukit
Tretriluxana</A> </DIV>
<DIV style="FONT: 10pt arial"><B>To:</B> <A title=haskell@haskell.org
href="mailto:haskell@haskell.org">haskell@haskell.org</A> </DIV>
<DIV style="FONT: 10pt arial"><B>Sent:</B> Tuesday, April 03, 2007 10:06
PM</DIV>
<DIV style="FONT: 10pt arial"><B>Subject:</B> [Haskell] Software Engineering
and Functional Programming (withHaskell)</DIV>
<DIV><BR></DIV>Hi all,<BR><BR>I'm a Software Engineering (SE) Master's degree
student at CMU. As part of the program, each of us needs to present a topic
that's related to SE. I am picking Functional Programming with Haskell as the
topic as I believe it has a lot of direct impact on SE due to its nature that
requires a the whole new world of thinking process, design, analysis,
development, testing, and deployment. <BR><BR>Unfortunately my instructor
disagrees that the topic is relevant. In his response, he mentioned that he
will accept the topic only if I can prove the following.<BR><BR>
<DIV style="MARGIN-LEFT: 40px; FONT-STYLE: italic">Haskell has been around for
quite a while. &nbsp;To convince me,<BR>you'll have to give me references that
I can read about<BR>nontrivial examples of significant software systems
already<BR>built exclusively with Haskell which includes the software
<BR>engineering principles applied in this environment and the<BR>software
measures that demonstrate the claims. I<BR>welcome the opportunity for you to
provide me with such<BR>in-depth research references to support your
viewpoint. <BR></DIV><BR>Straight of the bat, I have very limited visibility
in terms of finding him the resources to prove this. I am wondering if any of
you all here could shed some light where I can find a couple compelling
evidences to convince him. In fact, my presentation topic is not specifically
tied to Haskell but more to FP. So any resources that provide such information
on FP in general would do as well.<BR><BR>Thanks,<BR>Ed<BR><BR><BR><BR>
<P>
<HR>