barbage collectable incremental tracing memoization
show case