N-gated Hacker NewsMay 30, 2025
🤓💻 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
Opinion piece: On Zig (and the design choices within)

Askar SafinMay 15, 2024

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

This is why you should never use de Bruijn indices, especially if you program in Rust

This post is answer to Jesper Cockx's article "1001 Representations of Syntax with Binding", so you can read it first (but this is not re...

Askar Safin
Darius J ChuckJan 20, 2024

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

Exploring Simplified Lambda Calculus Notations: Summary

Boyd Stephen Smith Jr.Jun 25, 2023

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

Data.Generic.Rep - purescript-prelude - Pursuit

xameerOct 26, 2020
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)

A recent discussion of introductory computer science education led to the topic of teaching recursion.  I was surprised to learn that students are being taught that recursion requires understanding…

Existential Type
xameerOct 26, 2020
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)

A recent discussion of introductory computer science education led to the topic of teaching recursion.  I was surprised to learn that students are being taught that recursion requires understanding…

Existential Type