Hi all,<br><br>I&#39;m a Software Engineering (SE) Master&#39;s degree student at CMU. As part of the program, each of us needs to present a topic that&#39;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&#39;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>