Please log in to watch this conference skillscast.
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:
Strong Types and Pure Functions
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.