Re: Access to function returning class-wide type

Dmitry A. Kazakov wrote:

Why then N is a parameter? When each type knows its N you don't need to
pass it back.

To be perfectly honest, the parameter in my specific case is not a Natural
[it was just an example], but complex type. Type of the produced object is
determined on one part and the distinct type is built on the whole object.
Sorry for misleading you, but for natural it also can be the case:
When the condition is N in 1 .. 12, type should be Derived_1 build on that
N.

--
Paweł Płazieński aka Nivertius
"In the end, there will be Ada, XML and gzip"
.

Relevant Pages

  • Re: identity...... Was: The wisdom of the object mentors
    ... Dmitry A. Kazakov wrote: ... But that would imply nothing in the language. ... You shall loose it if you deal with int, ...
    (comp.object)
  • Re: Data table text I/O package?
    ... > Dmitry A. Kazakov wrote: ... but error correction codes are *known* to be ... > [XSL transformation] ...
    (comp.lang.ada)
  • Re: SQL
    ... >> Dmitry A. Kazakov wrote: ... but OO has no consistent "right way". ... Ideally the query language would be extendable if a DBA etc. wanted to ...
    (comp.object)
  • Re: identity...... Was: The wisdom of the object mentors
    ... Dmitry A. Kazakov wrote: ... Consider container iterator. ... But that would imply nothing in the language. ...
    (comp.object)
  • Re: SQL
    ... Dmitry A. Kazakov wrote: ... but says nothing about the practicality of such. ... > paradoxically grows with the CPU speed, because protocols are so low-level. ...
    (comp.object)