Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
P. 1
Engineering Large Projects in a Functional Language

Engineering Large Projects in a Functional Language

Ratings: (0)|Views: 29,242 |Likes:
Published by Don Stewart
Galois has been building software 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. I'll look at when and where we use Haskell. At correctness, productivity, scalabilty, maintainability, and what language features we like: types, purity, types, abstractions, types, concurrency, types!

We'll also look at the Haskell toolchain: FFI, HPC, Cabal, compiler, libraries, build systems, etc, and being a commercial entity in a largely open source community.
Galois has been building software 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. I'll look at when and where we use Haskell. At correctness, productivity, scalabilty, maintainability, and what language features we like: types, purity, types, abstractions, types, concurrency, types!

We'll also look at the Haskell toolchain: FFI, HPC, Cabal, compiler, libraries, build systems, etc, and being a commercial entity in a largely open source community.

More info:

Published by: Don Stewart on Jul 10, 2010
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

07/10/2013

pdf

text

original

 
Engineering Large Projectsin a Functional Language
Lessons from a Decade of Haskell at Galois
Don Stewart | 2010-07-10 | DevNation PDX
 
© 2010 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 
Jason Dagit
Jeff Lewis
Joe Hurd
Joel Stanley
John Launchbury
John Matthews
Jonathan Daugherty
Josh Hoyt
Laura McKinney
Ledah Casburn
Lee Pike
Levent Erkok
Louis Testa
Magnus Carlsson
Matt Sottile
Paul Heinlein
Rogan Creswick
Sally Browning
Sigbjorn Finne
Thomas Nordin
Brett Letner 
… and many others
 
© 2010 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
Kernels, file systems, networks, servers, compilers,security, desktop apps, ...
Haskell for pretty much everything

Activity (35)

You've already reviewed this. Edit your review.
1 thousand reads
1 hundred reads
kenpou_ishii liked this
Shivashankar liked this
MihaiMaruseac liked this
nialldalton liked this
thomaswhitcomb liked this
conal_elliott liked this

You're Reading a Free Preview

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