kb84tkhrのブログ

何を書こうか考え中です あ、あと組織とは関係ないってやつです 個人的なやつ

2017-11-09から1日間の記事一覧

Typed Racketのお勉強 (4)

3 Specifying Types の続き (let ([x : Number 3]) (add1 x)) は、こういう風に書くこともできます (let ([#{x : Number} 3]) (add1 x)) こちらの書き方を使うと、前者の書き方に対応してない式でも 型を示すことができます (: assert-symbols! ((Listof Any…