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
Search History:
Result 00 of 00
00 results for result for
p.
The toolchain matters! for Engineering Large Projects in a Functional Language
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…
(More)
28.3K
Reads
42
Readcasts
18.9K
Embed Views
Recommended
More From This User
Notes
Load more
