Multiple Dispatch in Julia

Multiple Dispatch in Julia(opensourc.es)

44 points by wikunia 5 years ago | 13 comments

ssivark 5 years ago |

You might also enjoy Stefan Karpinski’s talk at JuliaCon 2019 about how multiple dispatch helps make the language more expressive (than OOP, for Eg). The unreasonable effectiveness of multiple dispatch https://youtu.be/kc9HwsxE1OY

It seems like such an elegant idea, I’m somewhat surprised no one seems to have run with it earlier.

tomkwong 5 years ago | |

The power of multiple dispatch is an eye opener for me personally when I first learned about Julia.

It's hard to get back to OOP once you're used to multiple dispatch. It's so natural and gets rid of the the question of "which class should I write this method in"?

kkylin 5 years ago | |

I don't think Julia is (or has ever claimed to be) the first system to make extensive use of multiple dispatch. But it seems to be first one to have gotten attention, if not widespread adoption, from the broader community beyond its first intended audience, i.e., scientific computing.

Others mention CLOS, which I don't know too much about. MIT Scheme also supports multiple dispatch (https://www.gnu.org/software/mit-scheme/documentation/stable...). IIRC this is widely used in ScmUtils, the software library used in SICM (https://mitpress.mit.edu/books/structure-and-interpretation-...).

ssivark 5 years ago | | |

Julia’s definitely not the first, but I don’t see too many examples where they took the idea seriously enough as a design principle to build the language around it (that’s what I meant by “run with it”). I’ve seen Dylan often credited as one of the inspirations for Julia. While many other languages might support multiple dispatch, my impression is that they’re somewhat “patched on”, thereby limiting the benefits.

blast 5 years ago | |

Doesn't CLOS count? That was a lot earlier.

eigenspace 5 years ago | | |

That's an interesting point worth discussing. Julia is far from the first language to have multiple dispatch. Rather, what makes julia's take on the concept unique (as far as I know) is Julia's ability to optimize and de-virtualize generic functions.

Common Lisp had multiple dispatch through the CLOS, but functions which needed to be fast were not multiple dispatch. For instance, you can't overload multiplication or additional in Common Lisp, you instead need to shadow them and replace them with generic functions, but doing so incurs a runtime performance overhead. This is (usually) not the case in Julia because it's JIT compiler was designed around multiple dispatch and it's multiple dispatch semantics were designed around it's JIT compiler (this is a big reason why static compilation in Julia has been such a hard problem to solve!).

Because Julia can have MD without additional overhead, it's use is absolutely ubiquitous throughout the ecosystem and Julia's own internals. This ubiquity is what confers most of the benefit because you can patch into the gigantic space of method combinations just about anywhere to override behaviour.

jecel 5 years ago | | |

It was also the key idea in the lesser known Cecil and Slate.

https://en.wikipedia.org/wiki/Cecil_(programming_language)

https://github.com/briantrice/slate-language

eigenspace 5 years ago |

Multiple dispatch is such a nice feature that whenever I use other languages, I always reach for it and am immediately disappointed when I realize it's not there, or if it it is, it's not widely used enough to be useful.

xiaodai 5 years ago |

The problem with multiple dispatch is that by looking at

`fn(a, b, c)`

you really don't know which code it is running unless you know the types of `a`, `b`, and `c` which can't be exhaustively enumerated at the point of the writing the code or reading the code given that someone could use `fn` with totally different types.

This makes Julia readable, but as the code base grows, it can become unwieldly as well.

You really need `@which fn(a,b,c)` with known `a`, `b`, and `c` to see which function it is running.

johnmyleswhite 5 years ago | |

Isn't this a problem in any system that allows function names to be overloaded? Don't you have the same issues if (a) your system has single dispatch and classes that can be extended outside the module in which they're originally defined?

wikunia 5 years ago | | |

I agree and would say that normally dispatch comes in handy for things like `+`, `length` and of course your own functions where the meaning is the same but the implementation must be different depending on the type.

cbkeller 5 years ago | |

It exists! `@which fn(a,b,c)` will do exactly that. There's also `@less fn(a,b,c)` if you want to take quick look at the source code for the relevant method, or `@edit fn(a,b,c)` to open the relevant source file in an editor.