Optimistic evaluation: an adaptive evaluation strategy for non-strict programs.