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.
Talks I've Given
-
Well-Typed Communication Protocols
Featuring Duncan Coutts
Concurrency is still hard. Building distributed applications using message passing is still hard. Application-specific message passing protocols are often specified in an informal and ad-hoc way (if at all), with very little support from the programming language or tools. This sets things up for...
types state-machines message-passing network protocols distributed-systems haskell -
Building a Multi-Billion Dollar Cryptocurrency with Haskell
Featuring Duncan Coutts
This talk is an experience report on the development and operation of a top-10 open blockchain cryptocurrency written in Haskell.
haskellx cryptocurrency blockchain haskell -
Cloud Haskell
Featuring Duncan Coutts
Cloud Haskell brings Erlang-style distributed concurrency to Haskell. In this talk I'll talk about what it is and how you can use it. I'll also describe the new implementation that we have been working on, with a focus on robustness and flexibility.
haskell functional-programming cloud -
Strong Types and Pure Functions
Featuring Duncan Coutts
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...
