User loginNavigation |
Combining lazy and eager evaluation of termsIn an attempt to combine some of the benefits of lazy and eager evaluation, I have implemented a language with an evaluation strategy which is strict with respect to divergence, but performs lazy evaluation on certain intermediate subterms to allow a more expressive use of recursion. Tim Sweeney started this interesting Types-list thread. A summary of the responses he receieved is here. |
Browse archives
Active forum topics |
Recent comments
29 weeks 4 days ago
29 weeks 5 days ago
29 weeks 5 days ago
51 weeks 6 days ago
1 year 4 weeks ago
1 year 5 weeks ago
1 year 5 weeks ago
1 year 8 weeks ago
1 year 12 weeks ago
1 year 12 weeks ago