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

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

Status: Confirmed & Scheduled

View proposal in schedule

Abstract

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

Links

Comments

Login with Twitter or Google to leave a comment