[Haskell] Software Engineering and Functional Programming (with Haskell)

[Sukit Tretriluxana]

Hi all,

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.

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.

Haskell has been around for quite a while.  To convince me,
you'll have to give me references that I can read about
nontrivial examples of significant software systems already
built exclusively with Haskell which includes the software
engineering principles applied in this environment and the
software measures that demonstrate the claims. I
welcome the opportunity for you to provide me with such
in-depth research references to support your viewpoint.

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.

Thanks,
Ed
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell/attachments/20070403/d5d1efec/attachment.htm