Brendan Zabarauskas on Twitter: "Enjoyed listening to this chat with @dorchard on the Granule programming language! As always, super excited about graded modal types and how they might be able to be used to espress linearity, erasure, and multi-stage programming: https://t.co/vPa6vUlDsr" / Twitter

Enjoyed listening to this chat with

on the Granule programming language! As always, super excited about graded modal types and how they might be able to be used to espress linearity, erasure, and multi-stage programming:

youtube.com

The Typechecker Ep. 2: Granule (feat. Dr. Dominic Orchard)

This episode was recorded in August of 2019 so not everything you hear will necessarily be up to date. Granule is a functional programming language with a ve...

2:26 AM · May 4, 2020Twitter Web App

Retweets

Likes

Conversation