Why does 'The Reasoned Schemer' add an 'o' to the end of its functions?

Question

In the reasoned schemer, they name standard lisp functions with an 'o' on the end, eg conso and appendo.

My question is: Why does 'The Reasoned Schemer' add an 'o' to the end of its functions?

Because they are not the same thing. How would you use `cons` and `conso` in the same scope? This is just the 'scheme' the authors of kanren decided on. — leppie, Jun 25 '15 at 10:58
They are not the standard Lisp functions, and superscripting isn't widely supported. — molbdnilo, Jun 25 '15 at 15:21

score 3 · Accepted Answer · answered Jul 05 '15 at 13:11

3

From page 2 of http://www.cs.indiana.edu/~eholk/papers/sfp2012.pdf:

It is conventional in Scheme for the names of predicates to
end with the ‘?’ character. We have therefore chosen to end the
names of miniKanren goals with a superscript o, which is meant
to resemble the top of a ?. The superscript e in conde
stands for
‘every,’ since every conde clause may contribute answers.

answered Jul 05 '15 at 13:11

soegaard

28,660
4
50
97

1

Also note that adding the o makes the names pronounceable. – soegaard Jul 06 '15 at 11:53

Why does 'The Reasoned Schemer' add an 'o' to the end of its functions?

1 Answers1