search

andrew-johnson-4 / lambda-mountain

Compiler Backend for LSTS (Typed Macro Assembler)
https://andrew-johnson-4.github.io/lambda-mountain/
MIT License
20 stars 1 forks source link

Strongly Typed GC #347

Open andrew-johnson-4 opened 6 months ago

andrew-johnson-4 commented 6 months ago

A strongly typed garbage collector would be cool, but this is the most complicated thing that is still possible that I can think of.

andrew-johnson-4 commented 5 months ago

https://hackage.haskell.org/package/reference-counting-0.1.0.0/candidate

Something like linear typed reference counting.

andrew-johnson-4 commented 4 months ago

https://github.com/alt-romes/reference-counting

Talked with author and he confirmed it would be ok to reference that as a starting point. BSD 3 clause license for project.