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

[Sukit Tretriluxana]

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!!!

I wholehearted appreciate everyone and the strong support from this Haskell
community.

Ed

On 4/4/07, Doaitse Swierstra <doaitse at cs.uu.nl> wrote:
>
> There have been a series on workshop about the commercial use of
> functional programming. You can find the slides of presentations at:
>
> http://cufp.galois.com/
>
> Some companies even use knowledge of FP to filter out the good
> applicants ;-}} What is your instructor's opinion about that?
>
>   Doaitse Swierstra
>
>
> On Apr 3, 2007, at 11:40 PM, Paul Johnson wrote:
>
> > Sukit Tretriluxana wrote:
> >> 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.
> > For FP in general you could look at Erlang.  Its an functional
> > programming language used for telecom systems.  www.erlang.org has
> > a bunch of references, including some very significant software
> > systems.
> >
> > I would suggest broadening your scope to include Erlang, and then
> > look at some of the issues with Erlang and the way in which Haskell
> > purity helps, like deforestation.  In Erlang you can write a
> > function as a pipeline of maps, filters and folds, but it tends to
> > be very inefficient because all the intermediate data structures
> > have to be created.  In Haskell the compiler can strip out these
> > structures because the order of execution does not matter.
> >
> > I know that Haskell has been used for chip design software.  Simon
> > Peyton-Jones' recent paper on the history of Haskell has some
> > references.
> >
> > Paul.
> > _______________________________________________
> > Haskell mailing list
> > Haskell at haskell.org
> > http://www.haskell.org/mailman/listinfo/haskell
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell/attachments/20070404/0b1c4dd4/attachment.htm