Re: The wisdom of the object mentors (Was: Searching OO Associations with RDBMS Persistence Models)
Date: 1 Jun 2006 19:01:10 -0700
Message-ID: <1149213670.766073.296190_at_j55g2000cwa.googlegroups.com>
[...]
>The third problem is that
> you need "=" for all things as well as literals for all things. It is a can
> of worms.
> Especially function literals aren't easy. What is a literal of
> sine?
You tell us 'what is a literal of sine'. There is no such creature in math.
> Even if they model uncountable sets?
Interesting to know how would you go about 'model[ing] uncountable sets' in your OO tool of choice.
>. In general, when you want to enforce some
> semantics on the resulting function.
> >> Because in this particular case function is a value and values are outside
> >> the language scope.
> Right. The problem is that mathematical constructs modeled in a
> computational framework might be too large for any finite state machine. So
> an uncountable set of real numbers is replaced by a finite set of
> intervals.
>That's the gibberish in which I am talking. We can't have all
> the table of real-valued functions.
> The size of this table is aleph-2!
It is not.
> Where you find a hard disk of this size? Fortunately, from all this table,
> today, I need only sine. So I say let sine be denoted as 0x2.
You are not making much sense here.
>
> Nevertheless, nothing prevents us to formalize these bastards and use
> mathematical rigour to handle them.
What 'bastards' do you intend to formalize ? Could you, like,
demonstrate ?
Disagree?
>
> --
> Regards,
> Dmitry A. Kazakov
> http://www.dmitry-kazakov.de
Received on Fri Jun 02 2006 - 04:01:10 CEST