Brendan Zabarauskas on Twitter: "@pcwalton Hah, so true! Even worse: your dependent type system comes knocking. I'm hoping that advances in substructural types can help! For example Granule has been doing cool work combining information flow, usage analysis, and effects in a functional language: https://t.co/G9LYOfXnDZ" / Twitter

Replying to

Hah, so true! Even worse: your dependent type system comes knocking. I'm hoping that advances in substructural types can help! For example Granule has been doing cool work combining information flow, usage analysis, and effects in a functional language:

granule-project.github.io

The Granule Project

The Granule Project: A Research Project Studying the Next Generation of Functional Programming Languages

2:26 AM · Sep 27, 2021Twitter Web App

Retweet

Likes

Conversation