|
|
|
|
|
|
by rpglover64
4145 days ago
|
|
|
(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. |
|
|