From: Victor Porton <porton@narod.ru>
Subject: Re: Lazy evaluation
Date: Tue, 23 Sep 2014 15:01:29 +0300
Date: 2014-09-23T15:01:29+03:00 [thread overview]
Message-ID: <lvrnen$joh$1@speranza.aioe.org> (raw)
In-Reply-To: 11up8h3pwcwf$.1tmy4g7sb6csv$.dlg@40tude.net
Dmitry A. Kazakov wrote:
> Consider the problem of evaluation order:
>
> X : String := String'Input (File) & String'Input (File); -- Ill
> defined!
I don't understand why it's ill defined. Please explain.
> Now, let "&" be lazy in the right argument:
>
> function "&" (Left : String; Right : lazy String) return String;
>
> In my opinion, it is not laziness which causes problems, but more the
> closures. If closures were limited in some reasonable (from Ada's POV)
> way, then laziness would be not an issue.
--
Victor Porton - http://portonvictor.org
next prev parent reply other threads:[~2014-09-23 12:01 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-09-18 19:15 Lazy evaluation Victor Porton
2014-09-19 13:51 ` Peter Chapin
2014-09-19 14:47 ` Dmitry A. Kazakov
2014-09-23 12:01 ` Victor Porton [this message]
2014-09-23 19:12 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox