Content deleted Content added
Sam Pointon (talk | contribs) Capitalisation, some phrase juggling & word fiddling. |
Sam Pointon (talk | contribs) m →Mathematical purity: Missed one |
||
Line 36:
One of the most appealing aspects of Joy is this: the [[meaning]] function is a [[homomorphism]] from the [[syntax|syntactic]] [[monoid]] onto the [[semantics|semantic]] [[monoid]]. That is, the syntactic relation of [[concatenation]] of [[symbol|symbols]] maps directly onto the semantic relation of [[Function composition|composition]] of [[function (mathematics)|functions]]. It is a [[homomorphism]] instead of an [[isomorphism]] because it is [[onto]] but not [[one-to-one]], that is, some sequences of symbols have the same meaning (e.g. "dup +" and "2 *") but no symbol has more than one meaning.
Joy manages to be practical and potentially useful, unlike the otherwise similar [[
== External link ==
| |||