[nem-pl] polimorficzna rekursja

[ToMasz Wierzbicki]

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.

To że coś jest nierozstrzygalne, to nie jest problem. Problem jeśli co ś
nie jest sound, a tak myślałem, ze tamten nie jest. Moja głupota.

Chodzi o to, że jeśli typable, to safe. A mnie się zdawało, że ona
wywołana z int-em zwraca int * int.

ToMasz Wierzbicki                          http://tomasz.ii.uni.wroc.pl/