https://hackmd.io/@antimon2/rkiUR0siL

https://hackmd.io/@antimon2/SyyqyG8iI

digraph TypeTree {
nodesep=1.0
node [fontname=Courier,shape=box,style=filled, fillcolor=gray95]
edge [arrowsize=0.8]

edge [arrowtail="empty" dir=back]
Any -> AbstractString
Any -> Number
Any -> _others
_others [label="...",shape=none,style=none,fillcolor=transparent]

AbstractString -> SomeStringSubtypes
AbstractString -> String
SomeStringSubtypes [label="...",shape=none,style=none,fillcolor=transparent]

Number -> Complex
Number -> Real
Real -> AbstractFloat
Real -> AbstractIrrational
Real -> Integer
Real -> Rational

AbstractFloat -> x1
x1 [label="...",shape=none,style=none,fillcolor=transparent]
AbstractFloat -> Float64

Integer -> Bool
Bool [label="...",shape=none,style=none,fillcolor=transparent]

Integer -> Signed
Signed -> Int

AbstractIrrational -> x2
x2 [label="...",shape=none,style=none,fillcolor=transparent]

Integer -> Unsigned
Unsigned -> x4
x4 [label="...",shape=none,style=none,fillcolor=transparent]

Signed -> x5
x5 [label="...",shape=none,style=none,fillcolor=transparent]

}

• Nominative Typing
• Nominal Subtyping
• 型階層

abstract type Point{T<:Real} end

struct Point2D{T} <: Point{T}
    x::T
    y::T
end

mutable struct MPoint2D{T} <: Point{T}
    x::T
    y::T
end

• Parametric Type
• 型制約
• あと型レベルで immutable/mutable

julia> double(x::Number) = 2x
double (generic function with 1 method)

julia> double(x::AbstractString) = x^2
double (generic function with 2 methods)

julia> double(π)
6.283185307179586

julia> double("😄")
"😄😄"

• 関数を多重定義
• 引数に合わせて実装実体を選んで実行

julia> @code_typed double(1)
CodeInfo(
1 ─ %1 = Base.mul_int(2, x)::Int64
└──      return %1
) => Int64

julia> @code_typed double(9.9)
CodeInfo(
1 ─ %1 = Base.sitofp(Float64, 2)::Float64
│   %2 = Base.mul_float(%1, x)::Float64
└──      return %2
) => Float64

julia> @code_typed double(π)
CodeInfo(
1 ─     return 6.283185307179586
) => Float64

• 型推論
• シグニチャの違いによるコード生成
• 徹底的な最適化

• https://julialang.org
• 公式サイト
• バイナリ配布・ドキュメント・パッケージライブラリ・プレイグラウンド・その他

• https://discourse.julialang.org
• 公式アナウンス
• Q&A
• パッケージ公開情報

• https://juliacon.org/2021
• Julia のカンファレンス
• 毎年7月末頃に開催
• 昨年からオンライン開催で無料！

• https://juliatokyo.connpass.com
• 日本の元祖 Julia コミュニティ
• コロナ禍でミーティングなし
• JuliaCon とは提携している

• https://juliatokai.connpass.com
• 私の主催コミュニティ
• 年4回定期的開催
• 完全オンライン
• 次回：2021/08/XX 第11回（予）

• https://jldev.connpass.com/
• 開発合宿（年数回開催）
• 隔週でもくもく会（朝会/夜会）開催

• Julia 楽しい！
• JuliaTokai 楽しい！