On: Pattern Matching with TypeScript

[rbehrends]

I didn't mention dynamic typing anywhere?

[platz → rbehrends]

no, but multi-methods are 99% of the time found in dynamic languages, right?

[rbehrends → platz]

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 → rbehrends]

under definition 3 then extension methods are also multi-methods - doesn't seem right. even c# has extension methods

[rbehrends → platz]

Extension methods do not support dynamic dispatch and hence are not proper instance methods. Try MultiJava's open classes for an approach that works.