Thread by @genkuroki

#Julia言語 私が自分の勉強用に作ったパッケージ

github.com/genkuroki/Meta…
MetaUtils.jl
↓使い方
nbviewer.jupyter.org/github/genkuro…

添付画像1：print_tree(AbstractMatrix)←これの出力結果を見れば、Juliaが多彩な行列の型を持っていることが分かる。他の事柄についても同様。ジャングル的な複雑さ。

https://twitter.com/sarashina0328/status/1361830182953177090

#Julia言語

print_tree(Number), print_tree(AbstractVector) の結果

行列だけではなく、数やベクトルの型も沢山ある。

パッケージを読み込むとこれらの内容がさらに増える。

型の継承がツリー型階層構造に限ることが原因で生じる設計上の困難は Holy traits を使えば解消される。

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

#Julia言語 数の型ぐらいは全部覚えられても、ベクトルや行列の型はとても覚え切れない。そういう複雑な型の世界の構築はベクトルや行列の効率的な計算に必要。

しかし、一般ユーザー側はベクトルや行列の型を無理に覚えることなく、効率的な計算が可能である。そういうユーザーフレンドリーな設計。

#Julia言語 行列Aとベクトルvを使った効率的な計算を行う函数をJuliaでは

function f(A, v)
Aとvを使った計算
end

のように型名を一切書かずに定義可能。

型名を一切書いていなくても、引数A,vの具体型の情報を使ってネイティブコードにコンパイルされて実行され、C並の速さで計算してくれる。

#Julia言語 では「効率的な計算のための複雑な型の世界」と「型名を一切書かずに高速計算可能な世界」が重なっている。

#Julia言語

個々の型が全部楽しいおもちゃ。

区間解析や四元数のパッケージを読み込むと数の型のツリーがさらに豊富になります。おもちゃがどんどん増える。

Juliaでのパッケージの開発はJuliaにおける型世界をさらに充実させることになっています。