Editing Haskell in practice (section)

==Reports on Experiences with Haskell==

* [https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.34.493&rep=rep1&type=pdf Composing contracts: an adventure in financial engineering] by Simon Peyton Jones, Jean-Marc Eber, Julian Seward. ICFP 2000. 
<blockquote>
Financial and insurance contracts do not sound like promising territory
for functional programming and formal semantics, but in fact we have
discovered that insights from programming languages bear directly on the
complex subject of describing and valuing a large class of contracts. 

We introduce a combinator library that allows us to describe such
contracts precisely, and a compositional denotational semantics that
says what such contracts are worth. We sketch an implementation of our
combinator library in Haskell. Interestingly, lazy evaluation plays a
crucial role. 

See also [http://web.archive.org/web/20020215005912/http://www.risk.net/riskawards2001/softwareproduct.htm this article in the Risk Magazine],
 a journal of the financial engineering industry.  
</blockquote>

* [http://www.cs.yale.edu/publications/techreports/tr1049.pdf Haskell vs. Ada vs. C++ vs. Awk vs. ..., An Experiment in Software Prototyping Productivity] by Paul Hudak and Mark P. Jones, 16 pages.<br> Description of the results of an experiment in which several conventional programming languages, together with the functional language Haskell, were used to prototype a Naval Surface Warfare Center requirement for Geometric Region Servers. The resulting programs and development metrics were reviewed by a committee chosen by the US Navy. <p> The results indicate that the Haskell prototype took significantly less time to develop and was considerably more concise and easier to understand than the corresponding prototypes written in several different imperative languages, including Ada and C++.  

* [ftp://ftp.wins.uva.nl/pub/computersystems/functional/reports/JFP_pseudoknotI.ps.Z Benchmarking implementations of functional languages with ''pseudoknot'', a Float-Intensive benchmark] by P. H. Hartel, M. Feeley, M. Alt, L. Augustsson, P. Baumann, M. Beemster, E. Chailloux,C. H. Flood, W. Grieskamp, J. H. G. van Groningen, K. Hammond, B. Hausman, M. Y. Ivory, R. E. Jones, J. Kamperman, P. Lee, X. Leroy, R. D. Lins, S. Loosemore, N. R&ouml;jemo, M. Serrano, J.-P. Talpin, J. Thackray, S. Thomas, P. Walters, P. Weis, and P. Wentworth. ''J. Functional Programming'', 6(4):621--655, Jul 1996.

* [http://shootout.alioth.debian.org/ The Great Computer Language Shootout]<br>Comparative benchmarks of a number of different languages and compilers, including Haskell with GHC. GHC has often lead the pack, with frequent 1st places in 2006; as of February 2008, it ranks somewhere around 6th or 7th place, with the closely related language Clean ~3 places up.
* Colin Runciman and David Wakeling (ed.): <EM>Applications of Functional Programming</EM>, UCL Press, 1995, ISBN 1-85728-377-5 HB.<br> From the cover: <blockquote> This book is unique in showcasing real, non-trivial applications of functional programming using the Haskell language. It presents state-of-the-art work from the FLARE project and will be an invaluable resource for advanced study, research and implementation.  </blockquote>

* [http://www.osl.iu.edu/publications/prints/2003/comparing_generic_programming03.pdf A Comparative Study of Language Support for Generic Programming] Ronald Garcia, Jaakko Jrvi, Andrew Lumsdaine, Jeremy G. Siek, and Jeremiah Willcock. In Proceedings of the 2003 ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (OOPSLA'03), October 2003. <br> An interesting comparison of generic programming support across languages, including: Haskell, SML, C++, Java, C#. Haskell supports all constructs described in the paper -- the only language to do so.