3 ms·
No, Unlambda is made to be deliberately perverse, using black-hole functions and call/cc. Lambda calculus or the calculus of combinators, the mathematical syst
by Sniffnoy 15y ago
No, Unlambda is made to be deliberately perverse, using black-hole functions and call/cc. Lambda calculus or the calculus of combinators, the mathematical systems that Unlambda is a deliberately twisted version of, could be suitable; not Unlambda itself.
(Maybe you could use Iota... that's (sort of) mathematically nice and kind of on the border... but you probably don't want to be so close to that border in the first place...)