Thank you so much everyone who have been so helpful in pointing out the resources that I can use to convince my prof. And guess what, he's finally convinced!!!<br><br>I wholehearted appreciate everyone and the strong support from this Haskell community.
<br><br>Ed<br><br><div><span class="gmail_quote">On 4/4/07, <b class="gmail_sendername">Doaitse Swierstra</b> <<a href="mailto:firstname.lastname@example.org">email@example.com</a>> wrote:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
There have been a series on workshop about the commercial use of<br>functional programming. You can find the slides of presentations at:<br><br><a href="http://cufp.galois.com/">http://cufp.galois.com/</a><br><br>Some companies even use knowledge of FP to filter out the good
<br>applicants ;-}} What is your instructor's opinion about that?<br><br> Doaitse Swierstra<br><br><br>On Apr 3, 2007, at 11:40 PM, Paul Johnson wrote:<br><br>> Sukit Tretriluxana wrote:<br>>> Unfortunately my instructor disagrees that the topic is relevant.
<br>>> In his response, he mentioned that he will accept the topic only<br>>> if I can prove the following.<br>>><br>>> Haskell has been around for quite a while. 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>> For FP in general you could look at Erlang. Its an functional<br>> programming language used for telecom systems.
<a href="http://www.erlang.org">www.erlang.org</a> has<br>> a bunch of references, including some very significant software<br>> systems.<br>><br>> I would suggest broadening your scope to include Erlang, and then
<br>> look at some of the issues with Erlang and the way in which Haskell<br>> purity helps, like deforestation. In Erlang you can write a<br>> function as a pipeline of maps, filters and folds, but it tends to<br>
> be very inefficient because all the intermediate data structures<br>> have to be created. In Haskell the compiler can strip out these<br>> structures because the order of execution does not matter.<br>><br>
> I know that Haskell has been used for chip design software. Simon<br>> Peyton-Jones' recent paper on the history of Haskell has some<br>> references.<br>><br>> Paul.<br>> _______________________________________________
<br>> Haskell mailing list<br>> <a href="mailto:Haskell@haskell.org">Haskell@haskell.org</a><br>> <a href="http://www.haskell.org/mailman/listinfo/haskell">http://www.haskell.org/mailman/listinfo/haskell</a><br><br>