[nem-pl] polimorficzna rekursja

[Michal Moskal]

On Fri, Jan 30, 2004 at 09:16:01PM +0100, Michal Moskal wrote:
> To może tak -- rekursja polimorficzna nie stanowi problemu sama w sobie.
> Problematyczna (nierozstrzygalna) jest inferencja typów w jej obecności.
> Jeśli ma się explicitie podane typy to nie ma problemu.

A może to ja czegoś nie rozumiem... Tam dalej coś piszą o kwantyfikatorach
w środku...

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