I hadn't thought about it that way, but it makes sense. I would say the main dif... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Mathnerd314 on March 10, 2024 \| parent \| context \| favorite \| on: I'm Betting on Call-by-Push-Value I hadn't thought about it that way, but it makes sense. I would say the main difference is that ANF is type-preserving, whereas CBPV introduces new types. But they are similar in that they are IRs with accompanying translations from standard lambda calculus. You can see the translations of CBV/CBN on page 11 of https://www.cs.bham.ac.uk/~pbl/papers/tlca99.pdf

aebtebeten on March 10, 2024 [–]

I was very relieved to discover from https://www.cs.bham.ac.uk/~pbl/papers/siglogcbpv2.pdf that PBL has learned how to explicitly number pages in the intervening decades.

(see Fig. 6 p.21)

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact