|
|
Functional Programming eXchange 2009: Duncan Coutts on Strong Types and Pure Functions
Strong Types and Pure Functions
This talk is about the software engineering benefits we can obtain by controlling side effects. By starting with pure functions and using types to mark actions with side effects we can build custom computational environments and have strong guarantees about what side effects are permitted and are not permitted. We will look at where these guarantees can help us, particularly in enforcing interface contracts.
Download the slides here
ABOUT DUNCAN COUTTS
|
Duncan is an independent Haskell consultant with Well-Typed LLP. His commercial work covers building end-user applications in Haskell and supporting companies that use Haskell through making improvements to the toolchain. He has more than ten years
More about Duncan Coutts
|
|
PODCAST STRONG TYPES AND PURE FUNCTIONS
This session took part at the Functional Programming eXchange 2009. You can view the other 8 podcasts here.
|
|
|
