KokaのEffect Types
関数の型を3箇所で表す
(引数) -> <EffectTypes> 返り値 例
このシグネチャの
total とか exn の部分がEffect Typeskoka(js)fun sqr : (int) -> total int
fun divide : (int,int) -> exn int
fun turing : (tape) -> div int
fun print : (string) -> console ()
fun rand : () -> ndet int これらはいずれも推論の対象になる
docs上ではhoverすると推論された結果を見れる
個々のEffect Typesを組み合わせることもできる
koka(js)alias pure = <div,exn>当然、複数のEffect Typesを持つ関数も定義できる
koka(js)fun looptest()
while { is-odd(srandom-int()) }
throw("odd")個々の関数の返り値
| while | <div|e> types/() |
| is-odd | total bool |
| scrandom-int | ndet int |
| throw | exn a |
従って、この
looptest() の返り値は、 <pure,ndet> () と推論されるEffect Typesはbuilt-inで用意されているものも多く、また自分で定義することもできる
built-inで用意されているものの例 ref
total , <> 全域関数である
Effectが存在しないことを表す
単位元的な
exn 例外が発生する可能性がある
部分関数である
divergent
関数が終了しない可能性がある
consoleに書き込む可能性がある
非決定的
pure = <exn,div> ref純粋関数である
exn と div の組み合わせのことをpureと呼ぶのちょっとビビるが、まあ実際そうか>The combination of exn and div is called pure as that corresponds to Haskell's notion of purity. ref
st<h> = <read<h>,write<h>,alloc<h>> mutablityは、read/write/allocの組み合わせ
effect typesもpolymorphicなんですな
io = <exn,div,ndet,console,net,fsys,ui,st<global>> ref全部盛りじゃん
etc.
自分でEffect Typesを定義する ref
Effect Typesの定義
koka(js)effect raise // ①
ctl raise( msg : string ) : a // ② effect と ctl がキーワード①で
raise という名前のeffect typesを定義してる②でそのoperationとして
raise( msg : string ) : a を定義これらは異なる名前でも良い
typeとoperationが同じ場合は以下のように省略しても書ける
koka(js)effect ctl raise(msg: string): aPolymorphic Effects
例:
map : (xs : list<a>, f : (a) -> e b) -> e list<b> map の返り値のEffect typesは、引数 f のEffect typesを引き継ぐ < .. | e> のように書いて、effectsを追加できることを示せるpursのRow polymorphismのsyntaxと同じだ
例:
while : ( pred : () -> <div|e> bool, action : () -> <div|e> () ) -> <div|e> () 気持ち的には上の
map と同じだが、 while : ( pred : () -> e bool, action : () -> e () ) -> e () while は無限ループの可能性があるので、 div effectを追加するなので、
<div|e> のようにpolymorphicでありつつも、effectsを拡張した型になる内部の書き方を変えることでeffect typeが変わる例 ref
再帰すると
div が必要になるkoka(js)fun fib(n : int) : div int
if n <= 0 then 0
elif n == 1 then 1
else fib(n - 1) + fib(n - 2)これをmutable変数を使うことで、
total に変えられるkoka(js)fun fib2(n)
var x := 0
var y := 1
repeat(n)
val y0 = y
y := x+y
x := y0
x types/() って型はなに？普通にユニット型
() のことかな types/ はmodule名でしょう ^n という表記は何？型クラス的なものはないのか
ad hoc多相がない(?)から、同じ関数を型ごとにoverloadしまくってる
例えばshowするときにどうする？