From: Stephen Compall <s11@member.fsf.org>
Subject: Re: Introduction of fractions exposes uniform vector prototype bug
Date: 20 Dec 2003 11:52:40 -0600 [thread overview]
Message-ID: <xfypteje5qv.fsf@csserver.evansville.edu> (raw)
In-Reply-To: <20031220161208.GA14431@www>
tomas@fabula.de 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:
Intimidation
Gesticulation (handwaving)
"Try it; it works"
Constipation (I was just sitting there and ...)
Blatant assertion
Changing all the 2's to _\bn'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
_______________________________________________
Guile-devel mailing list
Guile-devel@gnu.org
http://mail.gnu.org/mailman/listinfo/guile-devel
next prev parent reply other threads:[~2003-12-20 17:52 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-11-25 23:02 Introduction of fractions exposes uniform vector prototype bug Mikael Djurfeldt
2003-12-19 21:38 ` Kevin Ryde
2003-12-20 16:12 ` tomas
2003-12-20 17:52 ` Stephen Compall [this message]
2003-12-21 0:42 ` Kevin Ryde
2004-01-10 22:19 ` Marius Vollmer
2004-01-10 23:02 ` Kevin Ryde
2004-02-10 0:05 ` Kevin Ryde
2004-02-10 23:30 ` Rob Browning
2004-02-12 0:26 ` Kevin Ryde
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://www.gnu.org/software/guile/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=xfypteje5qv.fsf@csserver.evansville.edu \
--to=s11@member.fsf.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).