4 ms·

it is well known the expression problem is trivial in dynamic (untyped) languages—however, static type safety is a requirement of the problem definition of the

• rbehrends 9y ago
  I didn't mention dynamic typing anywhere?
  • platz 9y ago
    no, but multi-methods are 99% of the time found in dynamic languages, right?
    • rbehrends 9y ago
      1. Multimethods simply are a rare feature in general. 2. Multiple dispatch and static typing are completely orthogonal features. 3. Strictly speaking, you don't even need multiple dispatch. The key feature of multimethods that you need is the ability to add a method outside the class body.
      • platz 9y ago
        under definition 3 then extension methods are also multi-methods - doesn't seem right. even c# has extension methods
        • rbehrends 9y ago
          Extension methods do not support dynamic dispatch and hence are not proper instance methods. Try MultiJava's open classes for an approach that works.