Example of Typing
ret:[int]/Oou; ?изdef fib[i:int,r:[int]/Oos] = if iɚ then r![1] else new c:[int]/(Oot|Oot|Ict.Ict) in (fib![i-1,c] | fib![i-2,c] | c?[j].c?[k].r![j+k])in fib![10,ret]
Previous slide
Next slide
Back to first slide
View graphic version