-like construct that dispatches not on the value but on the (static or dynamic) type of a value or an object.
is a way to implement
on the dynamic type of an object. More generally,
s that provide unions or sum types often also provide
to implement dispatch on the type of an object.
is an example of dispatch on the static type of an object.
See criticism on (Type-)
s dispatch both on the classes and the identities of their arguments.
View edit of
August 13, 2004
with title or text search