3 ms·
I somehow (incorrectly I guess) thought Idris was strict (as opposed to Haskell) specifically to avoid a requirement on a garbage collector :(.
by saurik 6y ago
I somehow (incorrectly I guess) thought Idris was strict (as opposed to Haskell) specifically to avoid a requirement on a garbage collector :(.
- sfvisser 6y agoThese things are unrelated. Idris is strict and performs heap allocations so does require a GC.