From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: My first compiler bug: work around or redesign?
Date: Tue, 27 Mar 2012 09:30:17 +0200
Date: 2012-03-27T09:30:17+02:00 [thread overview]
Message-ID: <9tmdku5vxrm3$.76oq0059bes0$.dlg@40tude.net> (raw)
In-Reply-To: 4f70e3e5$0$6566$9b4e6d93@newsspool4.arcor-online.net
On Mon, 26 Mar 2012 23:47:17 +0200, Georg Bauhaus wrote:
> Looks quite right to me to say "not null" when a parameter shouldn't
> be null.
Yes.
From usability point of view it is better to use an anonymous type for a
procedures meant to be a downward closure. This is the most close
approximation to passing a procedure as a parameter (missing in Ada).
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
prev parent reply other threads:[~2012-03-27 7:30 UTC|newest]
Thread overview: 26+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-03-23 16:29 My first compiler bug: work around or redesign? Natasha Kerensikova
2012-03-23 17:51 ` Ludovic Brenta
2012-03-23 21:20 ` Natasha Kerensikova
2012-03-23 17:56 ` Jeffrey Carter
2012-03-23 18:22 ` Jeffrey Carter
2012-03-23 21:23 ` Natasha Kerensikova
2012-03-23 22:54 ` Jeffrey Carter
2012-03-23 18:29 ` Simon Wright
2012-03-23 18:37 ` Dmitry A. Kazakov
2012-03-23 18:48 ` Robert A Duff
2012-03-23 21:40 ` Natasha Kerensikova
2012-03-24 0:04 ` Georg Bauhaus
2012-03-24 9:50 ` Natasha Kerensikova
2012-03-23 21:34 ` Natasha Kerensikova
2012-03-23 19:04 ` Jeffrey Carter
2012-03-26 18:15 ` Natasha Kerensikova
2012-03-26 18:43 ` Simon Wright
2012-03-26 18:55 ` Ludovic Brenta
2012-03-28 15:30 ` Natasha Kerensikova
2012-03-29 8:25 ` Ludovic Brenta
2012-03-30 23:42 ` onox
2012-04-02 20:51 ` Ludovic Brenta
2012-04-03 2:50 ` onox
2012-03-26 21:47 ` Georg Bauhaus
2012-03-27 5:34 ` Per Sandberg
2012-03-27 7:30 ` Dmitry A. Kazakov [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox