Type System Tracking Issue - Githubissues

ch-systems / petr

the petr programming language -- Programmable Effects TRacking

https://playground.petr.sh

5 stars 0 forks source link

Type System Tracking Issue #145

Open sezna opened 3 months ago

sezna commented 3 months ago

TODO:

[ ] Typeclasses
[ ] Constrained types ('int without 0, for example -- ranges)
[ ] Specific types for user defined types
[ ] Deduplicate constraints before solving
[ ] More tests in type checker
[ ] Document and organize typecheck/lib.rs