News for hackers. Stuff that matters.

A comment on De Bruijn notation, and why it's useful. Parent comment

Re:De Bruijn notation, and why it's useful by wizzwizz4 on Saturday May 31, 2025 @06:28PM (#44147369)
It's not that expensive: just use De Bruijn notation under the hood. (I've seen a system that does this, and this is how it works.)
[ Parent | on HN ]
Re:De Bruijn notation, and why it's useful by SkiFire13 on Tuesday June 03, 2025 @12:52PM (#44172039)
But then the point of giving unique names to avoid using De Brujin indices is moot
[ Parent | on HN ]