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@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
