How Haskell's STM opened my eyes to strong type systems

Submitted by Tirumarai Selvan (@tirumaraiselvan) on Nov 12, 2019

Status: Confirmed & scheduled


Understand the power of type systems using a practical application: concurrency


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


Basic understanding of types

Speaker bio

Tiru is a senior engineer at Hasura and tweets at



{{ gettext('Login to leave a comment') }}

{{ gettext('You need to be a participant to comment.') }}

{{ formTitle }}
{{ gettext('Post a comment...') }}
{{ gettext('New comment') }}

{{ errorMsg }}