The Typed Racket Guide斜め読み

kaki @gengar68

Typed Racket では "Integer is a subtype of Real" らしい。Floatとかもあるけど。numeric towerするとこうなるのかな。 "4 Types in Typed Racket" docs.racket-lang.org/ts-guide/types…

kaki @gengar68

"4 Types in Typed Racket" docs.racket-lang.org/ts-guide/types… Typed Racketでは可変長引数 fold-left の型が書けるらしい。型指定が凄い長さになっているけど。

kaki @gengar68

可変長型コンストラクタ？

kaki @gengar68

Typed Racketの型チェッカは string? が型を判別する述語であることを知っていて、型をフィルタすることができる。 "5 Occurrence Typing" docs.racket-lang.org/ts-guide/occur… ってことかしら。これは考えたことがある。

kaki @gengar68

docs.racket-lang.org/ts-guide/occur… match でもできるようになっている。

kaki @gengar68

Typed RacketのREPLで (define x 42)(set! x 4.2) すると "type mismatch; mutation only allowed with compatible types" と言われる。 docs.racket-lang.org/ts-guide/occur…

kaki @gengar68

"7 Optimization in Typed Racket" docs.racket-lang.org/ts-guide/optim… 型に基づいた最適化をするらしい。

kaki @gengar68

Typed Racketの型システムの限界について。Integer型は integer? ではなく exact-integer? に対応する。exactnessェ… "8 Caveats and Limitations" docs.racket-lang.org/ts-guide/cavea…

kaki @gengar68

多相的な関数の型推論の制限。 (map cons '(a b c d) '(1 2 3 4)) と書けず (inst cons Symbol Integer) する必要がある。cons が変な型だから？よく分からない。 docs.racket-lang.org/ts-guide/cavea…

kaki @gengar68

マクロの中は型チェックされない。マクロ展開後の式はちゃんと型チェックされる。 "8 Caveats and Limitations" docs.racket-lang.org/ts-guide/cavea…

kaki @gengar68

a -> a にするには文字数 > (lambda (x) x) - : (-> Any Any) #<procedure> > (ann (lambda (x) x) (All (a) (-> a a))) - : (All (a) (-> a a)) #<procedure>