Seeking short examples to "sell" Julia's type system

[mkitti]

There are some good examples in this thread of the type system and multiple dispatch here:

Is multiple dispatch the same as function overloading?

The main difference between multiple dispatch and function overloading (esp. as implemented in C++/other OOP langs.) is that overloaded functions still generally have an implicit receiver of fixed type, which constrains method dispatch to only those variants defined for the receiver. Julia, on the other hand, being more of a functional language, dispatches on all arguments. The classic way of demonstrating this is to imagine you are implementing a game of Asteroids™. As part of the implementati…

Also see this talk (now embedded):

JuliaCon 2019 | The Unreasonable Effectiveness of Multiple Dispatch | Stefan Karpinski