<p>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 <a href="https://granule-project.github.io/">https://granule-project.github.io/</a>.  </p>

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 https://granule-project.github.io/.

<p>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 <a href="https://granule-project.github.io/" rel="noopener noreferrer">https://granule-project.github.io/</a>. &nbsp;</p>

Granule (feat. Dr. Dominic Orchard)

This is an interview-oriented podcast about programming languages, PL theory, and anything else I find interesting :)

Share Granule (feat. Dr. Dominic Orchard)

Sign up to save your podcasts

Granule (feat. Dr. Dominic Orchard)

Granule (feat. Dr. Dominic Orchard)

More shows like The Typechecker

Signals and Threads

Type Theory Forall

The Ezra Klein Show

Ones and Tooze

Plain English with Derek Thompson