On Thu, 15 Dec 2005, Luke Palmer wrote:
On 12/15/05, Darren Duncan <[EMAIL PROTECTED]> wrote:
I propose, perhaps redundantly, that Perl 6 include a complete set of
native
Okay, I'm with you here. Just please stop saying "native" and "core".
Everyone.
Here, here.
I would like to hear from
Rob Kinyon <[EMAIL PROTECTED]> writes:
> On 12/16/05, Ovid <[EMAIL PROTECTED]> wrote:
>> Minor nit: we're discussing to the relational algebra and not the
>> relational Calculus (unless the topic changed and I wasn't paying
>> attention. I wouldn't be surprised :)
>
> Algebra, in general, is a s
On 12/16/05, Ovid <[EMAIL PROTECTED]> wrote:
> Minor nit: we're discussing to the relational algebra and not the
> relational Calculus (unless the topic changed and I wasn't paying
> attention. I wouldn't be surprised :)
Algebra, in general, is a specific form of calculus. So, we're
speaking of
I agree with just about everything you wrote. I only have two minor
quibbles and they may merely be restatements of what you meant.
--- Rob Kinyon <[EMAIL PROTECTED]> wrote:
> Overriding the operators in a generic way so that you have
> to have an exact type match before you compare values also,
On 12/16/05, Ovid <[EMAIL PROTECTED]> wrote:
> --- Rob Kinyon <[EMAIL PROTECTED]> wrote:
>
> > As for the syntactic sugar, I'm not quite sure what should be
> > done here. And, with macros, it's not clear that there needs
> > to be an authoritative answer. Personally, I'd simply overload
> > + for
--- Rob Kinyon <[EMAIL PROTECTED]> wrote:
> As for the syntactic sugar, I'm not quite sure what should be
> done here. And, with macros, it's not clear that there needs
> to be an authoritative answer. Personally, I'd simply overload
> + for union, - for difference, * for cross-product, / for
> d
Ruud H.G. van Tol schreef:
> [RD-interface]
See also these Haskell Hierarchical Libraries (base package)
http://www.haskell.org/ghc/docs/latest/html/libraries/base/Data-Set.html
http://www.haskell.org/ghc/docs/latest/html/libraries/base/Data-Map.html
--
Affijn, Ruud
"Gewoon is een tijger."
[snip entire conversation so far]
(Please bear with me - I'm going to go in random directions.)
Someone please correct me if I'm wrong, but it seems that there's only
a few things missing in P6:
1) An elegant way of creating a tuple-type (the "table", so to speak)
2) A way of providing co
Darren Duncan wrote:
As an addendum to what I said before ...
...
I would want the set operations for tuples to be like that, but the
example code that Luke and I expressed already, with maps and greps etc,
seems to smack too much of telling Perl how to do the job.
I don't want to have to us
Darren Duncan schreef:
> If you take ...
>
> +-+-+
> |a|x|
> |a|y|
> |a|z|
> |b|x|
> |c|y|
> +-+-+
>
> ... and divide it by ...
>
> +-+
> |x|
> |z|
> +-+
>
> ... the result is ...
>
> +-+
> |a|
> +-+
>
> I'm not sure if Divide has an equivalent in SQL.
A verbose way t
On Dec 15, 2005, at 2:19, Darren Duncan wrote:
* a Tuple is an associative array having one or more Attributes,
and each Attribute has a name or ordinal position and it is typed
according to a Domain;
this is like a restricted Hash in a way, where each key has a
specific type
* a Relati
As an addendum to what I said before ...
The general kind of thing I am proposing for Perl 6 to have is a
declarative syntax for more kinds of tasks, where you can simply
specify *what* you want to happen, and you don't have to tell Perl
how to perform that task.
An example of declaratives t
At 2:54 AM + 12/15/05, Luke Palmer wrote:
On 12/15/05, Darren Duncan <[EMAIL PROTECTED]> wrote:
I propose, perhaps redundantly, that Perl 6 include a complete set of
native
Okay, I'm with you here. Just please stop saying "native" and "core".
Everyone.
Yes, of course. What I meant w
On 12/15/05, Darren Duncan <[EMAIL PROTECTED]> wrote:
> I propose, perhaps redundantly, that Perl 6 include a complete set of
> native
Okay, I'm with you here. Just please stop saying "native" and "core".
Everyone.
Remember, syntax in Perl 6 can be stuffed in a library like anything
else. You
14 matches
Mail list logo
