Re:Exotic Programming Ideas
by lifthrasiir on Saturday December 05, 2020 @03:38PM
(#25318093)
While 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.
I like John Tromp's Binary Lambda Calculus and Binary Combinatory Logic[2]
[1] https://esolangs.org/wiki/Language_list [2] https://tromp.github.io/cl/cl.html