High Quality
Open the downloaded document, and select print from the file menu (PDF reader required).
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
Sections
« prev | next »- This talk made possible by
- What does Galois do?
- Haskell is
- Yes. Haskell can do that
- Languages matter!
- Detect errors early!
- The toolchain matters!
- Community matters!
- Types make our lives easier
- Kinds of things types enforce
- Recent experience First demo of a new system
- Purity is fundamental
- Types aren't enough though Types aren't enough though Types aren't enough though
- Other tools in the bag
- Monads
- Algebraic Data Types
- Type classes
- Concurrency and Parallelism
- Foreign Function Interface
- There's alway boilerplate
- Fast enough for majority of things
- Performance
- There are still bugs!
- Generating supporting artifacts
- Hackage Changed Everything
- Cabal
- Easy to find Haskell programmers
- More support for large scale programming
Add a Comment