Subroutine signatures

Func

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という型引数を取るとする。外部から指定する場合は型変数を使用する。

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

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

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

# Nを使わないなら_で省略可
# .some_method!: |N, X: Nat| T!(N).({X}) => T!(N+X)
.some_method!|N, X: Nat|(self(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)