« Achronix and Signali: High-performance 128-bit AES cores for Speedster FGPAs | Main | Portland Next Week: ICFP PC Functional Programming Workshop »
Monday
Apr272009

Engineering Large Projects in Haskell: A Decade of FP at Galois

Galois has been building systems in Haskell for the past decade. This talk describes some of what we’ve learned about in-the-large, commercial Haskell programming in that time. (Download slides :: .pdf).



  • When and where we use Haskell

  • Correctness, productivity, scalabilty, maintainability

  • What language features we like: types, purity, types, abstractions, types, concurrency, types!

  • The Haskell toolchain: FFI, HPC, Cabal, compiler, libraries, build systems, etc.

  • Being a commercial entity in a largely open source community


This talk was presented Monday 20th April at λondon HUG.

Reader Comments (9)

Thanks, it was a good talk. I'm sorry I didn't get a chance to talk to you afterward.

April 27, 2009 | Unregistered CommenterCal

[...] Don has now posted his slides from last week’s talk on the Galois blog: http://www.galois.com/blog/2009/04/27/engineering-large-projects-in-haskell-a-decade-of-fp-at-galois... [...]

Very nice! But this should be on the programming reddit, not just the haskell reddit. And the talk should be to a wider audience than a HUG.

April 27, 2009 | Unregistered CommenterYitz

You mention the need for precision of data layout (bits/bytes), etc. Why did you write "emerging" in the slide?

May 6, 2009 | Unregistered CommenterPal Engstad

@Pal In that there is some support for low level representation control (inline/unboxed types/FFI ptr types). Class-associated data types also let us describe representation types for polymorphic structures separate to their regular representation.

May 7, 2009 | Unregistered Commenterdonstewart

[...] reports: As part of Galois‘ 10th birthday, Don Stewart presented a talk at the LondonHUG on Engineering Large Projects in Haskell, celebrating a decade of use of Haskell by Galois. TypLAB, a new startup  talked about why they [...]

December 21, 2009 | Unregistered CommenterThe Year In Haskell « Th

[...] Haskell Large scale systems [...]

I was hoping to go over the slides, but the link is no longer working?
January 1, 2011 | Unregistered CommenterTTimo

There seems to be a copy at http://www.scribd.com/doc/19502765/Engineering-Large-Projects-in-Haskell-A-Decade-of-FP-at-Galois

June 22, 2012 | Unregistered CommenterTom Prince

PostPost a New Comment

Enter your information below to add a new comment.

My response is on my own website »
Author Email (optional):
Author URL (optional):
Post:
 
Some HTML allowed: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <code> <em> <i> <strike> <strong>