From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: I am not understanding user defined exceptions
Date: Wed, 15 Feb 2017 10:32:59 +0100
Date: 2017-02-15T10:32:59+01:00 [thread overview]
Message-ID: <o8178b$pqp$1@gioia.aioe.org> (raw)
In-Reply-To: o7vo2e$k3t$1@franka.jacob-sparre.dk
On 2017-02-14 21:07, Randy Brukardt wrote:
> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
>> What about pure operations? The result of a pure operation with static
>> arguments is static, you don't need to declare anything upfront.
>
> Not really, unless you are going to require the compiler to be able to
> interpret any arbitrary code (local variables, loops, gotos, etc.) whether a
> particular function can be static depends on the body. Thus you have to
> declare on the specification whether it can be used as a static function.
Rather a declaration that the implementation is (must be) pure inside
some context, e.g. within a package or parent subprogram. Static is a
case when it is pure in the most wide context, everywhere.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2017-02-15 9:32 UTC|newest]
Thread overview: 28+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-02-03 20:27 I am not understanding user defined exceptions patrick
2017-02-03 21:08 ` Randy Brukardt
2017-02-03 22:41 ` patrick
2017-02-04 1:26 ` Dennis Lee Bieber
2017-02-04 6:58 ` J-P. Rosen
2017-02-04 17:08 ` Simon Wright
2017-02-08 17:55 ` Georg Bauhaus
2017-02-08 23:37 ` Randy Brukardt
2017-02-09 19:08 ` Robert A Duff
2017-02-09 21:47 ` Randy Brukardt
2017-02-09 22:52 ` Robert A Duff
2017-02-10 9:52 ` Simon Wright
2017-02-10 10:11 ` Dmitry A. Kazakov
2017-02-10 20:56 ` Randy Brukardt
2017-02-10 21:09 ` Randy Brukardt
2017-02-10 22:07 ` Dmitry A. Kazakov
2017-02-13 23:20 ` Randy Brukardt
2017-02-14 8:39 ` Dmitry A. Kazakov
2017-02-14 20:07 ` Randy Brukardt
2017-02-15 9:32 ` Dmitry A. Kazakov [this message]
2017-02-10 23:53 ` Shark8
2017-02-09 0:36 ` Robert A Duff
2017-02-09 7:43 ` Simon Wright
2017-02-09 19:15 ` Robert A Duff
2017-02-09 20:39 ` Randy Brukardt
2017-02-09 21:06 ` Randy Brukardt
2017-02-09 23:08 ` Robert A Duff
2017-02-04 8:41 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox