🚀 go-pugleaf

sakkinen@jytko.jyu.fi (Markku Sakkinen) writes:

>First question:
>How is the type equivalence of two objects really defined in Oberon?
>Modula-2 has "name equivalence", but Modula-3 has gone over to
>structural equivalence (in my opinion: unfortunately).
>Wirth's original language definition in Software - Practice and Experience
>(July 1988) sidesteps this question rather completely.

In a later paper, perhaps about the Oberon system, Wirth let slip that
Oberon (the language) uses name equivalence.  Of course, you have
to make these exceptions for procedure passed as parameters, and pretty
soon you end up wishing he had just said structural equivalence and
let it go at that.

>Can function procedures in Oberon return structured values?

Nope.  This one is in the report, somewhere.
Of course, I may be out of date.

Preston Briggs