3 ms·
The esolang wiki[1] has mostly weird languages. I like John Tromp's Binary Lambda Calculus and Binary Combinatory Logic[2] [1] https://esolangs.org/wiki/Langu
by SAI_Peregrinus 6y ago
The esolang wiki[1] has mostly weird languages.
I like John Tromp's Binary Lambda Calculus and Binary Combinatory Logic[2]
[1] https://esolangs.org/wiki/Language_list https://esolangs.org/wiki/Language_list
[2] https://tromp.github.io/cl/cl.html https://tromp.github.io/cl/cl.html
- lifthrasiir 6y agoWhile BLC is neat it is hardly new; it can be seen as a lambda calculus version of Iota and Jot [1]. I think the main selling point of BLC (if it were ever made to sell itself...) is a more considerably concise representation, though unlike Jot but more like Iota, not every bit sequence is a valid BLC program so there might still be a room for improvement. Anyway I consider it as exotic as combinatory logic, that is, not much. [1] https://en.wikipedia.org/wiki/Iota_and_Jot https://en.wikipedia.org/wiki/Iota_and_Jot