Graded types and ASAP - Githubissues

doctorn / micro-mitten

You might not need your garbage collector

https://mitten-lang.org/

GNU General Public License v2.0

536 stars 12 forks source link

Graded types and ASAP #3

Open csabahruska opened 4 years ago

csabahruska commented 4 years ago

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