2024-01-21 23:04 UTC
An underrated boon of de Bruijn indexing is that it takes away all the mental overhead/hassle of naming things. Whenever I can't think of a good identifier, I just name it "de Bruijn"
Replies (2)
-
@trystimuli@loðfíll.is 2024-01-21 23:19
@sliminality@types.pl I have been called out. My toy programming language both allowed spaces in binder names and defaulted to de Bruijn indexing if you omitted names (or peeked through veil of the UI)…
-
@at@mathstodon.xyz 2024-01-22 12:43
@sliminality@types.pl nicolaas _ 0 = (1,0) nicolaas govert debruijn = (debruyn, prof−dick*debruyn) where (dick,phd) = govert `divMod` debruijn (prof,debruyn) = nicolaas debruijn phd