Re: What databases have taught me
From: Bob Badour <bbadour_at_pei.sympatico.ca>
Date: Sat, 24 Jun 2006 02:20:42 GMT
Message-ID: <_j1ng.1367$pu3.36731_at_ursa-nb00s0.nbnet.nb.ca>
>
> You know, strangely, the depth and importance of that
> statement (and that fact) didn't truly hit me, even though
> you have posted it before, until reading it just now.
>
>
> Yes that was an interesting example and thank you again for
> it. It was also when you taught me the phrase "expression
> bias" which is helpful. I recall your code was essentially
> Tutorial D. If one wanted to execute that code or deliver a
> stand-alone app that executed it, what options would you
> recommend?
Date: Sat, 24 Jun 2006 02:20:42 GMT
Message-ID: <_j1ng.1367$pu3.36731_at_ursa-nb00s0.nbnet.nb.ca>
Keith H Duggar wrote:
> Bob Badour wrote :
>
>>Arguably, [OO] is the right tool for constructing large >>unpredictable state machines out of small predictable >>state machines, which is the task for which it was >>originally invented.
>
> You know, strangely, the depth and importance of that
> statement (and that fact) didn't truly hit me, even though
> you have posted it before, until reading it just now.
>
>>However, even for expressing simulations, I have found the >>relational model and predicate calculus even more >>effective than OO. >> >>For instance, I recently posted in c.d.t the bulk of a >>relational solution for simulating simple digital >>circuits. I have previously created a similar simulation >>using OO and the relational solution is smaller, clearer >>and more elegant.
>
> Yes that was an interesting example and thank you again for
> it. It was also when you taught me the phrase "expression
> bias" which is helpful. I recall your code was essentially
> Tutorial D. If one wanted to execute that code or deliver a
> stand-alone app that executed it, what options would you
> recommend?
I don't know any of the purported implementations of Tutorial D well enough to recommend any of them. To implement that example, one would need a Tutorial D that supports subtypes and/or union types -- unless one wanted to do anything as 'useless' as simulate a circuit of all NAND gates or all NOR gates. ;)
Does Alphora still support subtypes? I thought I read somewhere they abandoned some part of their type system.
Does Rel? I don't know. Received on Sat Jun 24 2006 - 04:20:42 CEST