Thread by @genkuroki

#Julia言語 では任意の型のオブジェクトfにf(x), f(x,y), …のように使える函数の機能を追加できます。

だから、函数を引数とする函数φを function φ(f::Function) ～ end と定義すると、見た目的に動いて欲しいコードが動かなくなるリスクが増える。

function φ(f) ～ end と書くべき。

https://twitter.com/genkuroki/status/1373849559034568704

#Julia言語 函数を中身に持つstructを

struct Foo{T<:Function}
f::T
end

と作っても、見た目的に動いて欲しいコードが動かなくなる場合が増えます。

struct Foo{T}
f::T
end

なら大丈夫。

Juliaの型について理解が不十分な状態で型名をコード中に書くと大抵失敗する。

#Julia言語 Juliaでは、型が先にあってその中に値が含まれていると考えるのではなく、値が先にあって、その値の具体的な型を次に考え、その後にその具体的な型を含むもっと広い抽象型を考える、という順番に考えないといけない感じ。

Juliaでのコンパイルは入力の値の具体型に合わせて実行される。

#Julia言語 型名を書いたせいで、見た目的に動いて欲しいコードが動かなくなる他の場合に、

function f(v::AbstractVector) ～ end

があります。

例えば、g = (k^2 for k in 1:10) はBase.Generator型になり、AbstractVector型にならないので、f(g)とはできなくなる。

#Julia言語 そういう問題があることを理解した上で受け入れていれば、function f(v::AbstractVector) ～ end で全然問題ない。

しかし、理解が伴っていないと、動いて欲しいコードが動かずに悩むことになる。

function f(v) ～ end と型名を書かずに済ませることができるなら安全。

#Julia言語 引数の型の違いによる(多重)ディスパッチ(同名函数の違う動作)を利用したい場合には、function f(v) ～ end ではなく、function f(v::AbstractVector) ～ end のように書く必要がある。

一方、多重ディスパッチを使わない場合には、function f(v) ～ end と引数vの型を書かない方が安全。

#Julia言語 計算効率を上げるための最適化にときに、函数の引数の型を書いていたせいで、正常に動いているコードが動かなくなることが何回かありました。

最適化のために@ viewマクロを追加した途端に動かなくなったこともあった(笑) その原因は function f(x::Array) ～ end

#Julia言語 型の違いによるディスパッチの例

double(x) = 2x # fallback
double(x::AbstractString) = x^2

double(3)
→ 6

double("hoge")
→ "hogehoge"

s = @ view "hoge"[2:end]
→ "oge" (SubString型)

double(s)
→ "ogeoge"

#Julia言語 上で double(x::AbstractString) = x^2 を

double(x::String) = x^2

としてしまっていると

s = @ view "hoge"[2:end]
→ "oge" (SubString型)

double(s)
↓
Error: ～ no method matching double(::SubString{String})
Closest candidates are:
double(::String) at ～

となる。