4 ms·
C++ : Static. Compile-time method selection. But not dynamic. CLOS: Dynamic dispatch is possible, given extensions like predicate dispatch. ftp://publications
by lispm 11y ago
C++ : Static. Compile-time method selection. But not dynamic.
CLOS: Dynamic dispatch is possible, given extensions like predicate dispatch.
ftp://publications.ai.mit.edu/ai-publications/2001/AITR-2001-006.pdf
- catnaroek 11y agoNo amount of runtime predicate dispatch is going to tell you if a particular occurrence of `nil` is intended to be used as a list of ints or as a list of strings, because runtime checks can't “see into the object's future”. On the other hand, a type checker can easily infer this, in some languages.
- lispm 11y agoType checker = static.