3 ms·
This article is odd. The author seems to imply they are introducing NBE in their second redesign, but the original paper performs NBE as well.
by solomonb 3y ago
This article is odd. The author seems to imply they are introducing NBE in their second redesign, but the original paper performs NBE as well.
- Hirrolot 3y agoI don't believe the original performs NbE. It _looks_ like NbE, but the composition of `eval` and `quote` will not give you beta-normal forms. `quote` explicitly wraps inferrable terms in `Inf`, while `eval` eliminates `Inf`.