Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword or section
Like this
8Activity
0 of .
Results for:
No results containing your search query
P. 1
Engineering Large Projects in Haskell: A Decade of FP at Galois

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

Ratings:

5.0

(1)
|Views: 2,060 |Likes:
Published by Don Stewart
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.

* 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.

http://www.galois.com/blog/2009/04/27/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.

* 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.

http://www.galois.com/blog/2009/04/27/engineering-large-projects-in-haskell-a-decade-of-fp-at-galois/

More info:

Published by: Don Stewart on Sep 08, 2009
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

06/11/2013

pdf

text

original

 
2008 Galois, Inc. All rights reserved.
 
Engineering Large Projects in Haskell
A Decade of Functional Programming at GaloisDon Stewart | 2009 04 20 | London HUG
 
2008 Galois, Inc. All rights reserved.
This talk made possible by...
Aaron Tomb
Adam Wick
Andy Adams-Moran
Andy Gill
David Burke
Dylan McNamee
Eric Mertens
Iavor Diatchki
Isaac Potoczny-Jones
Jef Bell
Peter White
Trevor Elliott
Phil Weaver 
Jeff Lewis
Joe Hurd
Joel Stanley
John Launchbury
John Matthews
Laura McKinney
Lee Pike
Levent Erkok
Louis Testa
Magnus Carlsson
Paul Heinlein
Sally Browning
Thomas Nordin
Brett Letner 
… and many others
 
2008 Galois, Inc. All rights reserved.
What does Galois do?
Information assurance for critical systems
Building systems that are trustworthy and secure
Mixture of government and industry clients
R&D with our favorite tools:
 – 
Formal methods
 – 
Typed functional languages
 – 
Languages, compilers, DSLs
Systems components: kernels, file systems, networkstuff, analysis tools, user land apps, ...
Haskell for pretty much everything

Activity (8)

You've already reviewed this. Edit your review.
1 hundred reads
1 thousand reads
kenpou_ishii liked this
Ngô Anh liked this
William Roe liked this
munu5706 liked this

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->