Thanks, I had the same thought when I reached the word “lazy”. The paper also describes function contracts, which I think simply ensure that the return types a

Thanks, I had the same thought when I reached the word “lazy”. The paper also describes function contracts, which I think simply ensure that the return types and argument types conform to a specification. This isn’t lazy, per se, but in a dynamic language you can’t check those things until you call the function. But isn’t that an obvious point?