Interview with David Madore - esoteric.codes
▻https://esoteric.codes/blog/david-madore
David Madore is responsible for one of the best-known and most-confounding esolangs of all time: Unlambda. The language is based on the SKI combinator calculus, a super-minimalist computational system used in the mathematical analysis of algorithms, but considered impractical for coding. In Unlambda everything is a function that takes a single variable, so there are no indicators like ()s to take parameters. Like the SKI calculus, it entirely eschews variables and the lambda indicator, and so is described as lambda-without-the-lambda.
Trois axiomes et hop, un langage turing-complet !
#esolangs #programmation_fonctionnelle #programmation #turing #turing-complétude