Duncan Coutts
Founding Partner at Well-Typed LLP
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.
Past Activities
Code Mesh LDN 2018
14.20 - 15.05
Building a Billion Dollar cryptocurrency with Haskell
This talk is an experience report on the development and operation of a top-10 open blockchain cryptocurrency written in Haskell.
Cardano is a recently released blockchain cryptocurrency system developed by IOHK and implemented primarily in Haskell. It has a number of innovative technologies and a long future roadmap, but in this talk, Duncan will focus less on the 'what' and more on the question of 'how' and on transferable lessons:
- How the system has been and is being developed;
- How we balance rapid development with higher assurance development;
- Playing to Haskell's strengths;
- Opportunities for higher assurance with formal specifications;
- Bridging the gap between research and products;
- Building a larger Haskell development team and training;
- What has gone well, and what has gone badly, and lessons we can learn.