5 ms·
> But normal order evaluation with memoization (what human computer would do - write result only once) uses graphs and graph rewriting. ...which are still most
by FwarkALark 3y ago
> But normal order evaluation with memoization (what human computer would do - write result only once) uses graphs and graph rewriting.
...which are still most simply implemented with a stack.