[nem-pl] Propozycja zmian w API kompilatora

[Michal Moskal]

On Wed, May 19, 2004 at 11:42:59AM +0200, Kamil Skalski wrote:
> > > Chciałbym usłuszeć jakiś argument, dlaczego Typedtree.Type różni się
> > > czymkolwiek od TypeInfo - wiem, że tam są np. array<int> ale w sumie
> > > array<int> też chyba ma swojego TypeInfo (no w .NET def x = array<int>
> > > x.GetType COŚ zwraca).
> >
> > array<int> *nie* ma TypeInfo. I nie wydaje mi się, żeby rezygnacja z
> > variantów w opisie typów była właściwa.
> 
> No to co zwraca def x= array [1]; x.GeType? Ale być może reprezentacja 
> wariantowa jest dobra.

Może tak: array<int> nie ma Tyinfo ale ma System.Type (o to zwraca
GetType()). Ale my mamy więcej typów, których nie definiuje się wcześniej
(funkcje, krotki), które dodatkowo nie mają jednego wyróżnionego typu,
który mógłby posłużyć do nakramienia odpowiedników funkcji System.Type.

-- 
: Michal Moskal :: http://www.kernel.pl/~malekith :: GCS !tv h e>+++ b++
: When in doubt, use brute force. -- Ken Thompson :: UL++++$ C++ E--- a?