Taonqmttjd4ptzo0s5cn
SkillsCast

Strong Types and Pure Functions

7th December 2009 in London at Skills Matter

There are 6 other SkillsCasts available from Functional Programming eXchange 2009

Please log in to watch this conference skillscast.

Https s3.amazonaws.com prod.tracker2 resource 41088130 skillsmatter conference skillscast o9nohu

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.

YOU MAY ALSO LIKE:

Thanks to our sponsors

Strong Types and Pure Functions

Duncan Coutts

Duncan is a Haskell consultant, computer scientist and Haskell community member. He holds a PhD in computer science and has been using Haskell for nearly 20 years. He is a founding partner of Well-Typed LLP where he has spent over 10 years helping a variety of customers build applications in Haskell and making improvements to the Haskell toolchain.

SkillsCast

Please log in to watch this conference skillscast.

Https s3.amazonaws.com prod.tracker2 resource 41088130 skillsmatter conference skillscast o9nohu

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.

YOU MAY ALSO LIKE:

Thanks to our sponsors

About the Speaker

Strong Types and Pure Functions

Duncan Coutts

Duncan is a Haskell consultant, computer scientist and Haskell community member. He holds a PhD in computer science and has been using Haskell for nearly 20 years. He is a founding partner of Well-Typed LLP where he has spent over 10 years helping a variety of customers build applications in Haskell and making improvements to the Haskell toolchain.