MOX

[Francois-Rene Rideau]

> A convincing argument that triples are important: both Brian's arrow
> (ID, head, tail) and in Lisp cons cells (ID, car, cdr) are triples.  The
> "ID" encapsulates the ability to reference (or point to) the arrow or
> cons cell respectively.
However, CONS-as-triples, as opposed to triple-knowledge-bases such as
used expert systems like SNARK and its successors, verify an additional
invariant that an ID can be used but once in head position.

All in all, important questions are "what information do you want to encode?"
(the inductive types approach), and dually "what are the operations to be
performed on this information?" (coinductive types). Continuation-based
techniques allow to go from one to the other in higher-order languages.

[ François-René ÐVB Rideau | Reflection&Cybernethics | http://fare.tunes.org ]
[  TUNES project for a Free Reflective Computing System  | http://tunes.org  ]
First Person: "Why are you snapping your fingers?"
Second Person: "To keep the tigers away."
First Person: "But, there are no tigers in this area!"
Second Person: "You see: it's working."