Fast Flexible Function Dispatch in Julia
This addresses the problem of fragmented and inefficient software stacks in technical computing for researchers and engineers, representing a novel paradigm rather than an incremental improvement.
The paper tackles the challenge of technical computing languages by introducing Julia's dynamic multiple dispatch over parametric types, which allows domain experts to express complex abstractions while achieving better performance for high-level technical code.
Technical computing is a challenging application area for programming languages to address. This is evinced by the unusually large number of specialized languages in the area (e.g. MATLAB, R), and the complexity of common software stacks, often involving multiple languages and custom code generators. We believe this is ultimately due to key characteristics of the domain: highly complex operators, a need for extensive code specialization for performance, and a desire for permissive high-level programming styles allowing productive experimentation. The Julia language attempts to provide a more effective structure for this kind of programming by allowing programmers to express complex polymorphic behaviors using dynamic multiple dispatch over parametric types. The forms of extension and reuse permitted by this paradigm have proven valuable for technical computing. We report on how this approach has allowed domain experts to express useful abstractions while simultaneously providing a natural path to better performance for high-level technical code.