How Haskell's STM opened my eyes to strong type systems
TS
Tirumarai Selvan
@tirumaraiselvan
Understand the power of type systems using a practical application: concurrency
Outline
I will talk about one of the craziest applications of using types to solve an incredibly complex problem: concurrency. This talk will look at Haskell’s STM (Software Transactional Memory) to motivate the power of type systems
Requirements
Basic understanding of types
Speaker bio
Tiru is a senior engineer at Hasura and tweets at https://twitter.com/Tirumarai
{{ errorMsg }}