From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: gnoga build fails on Mac
Date: Fri, 3 Jul 2020 11:09:49 +0200 [thread overview]
Message-ID: <rdmsku$qc8$1@dont-email.me> (raw)
In-Reply-To: <rdltqb$v59$1@franka.jacob-sparre.dk>
On 7/3/20 2:23 AM, Randy Brukardt wrote:
> A body is always freezing; an expression function is freezing if it is a
> completion. So that would suggest that this particular case should be legal.
Thanks. So now all 3 of us who have looked at this code agree on that.
> About the only time it makes sense to declare a type
> in a procedure like this is to write simple test/example programs - which
> necessarily makes those tests/examples less realistic than they should be.
Or when, as here, the functionality is provided by a generic, and one only needs
a simple main-program procedure to instantiate it.
> If I was designing a simpler Ada-like language, I'd completely ban
> declaring types outside of packages, so that the rules for primitive
> operations and overriding would be the same for all types. (I'd also ban
> declaring packages that aren't at library level, which would get rid of the
> majority of accessibility checking and similar nonsense.) The only time
> anyone would miss it would be when writing simple test programs. Not a huge
> loss.
An interesting idea, and certainly a simplification. I would like to see more
about your language design.
I have been thinking recently about what it would be like to have something like
package types, to extend the package-as-object concept to things that can be
declared and passed. My simplifications would be to eliminate type extension and
accessibility checking and similar nonsense.
--
Jeff Carter
"I'm a kike, a yid, a heebie, a hook nose! I'm Kosher,
Mum! I'm a Red Sea pedestrian, and proud of it!"
Monty Python's Life of Brian
77
next prev parent reply other threads:[~2020-07-03 9:09 UTC|newest]
Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-06-21 7:57 gnoga build fails on Mac Roger
2020-06-21 8:41 ` Dmitry A. Kazakov
2020-06-21 11:18 ` Roger
2020-06-21 13:28 ` Dmitry A. Kazakov
2020-06-22 3:15 ` Roger
2020-06-22 5:56 ` Dmitry A. Kazakov
2020-06-22 6:14 ` Roger
2020-06-22 11:37 ` Jeffrey R. Carter
2020-06-22 23:25 ` Roger
2020-06-23 11:27 ` Jeffrey R. Carter
2020-06-29 0:55 ` Randy Brukardt
2020-06-29 8:29 ` Jeffrey R. Carter
2020-07-01 1:09 ` Randy Brukardt
2020-07-01 8:52 ` Jeffrey R. Carter
2020-07-03 0:23 ` Randy Brukardt
2020-07-03 9:09 ` Jeffrey R. Carter [this message]
2020-07-07 14:41 ` Shark8
2020-07-07 15:37 ` Jeffrey R. Carter
2020-06-21 14:24 ` Jeffrey R. Carter
2020-06-21 16:46 ` 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