next node: ReflectionLookup,
prev node: MethodEnvImplement,
up to node: User Subsystem : Reflections


MethodImplement

Signature of MethodImplement

List of Import References :
See Method

SIGNATURE MethodImplement[general, special, result]

SORT general special result
/$ DYNAMIC [general, special] $/

IMPORT Method[general, result] ONLY method : SORT

The expression f :: m yields a method that will invoke f(x) if x is of the suitable type special, and m(x) else. The typechecking involved relies on the dynamic typing and reflection mechanism.

FUN :: : (method -> special -> result) ** method -> method


next node: ReflectionLookup,
prev node: MethodEnvImplement,
up to node: User Subsystem : Reflections