From: Georg Bauhaus <bauhaus@futureapps.invalid>
Subject: Re: Ichbiah's Letter
Date: Tue, 28 Oct 2014 10:45:21 +0100
Date: 2014-10-28T10:45:21+01:00 [thread overview]
Message-ID: <m2nojb$9g7$1@dont-email.me> (raw)
In-Reply-To: <m2mft7$r0h$1@loke.gir.dk>
On 27.10.14 23:10, Randy Brukardt wrote:
> the class type would not have
> helped that at all -- something totally new isn't easy to learn, either.
If this means "fundamental types" vs "class types", hasn't this
distinction been successful in mainstream languages (no matter what
the type theorists say)?
next prev parent reply other threads:[~2014-10-28 9:45 UTC|newest]
Thread overview: 36+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-10-24 18:20 Ichbiah's Letter vincent.diemunsch
2014-10-24 18:47 ` Jeffrey Carter
2014-10-24 19:39 ` David Botton
2014-10-24 20:50 ` David Botton
2014-10-25 8:05 ` vincent.diemunsch
2014-10-25 9:12 ` Mark Carroll
2014-10-25 10:04 ` Dmitry A. Kazakov
2014-10-25 11:25 ` Simon Wright
2014-10-26 5:33 ` Randy Brukardt
2014-10-26 16:28 ` Jacob Sparre Andersen
2014-10-26 17:46 ` Simon Clubley
2014-10-26 22:36 ` Jacob Sparre Andersen
2014-10-27 3:00 ` Shark8
2014-10-26 17:59 ` invalid
2014-10-27 0:35 ` Dennis Lee Bieber
2014-10-27 3:01 ` Shark8
2014-10-27 22:10 ` Randy Brukardt
2014-10-28 9:45 ` Georg Bauhaus [this message]
-- strict thread matches above, loose matches on Subject: below --
1993-04-20 10:10 cis.ohio-state.edu!zaphod.mps.ohio-state.edu!howland.reston.ans.net!torn!
1993-04-16 9:24 pipex!uknet!warwick!zaphod.crihan.fr!univ-lyon1.fr!scsing.switch.ch!sicsu
1993-04-16 7:26 Hu Man
1993-04-15 19:34 David Emery
1993-04-15 18:01 cis.ohio-state.edu!zaphod.mps.ohio-state.edu!howland.reston.ans.net!usene
1993-04-15 17:04 Michael Feldman
1993-04-15 13:08 Wes Groleau X7574
1993-04-15 12:23 Dave Hawk
1993-04-15 3:24 Alex Blakemore
1993-04-14 23:24 usenet.ufl.edu!eng.ufl.edu!spool.mu.edu!sdd.hp.com!cs.utexas.edu!utnut!no
1993-04-14 21:08 news
1993-04-14 21:08 Alex Blakemore
1993-04-14 21:00 Alex Blakemore
1993-04-14 20:17 Michael Feldman
1993-04-14 19:08 Robert I. Eachus
1993-04-14 13:58 enterpoop.mit.edu!spool.mu.edu!howland.reston.ans.net!noc.near.net!inmet!
1993-04-14 13:16 Robert Firth
1993-04-14 0:12 cis.ohio-state.edu!zaphod.mps.ohio-state.edu!usc!news.aero.org!jordan
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox