Mathematical Purity
In Joy, the meaning function is a homomorphism from the syntactic monoid onto the semantic monoid. That is, the syntactic relation of concatenation of symbols maps directly onto the semantic relation of composition of 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.
In other words, "The concatenation of two programs denotes the composition of the functions denoted by the two programs".
Its library routines mirror those of ISO C, though the current implementation is not easily extensible with functions written in C.
Read more about this topic: Joy (programming Language)
Famous quotes containing the words mathematical and/or purity:
“An accurate charting of the American woman’s progress through history might look more like a corkscrew tilted slightly to one side, its loops inching closer to the line of freedom with the passage of time—but like a mathematical curve approaching infinity, never touching its goal. . . . Each time, the spiral turns her back just short of the finish line.”
—Susan Faludi (20th century)
“Mozart has the classic purity of light and the blue ocean; Beethoven the romantic grandeur which belongs to the storms of air and sea, and while the soul of Mozart seems to dwell on the ethereal peaks of Olympus, that of Beethoven climbs shuddering the storm-beaten sides of a Sinai. Blessed be they both! Each represents a moment of the ideal life, each does us good. Our love is due to both.”
—Henri-Frédéric Amiel (1821–1881)