From: "Steve Simon" <steve@quintile.net>
To: 9fans@cse.psu.edu
Subject: Re: [9fans] new compilers
Date: Fri, 31 Mar 2006 02:15:57 +0100 [thread overview]
Message-ID: <462af5897372db894edcd5757726460e@quintile.net> (raw)
In-Reply-To: <20060330204632.GI17479@submarine>
> Has anybody ever thought about extending the usual file-based interfaces
> with a typechecking ?
It did occur to me one could have:
echo 10 oranges > /dev/apple-count
echo: write failed: inapropriate fruit
More seriously one of our researchers once asked me why computer
langages don't allow people to associate variables and constants
with SI units, allowing True type checking; I never managed to
come up with a good answer.
-Steve
next prev parent reply other threads:[~2006-03-31 1:15 UTC|newest]
Thread overview: 125+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-03-25 13:56 Russ Cox
2006-03-25 19:48 ` David Leimbach
2006-03-25 19:53 ` Burton Samograd
2006-03-25 19:59 ` David Leimbach
2006-03-25 20:02 ` Charles Forsyth
2006-03-25 21:25 ` Brantley Coile
2006-03-25 21:28 ` quanstro
2006-03-25 21:33 ` Brantley Coile
2006-03-25 22:42 ` quanstro
2006-03-25 22:46 ` quanstro
2006-03-26 1:46 ` jmk
2006-03-26 2:52 ` quanstro
2006-03-26 8:14 ` Lyndon Nerenberg
2006-03-26 8:41 ` Lyndon Nerenberg
2006-03-26 17:06 ` Bruce Ellis
2006-03-26 17:00 ` David Leimbach
2006-03-27 17:31 ` rog
2006-03-27 19:01 ` Charles Forsyth
2006-03-27 19:15 ` Paul Lalonde
2006-03-27 19:21 ` Bruce Ellis
2006-03-30 17:41 ` rog
2006-03-30 17:44 ` Charles Forsyth
2006-03-30 18:24 ` Skip Tavakkolian
2006-03-30 17:51 ` Christoph Lohmann
2006-03-30 17:54 ` Sape Mullender
2006-03-30 18:30 ` Skip Tavakkolian
2006-03-30 18:43 ` Gabriel Diaz
2006-03-30 18:48 ` Skip Tavakkolian
2006-03-30 18:51 ` Gabriel Diaz
2006-03-30 18:51 ` Charles Forsyth
2006-03-30 21:00 ` Bakul Shah
2006-03-30 23:16 ` Skip Tavakkolian
2006-03-30 23:23 ` Skip Tavakkolian
2006-03-31 6:16 ` uriel
2006-03-31 7:56 ` Bruce Ellis
2006-03-31 9:04 ` Skip Tavakkolian
2006-03-30 23:32 ` Adrian Tritschler
2006-03-30 17:57 ` rog
2006-03-30 18:27 ` rog
2006-03-30 20:46 ` Roman Shaposhnick
2006-03-31 1:15 ` Steve Simon [this message]
2006-03-31 1:24 ` Russ Cox
2006-03-31 2:00 ` Joel Salomon
2006-03-31 2:26 ` Martin C. Atkins
2006-03-31 8:46 ` Charles Forsyth
2006-03-31 8:49 ` Bruce Ellis
2006-03-31 21:40 ` Taj Khattra
2006-03-31 4:24 ` Jack Johnson
2006-03-31 4:33 ` veritosproject
2006-03-30 17:58 ` Charles Forsyth
2006-03-30 18:03 ` jmk
2006-03-30 18:13 ` Brantley Coile
2006-03-30 18:57 ` Burton Samograd
2006-03-30 19:15 ` David Leimbach
2006-03-30 19:22 ` Charles Forsyth
2006-03-30 19:29 ` Rob Pike
2006-03-30 19:58 ` David Leimbach
2006-03-28 0:30 erik quanstrom
2006-03-28 0:40 erik quanstrom
2006-03-28 17:52 ` Lyndon Nerenberg
2006-03-28 18:15 ` Bakul Shah
2006-03-28 18:29 ` Sape Mullender
2006-03-28 18:52 ` LiteStar numnums
2006-03-28 19:15 ` Victor Nazarov
2006-03-29 16:33 ` Burton Samograd
2006-03-29 21:17 ` Francisco J Ballesteros
2006-03-29 21:44 ` Wes Kussmaul
2006-04-02 18:17 ` Aharon Robbins
2006-04-02 18:33 ` Bruce Ellis
2006-04-02 19:47 ` lucio
2006-04-02 20:12 ` Skip Tavakkolian
2006-04-02 20:16 ` LiteStar numnums
2006-04-03 4:35 ` lucio
2006-04-03 5:38 ` George Michaelson
2006-04-03 6:45 ` Lyndon Nerenberg
2006-04-03 5:38 ` LiteStar numnums
2006-04-03 8:31 ` Lyndon Nerenberg
2006-04-03 9:36 ` uriel
2006-04-03 12:50 ` Martin C. Atkins
2006-04-03 9:39 ` lucio
2006-04-03 13:46 ` Brantley Coile
2006-04-03 14:30 ` David Leimbach
2006-04-03 16:02 ` Bruce Ellis
2006-04-03 20:41 ` Jack Johnson
2006-04-03 21:02 ` uriel
2006-04-03 21:32 ` Ronald G Minnich
2006-04-03 23:42 ` Bruce Ellis
2006-04-04 0:29 ` Anthony Sorace
2006-04-04 5:02 ` Bruce Ellis
2006-04-04 3:15 ` Jack Johnson
2006-04-04 3:28 ` Jack Johnson
2006-04-04 6:31 ` David Leimbach
2006-04-04 4:21 ` lucio
2006-04-05 1:00 ` Brantley Coile
2006-04-05 4:35 ` Bruce Ellis
2006-04-04 12:31 ` rog
2006-04-03 3:17 ` plan9
2006-04-03 4:17 ` lucio
2006-03-29 1:18 erik quanstrom
2006-03-30 20:14 Steve Simon
2006-03-31 9:17 Fco. J. Ballesteros
2006-03-31 9:40 ` Skip Tavakkolian
2006-03-31 9:42 ` Skip Tavakkolian
2006-03-31 9:43 ` Charles Forsyth
2006-03-31 9:46 ` Charles Forsyth
2006-03-31 9:48 ` Skip Tavakkolian
2006-03-31 9:56 ` Skip Tavakkolian
2006-03-31 10:01 ` Bruce Ellis
2006-03-31 10:03 ` Charles Forsyth
2006-03-31 10:08 ` Skip Tavakkolian
2006-03-31 14:58 ` David Leimbach
2006-03-31 15:01 ` Bruce Ellis
2006-03-31 22:02 ` Taj Khattra
2006-04-03 16:21 ` Ronald G Minnich
2006-04-03 17:17 ` Paul Lalonde
2006-04-03 19:01 ` Artem Letko
2006-04-03 19:22 ` Paul Lalonde
2006-03-31 12:31 Fco. J. Ballesteros
2006-03-31 12:53 ` Charles Forsyth
2006-03-31 13:23 ` Charles Forsyth
2006-03-31 14:42 ` Bruce Ellis
2006-03-31 13:27 erik quanstrom
2006-03-31 14:47 ` Bruce Ellis
2006-03-31 14:42 erik quanstrom
2006-04-03 22:54 erik quanstrom
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
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=462af5897372db894edcd5757726460e@quintile.net \
--to=steve@quintile.net \
--cc=9fans@cse.psu.edu \
/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 NNTP newsgroup(s).