[REBOL] Re: Comparing logic! [was Re: WYSIWYG programming]
From: brett:codeconscious at: 29-Oct-2000 14:49
> > 1) If feel that "rigorous", "elegant" and "minimalist" are from
> > the Mathematical space of thinking.
> Speaking as someone with a bit of familiarity with Mathematics (2+
> degrees and 12 years teaching Math and Comp Sci), I agree. I must
> add in passing that most folks find my definition of Mathematics
> very different from what their academic experience has led them
> to believe.
> > Paradoxically, I think these concepts are very subjective.
> If by "subjective" you mean "simply a matter of opinion" then I
> disagree emphatically. If you mean "sufficiently subtle that they
> cannot be defined in a 15-second sound bite" or "unlikely to be
> assessed reliably by someone without significant experience", then
> I wholeheartedly agree.
Sort of. In the mathematical space yes they can be defined without
subjectivity. Outside of that space where the 15-second sound bite and
attention-deficit disorder reign supreme, a space where Rebol needs to
communicate - they are subjective. One aspect of that subjectivity is for
example the Rebol send function. This function seems minimalist to many, yet
those who know how to deconstruct that functionality will not consider it to
be part of a minimalist set of functions. That's the feel I was trying to
get at with the reference to Mathematical space and subjectivity. It depends
on your context.
> Guess what? Sort lets me supply a comparison function to cause the
> ordering to be whatever I want. Let's take advantage of that to
> make a nicer Tally.
> but if I try to say
> >> tally/compare picnic func [a b] [a > b]
> ** Script Error: Cannot use greater? on logic! value.
> ** Where: a > b
> So, I ask you, what sense does it make for REBOL to allow sorting
> of values that it refuses to compare???? Doesn't common sense
> (using either your sense or mine... ;-) lead us to believe that
> sorting is just repeated comparison and shuffling among a bunch
> of data values? Grumble, grumble, grumble...
Ok that is something concrete, obvious and submittable to [feedback--rebol--com]
Ps. Thanks for the other material I snipped from the post.