From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
Subject: Re: Some exciting new trends in concurrency and software design
Date: Fri, 24 Jun 2011 12:41:55 +0200
Date: 2011-06-24T12:41:56+02:00 [thread overview]
Message-ID: <4e0469f4$0$6582$9b4e6d93@newsspool3.arcor-online.net> (raw)
In-Reply-To: <1fb2bb30-a267-4e19-b4c6-08c35d74484a@u7g2000yqc.googlegroups.com>
On 6/24/11 3:26 AM, Phil Clayton wrote:
> Arbitrary magnitude integers are supported in at least SML, OCaml and
> Haskell.
They are supported, yes, my point was, however, that special
effort is required: if a program uses "plain" ATS/O'Caml integers,
it will easily run into erroneous execution. I am assuming that
this was neither the programmer's intent, nor was it the intent
of language designers who add a proof system to their language.
It seems, then, that the designers have ignored this aspect
of C int, which they have used.
It doesn't seem right to let C int be the default for such
a language.
next prev parent reply other threads:[~2011-06-24 10:41 UTC|newest]
Thread overview: 29+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-06-20 10:49 Some exciting new trends in concurrency and software design jonathan
2011-06-20 14:40 ` Georg Bauhaus
2011-06-20 14:48 ` Georg Bauhaus
2011-06-20 23:56 ` jonathan
2011-06-21 9:36 ` steveh44
2011-06-21 13:04 ` Phil Clayton
2011-06-22 0:37 ` Shark8
2011-06-22 9:45 ` anon
2011-06-29 21:39 ` Robert A Duff
2011-06-30 16:52 ` anon
2011-07-01 18:31 ` Shark8
2011-06-23 9:59 ` Yannick Duchêne (Hibou57)
2011-06-23 10:25 ` Dmitry A. Kazakov
2011-06-23 10:57 ` Yannick Duchêne (Hibou57)
2011-06-23 12:20 ` Dmitry A. Kazakov
2011-06-23 22:17 ` Georg Bauhaus
2011-06-24 1:26 ` Phil Clayton
2011-06-24 1:34 ` Yannick Duchêne (Hibou57)
2011-06-24 10:41 ` Georg Bauhaus [this message]
2011-06-24 1:27 ` Yannick Duchêne (Hibou57)
2011-06-24 10:32 ` Georg Bauhaus
2011-06-24 13:45 ` Yannick Duchêne (Hibou57)
2011-06-21 12:19 ` Dmitry A. Kazakov
2011-06-21 12:14 ` Phil Clayton
2011-06-22 8:39 ` Oliver Kleinke
2011-06-23 2:48 ` Nasser M. Abbasi
2011-06-23 9:23 ` Yannick Duchêne (Hibou57)
2011-06-23 10:03 ` Nasser M. Abbasi
2011-06-23 11:07 ` Yannick Duchêne (Hibou57)
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox