多重分派（multiple dispatch）是 Julia 語言中相當重要的程式典範。多重分派的例子在 Julia 的套建中相當多見，其中一個應用就是用來取代型別檢查。

在一般的程式中有相當多的型別檢查的片段，在 Julia 中可能會寫成這樣：

1
2
3
4
5
6
7
8
9
function foo(x)
    if x isa Int
        # do something
    elseif x isa String
        # do another things
    elseif x isa Float64
        # do other things
    end
end

在 Julia 中這樣寫當然是可以，但是這樣就失去了用 Julia 的優勢，可以將他用多重分派進行改寫。

1
2
3
4
5
6
7
8
9
10
11
function foo(x::Int)
    # do something
end

function foo(x::String)
    # do another things
end

function foo(x::Float64)
    # do other things
end

看起來好像只是將他分成三隻函式而已，沒什麼了不起的吧？

不不不，光是將他分成三隻函式，就足以讓 if...else 結構中的程式馬可以分別被編譯，成為效能更好的程式碼。在編譯的過程中，也由於有充足的引數型別的資訊，所以會編譯出更好的程式。

更值得一提的是，在軟體工程上也是有好處的，他符合軟體工程的開放封閉原則，對新增功能開放、對修改現有功能關閉，要支援新的型別只需要增加新的函式，並不用去修改現有的 if...else 結構，可以避免新增功能的同時去動到舊有的功能。

在演算法上也可以依據不同的型別做分離，可以將他看能完全不同的演算法，演算法之間不會混雜在一起。

所以這就是善用 Julia 的多重分派來改寫型別檢查的範例。