🤓💻 Oh goody, another article assuming we all have Ph.D.s in Lambda Calculus! 🙄 De Bruijn might be useful, but unless you're a sentient textbook, this read is a snooze. 💤✨
https://blueberrywren.dev/blog/debruijn-explanation/ #LambdaCalculus #SnoozeFest #SentientTextbook #DeBruijn #TechHumor #ProgrammerLife #HackerNews #ngated

My article: This is why you should never use de Bruijn indices, especially if you program in Rust. https://safinaskar.writeas.com/this-is-why-you-should-never-use-de-bruijn-indices-especially-if-you-program

#rust #haskell #agda #plt #lambda #bruijn #debruijn #compilers #ast #hoas

Exploring Simplified Lambda Calculus Notations

https://jevko.github.io/writing/2023-07-20-lambda.html

[N.G. de Bruijn 1972] introduced a way to eliminate names from the syntax of lambda calculus, making it much simpler and “easy to handle in metalingual discussion”.

[J. Tromp 2023] incorporated and expanded upon this idea in his Binary Lambda Calculus (BLC) syntax.

#Exploring #Simplified #Lambda #Calculus #LambdaCalculus #Notations #Summary #deBruijn #syntax #Tromp #Binary #BLC

What's the goto for #GenericProgramming in #PureScript ? The prelude module (https://pursuit.purescript.org/packages/purescript-prelude/6.0.1/docs/Data.Generic.Rep) doesn't seem to have any instances, so I'm guessing it is not much used?

Or, am I really expected to patch prelude for my `Generic Unit _` instance?

Just trying to `show` and `Scope` from `Bound` module. #Scope #Bound #deBruijn

It Is What It Is (And Nothing Else) - https://existentialtype.wordpress.com/2016/02/22/it-is-what-it-is-and-nothing-else/
Recursion r doesn't always require reentrancy r'
R' and not r need a stack
Data stack D implements α-equivalence w/ #deBruijn indices (stack slots); args are passed on D using activation records in way by #Dijkstra .

It Is What It Is (And Nothing Else) - https://existentialtype.wordpress.com/2016/02/22/it-is-what-it-is-and-nothing-else/
Recursion r doesn't always require reentrancy r'
R' and not r need a stack
Data stack D implements α-equivalence w/ #deBruijn indices (stack slots); args are passed on D using activation records in way by #Dijkstra .