(Late to the party; sorry) > you can't dynamically check something of a function type Another approach, besides contracts, (one that my lab is working on) rel

(Late to the party; sorry) > you can't dynamically check something of a function type Another approach, besides contracts, (one that my lab is working on) relies on whole program type-checking and path-sensitive program analysis.