[nem-pl] równość strukturalna

[Michal Moskal]

On Mon, Nov 24, 2003 at 06:04:02PM +0100, Kamil Skalski wrote:
> Monday 24 of November 2003 17:58, Michal Moskal wrote:
> > Zastanawiam się jak to ma działać z polimorfizmem.
> 
> Czy o polimorfizmie nie wie czasami tylko nasz kompilator? Jesli tylko on, to 
> .NET nie ma tu nic do rzeczy...

Teraz tak. W (niedalekiej?) przyszłości -- nie. Co nie zmienia faktu, że
jakoś musimy tłumaczyć:

'a f (x : 'a, y : 'a) : bool { x == y }

IMHO najprostszą interpretacją jest równość fizyczna. Pogadamy o tym
jutro.

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