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>