Start with "To Mock a Mockingbird." One way to think about languages like Factor and Joy is that they are direct representations of Combinatorial Logic, just as

Start with "To Mock a Mockingbird." One way to think about languages like Factor and Joy is that they are direct representations of Combinatorial Logic, just as Lisp and it's descendants are representations of the Lambda Calculus: https://github.com/raganwald/homoiconic/blob/master/2008-11-16/joy.md https://github.com/raganwald/homoiconic/blob/master/2008-11-...