Languages Features Creators CSV Resources Challenges Add Language
GitHub icon

Binary Lambda Calculus

Binary Lambda Calculus - Esoteric programming language

< >

Binary Lambda Calculus is an esoteric programming language created in 2004 by John Tromp.

#1860on PLDB 19Years Old 0Books

Try now: Riju

Binary lambda calculus (BLC) is a minimal, pure functional programming language invented by John Tromp in 2004,[1] based on a binary encoding of the untyped lambda calculus in De Bruijn index notation.

Example from Riju:
001010100100100001100101011011000110110001101111001011000010 000001110111011011110111001001101100011001000010000100001010
Example from hello-world:
Hello World
blox.html 路 blc.html 路 myrddin.html

View source

- Build the next great programming language Search Day 215 About Blog Acknowledgements Traffic Traffic Today GitHub