13,983 followers
@SMT_Solvers @karchsl @contextfreeinfo The problem is that laziness plays hell with object lifetimes, which now no longer nicely follow simple lexical scoping ruling out stack based region schemes, and linear typed region schemes have their own problems.