Great to see an article related to Joy!<p>If you do not know Joy and want to check it out, you will notice that the link in this page is broken. A mirror is available here: <a href="http://www.kevinalbrecht.com/code/joy-mirror/index.html" rel="nofollow">http://www.kevinalbrecht.com/code/joy-mirror/index.html</a>
Thank you for sharing this. I found it a surprisingly good introduction to combinators in general. Reading it also set off a lot of resonances in my brain with formal, Hilbert-style logic systems and attempting to find minimal collections of axioms.<p>Was recently blown away to find out that propositional logic can be whittled down to just modus ponens and the single axiom:<p><pre><code> ((((p -> q) -> (~r -> ~s)) -> r) -> t) -> ((t -> p) -> (s -> p))
</code></pre>
Anyway, I've been wanting to check out concatenative programming for a while now, anyway. This website [0] is a pretty darn good resource for anyone similarly interested.<p>I would love to combine the above with my interest in rich type systems. Anyone aware of anything that, in spirit, marries Haskell and Factor?<p>[0]:<a href="http://concatenative.org/" rel="nofollow">http://concatenative.org/</a>