Could graded types help ASAP to be more static or precise? [Dominic Orchard - Quantitative program reasoning in Granule via graded modal types | Code Mesh LDN (youtube)](https://www.youtube.com/watch?v=2HOtpcrmXMQ) https://granule-project.github.io
Could graded types help ASAP to be more static or precise?
Dominic Orchard - Quantitative program reasoning in Granule via graded modal types | Code Mesh LDN (youtube)
https://granule-project.github.io