2017-11-16から1日間の記事一覧
4 Types in Typed Racket (続き) Typed Racketはパラメータ多相にも対応しています Maybeモナドっぽいもの (struct None ()) (struct (a) Some ([v : a])) (define-type (Opt a) (U None (Some a))) (struct (a) ...)は型aを引数に取った型の定義 型だけ作っ…
4 Types in Typed Racket (続き) Typed Racketはパラメータ多相にも対応しています Maybeモナドっぽいもの (struct None ()) (struct (a) Some ([v : a])) (define-type (Opt a) (U None (Some a))) (struct (a) ...)は型aを引数に取った型の定義 型だけ作っ…