サブルーチンシグネチャ

関数

some_func(x: T, y: U) -> V
some_func: (T, U) -> V

some_proc!(x: T, y: U) => V
some_proc!: (T, U) => V

メソッド型は、外部からはSelfで指定できません。

.some_method(self, x: T, y: U) => ()
# Self.(T, U) => ()はselfの所有権を奪う
.some_method: (Ref Self, T, U) => ()

以下で、型T!はN: Natという型引数を取るとします。外部から指定する場合は型変数を使用します。

K!: Nat ~> Type
# ~>は適用前後の型引数の状態を示す(このときselfは可変参照でなくてはならない)
K!(N).some_method!: (self: Ref!(K! N ~> N+X), X: Nat) => ()

注意として、.some_methodの型は|N, X: Nat| (self: Ref!(K! N ~> N+X), {X}) => ()となります。 ref!がついていない、すなわち適用後所有権が奪われるメソッドでは、型引数の遷移(~>)を使用できません。

所有権が奪われる場合は以下のようになります。

# Nを使用しないならば_で省略できる
# .some_method!: |N, X: Nat| (T!(N+X), {X}) => T!(N+X)
.some_method!|N, X: Nat|(self: T!(N), X: Nat) => T!(N+X)

``で囲むことで通常の関数と同じように定義できます。 andやorなどの中置アルファベット演算子は囲むことで中置演算子として定義できます。

and(x, y, z) = x and y and z
`_+_`(x: Foo, y: Foo) = x.a + y.a
`-_`(x: Foo) = Foo.new(-x.a)