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 archivesActive forum topicsNew forum topics
|
Recent comments
1 day 8 hours ago
1 day 21 hours ago
2 days 23 hours ago
5 days 19 hours ago
5 days 21 hours ago
6 days 8 hours ago
6 days 8 hours ago
6 days 20 hours ago
1 week 10 hours ago
3 weeks 2 days ago