[nem-pl] polimorficzna rekursja

["Paweł W. Olszta"]

Michal Moskal wrote:

> Czy ja dobrze kombinuję, że to jest przykład polimorficznej rekursji?

Oszustwo ;) Ale faktycznie 'a zmienia się w rekursji na 'a * 'a...

Fajne.

> I czy istnieją jakieś sensowne przykłady?

http://www.church-project.org/reports/electronic/Hal+Kfo:BUCS-TR-2004-004.pdf

-- 
My opinions may have changed, but not the fact
that I am right. -- Ashley Brilliant