Re: Operationalize orthogonality

Indeed. Once you can represent integers, you can represent character
codes, so you can represent strings. Defining the arithmetic operators
is left as an exercise for the reader :)

No-one in their right mind would actually use a system like this in
reality of course; but this is the absolute ground zero of relational -
everything else can be defined in terms of relations (and their
operators), booleans (and their operators) and a mechanism for defining
new types and operators based on those. (In much the same way that all
functional languages can be reduced to the lambda calculus, or even
further to the SKI combinators.)

- Tony

.

Relevant Pages

  • Re: What is wrong with Ada?
    ... def: Closure of T ... (P was defined on finite strings of IN. ... Defining it in some reasonable way ... of machines with individual machines parametrized by some number which ...
    (comp.lang.ada)
  • Re: Copying string to byte array
    ... >> VB strings cannot contain arbitrary binary data. ... > BSTR OLE automation data type for strings. ... since you are defining right and wrong. ...
    (microsoft.public.vb.general.discussion)
  • Re: What is wrong with Ada?
    ... def: Closure of T ... (P was defined on finite strings of IN. ... Defining it in some reasonable way ... non-trivial input will necessarily have infinite S. ...
    (comp.lang.ada)
  • Re: puzzling function constructor
    ... It uses the function constructor in a way I have never seen. ... It is defining an anonymous function then immediately calling it. ... strings or integers) and don't have to have names. ...
    (comp.lang.javascript)
  • Re: The difference between 0 and "0"
    ... > tried defining something like this ... > was successful. ... single quotes are used for a char primitive type ... double quotes are used for strings. ...
    (comp.lang.java.help)