[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Introduction of fractions exposes uniform vector prototype bug

From: Stephen Compall
Subject: Re: Introduction of fractions exposes uniform vector prototype bug
Date: 20 Dec 2003 11:52:40 -0600
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2

address@hidden writes:

> Hmmm. You have a point there...
> But sometime you'll have to tell them that Santa ain't really ;-/
> (it's quite a surprising thing to carry forever: 1/3 behaves here
> as an inexact, whereas 1/6 doesn't).
> I'd propose making it a deprecated feature, to let it fade off
> slowly. Opinions?

It *is* a little too idiosyncratic for a good clean language.

> Someone (was it Mikael?) expressed dislike for this prototype
> business. I too think it sticks out a bit. Maybe real names
> for number classes would be better.

I have three proposals:

1. Type names as symbols, based on the type predicates minus '?'
2. The type predicates (subrs, not symbols) themselves.
3. GOOPS classes (I know all the basic types have them, don't try to
   hide it :)

Stephen Compall or s11 or sirian

Proof techniques #2: Proof by Oddity.
        SAMPLE: To prove that horses have an infinite number of legs.
(1) Horses have an even number of legs.
(2) They have two legs in back and fore legs in front.
(3) This makes a total of six legs, which certainly is an odd number of
    legs for a horse.
(4) But the only number that is both odd and even is infinity. 
(5) Therefore, horses must have an infinite number of legs.

Topics is be covered in future issues include proof by:
        Gesticulation (handwaving)
        "Try it; it works"
        Constipation (I was just sitting there and ...)
        Blatant assertion
        Changing all the 2's to _n's
        Mutual consent
        Lack of a counterexample, and
        "It stands to reason"

AK-47 FTS2000 Leuken-Baden Serbian BRLO JFK hackers $400 million in
gold bullion bemd illuminati pink noise Becker Honduras MIT-LL ASO

reply via email to

[Prev in Thread] Current Thread [Next in Thread]