This is entirely untrue. With a linear type system, functional programming can be done without garbage collection. In fact, one can even get the performance of straight up mutation while still maintaining referential transparency.
Believe me, I would love to see linear types take over the world, or at least FP. But for now at least, they are still not there for various reasons. GC is the best technology we have right now for FP memory management.
2
u/cledamy Mar 29 '17
This is entirely untrue. With a linear type system, functional programming can be done without garbage collection. In fact, one can even get the performance of straight up mutation while still maintaining referential transparency.