On Mon, Feb 25, 2019 at 2:53 AM Marc Nieper-Wißkirchen <xxxxxx@nieper-wisskirchen.de> wrote:

> I will be proposing that as an extension to `import` later in the R7RS-large process.

Great to hear.

However, the vote may not pass (it is a non-portable extension).

Would a prefix "env-" be agreeable?

Yes.

Names like "fn", "nl", "fl", "with", "with!", "each" will pose a
problem. They are quite generic (the latter even more), while at the
same time probably used often in formatter code.

I agree about fn, with(!), each; nl and fl seem quite specific to formatting.

I am wondering whether we should discuss an object system for
R7RS-large first so that your proposal can build on the provided
primitives/syntax of the general object system (reifying the concepts
"implementation", "instance", and "concept" from above; comparable to
C++ templates with C++20 concepts).

I think not. Predicate-based type classes are perfectly practicable

without reified types (SRFI 128 comparators are instances of a type class),

just as predicate generic functions are practicable without reified classes. I intend to

propose predicate generic functions later, based on

<http://synthcode.com/scheme/chibi/lib/chibi/generic.html> but enhanced to

add a notion of predicate subsumption corresponding to subclassing.

> (pedantic note: "inveigle" is actually pronunced to rhyme with "legal", not with "bagel", except for poetic license)

And here, it has to rhyme with "Hegel", apparently a third way to
pronounce that word.

Well, for me "bagel" and "Hegel" indeed rhyme.

John Cowan http://vrici.lojban.org/~cowan xxxxxx@ccil.org

While staying with the Asonu, I met a man from the Candensian plane,

which is very much like ours, only more of it consists of Toronto.

--Ursula K. Le Guin, Changing Planes