High Quality
Open the downloaded document, and select print from the file menu (PDF reader required).
Practical Haskell Programming:
Scripting With Types
Don Stewart | 2010-08-17
© 2010 Galois, Inc. All rights reserved.
Scripting with Types
I
ntroduction to Haskell
Designing with types
An example: scripting privileged syscalls
Engineering tools for reliability
Further reading
© 2010 Galois, Inc. All rights reserved.
P
art 1. Shell scripting
Practical Haskell Programming: scripting with types
Info and Rating
Sections
« prev | next »- Scripting with Types
- Part 1. Shell scripting
- Motivation: shell scripting
- Haskell is
- Haskell for shell scripting
- Goal: robust, maintainable scripting
- Simple example: CPU frequency scripting
- A shell program for frequency pinning
- Privileged mode
- A shell implementation
- Straight forward design
- Direct Haskell translation (imperative style)
- Notes on imperative Haskell
- Part 2. Doing a better job: a DSL for sysctls
- Code smells
- Domain specific shell code
- Concrete API for sysctls
- Implementation in Haskell
- Implementation « continued
- Simpler code: a DSL for sysctls
- Part 3: improving error handling
- Exception handling
- Capturing errors in a monad
- Error handling is overloaded
- Checking for all possible errors
- Scrap your boilerplate!
- Either forms a monad: the glue in our code
- Programmable semi-colons
- Abstracting out the error handling
- Replacing with bind
- Using do-notation syntax
- And using whitespace layout«
- Same code, but smarter
- Part 4. Privilege Separation
- Escalating privileges is bad
- Standard trick: a tracking monad
- And add custom error handling
- Smart constructors: only one way in
- Now the type checker does the security audit!
- Part 5. Summary
- Shell programming as case-study of DSLs
- Similar tools
- Further reading
Add a Comment