u/Chad_Nauseamin r/ProgrammingLanguages • Recommends
The Typechecker Podcast (a podcast about pl, last one for now) Ep 2: Granule
0:00 / 0:00
#granule#typesystems#lineartypes
The Typechecker Ep. 2: Granule (feat. Dr. Dominic Orchard)
André Popovitch
564 subscribers • 3 videos on Hallway
- Recommended by 1 person: 1 in engineering communities.
- Presented by André Popovitch, host
Advanced. Deep dive for people who know the field.
589 views6 years ago1 recommendation
Programming languagesLanguage design and type systemsFunctional programming
Dr. Dominic Orchard explains Granule, a functional programming language featuring a graded modal type system.
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 very powerful graded modal type system. An update that will extend it to also support dependent types is being developed. Learn more about Granule at granule-project.github.io/. This podcast is also available on Spotify. Other apps should have it soon, but if you're impatient you can always subscribe directly with this RSS feed link: anchor.fm/s/1f71ac68/podcast/rss Hope you enjoy!