kb84tkhrのブログ

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

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

Typed Racketのお勉強 (3)

3 Specifying Types の続き 前回、型を指定しないで定義したidの型を見るのを忘れてました > (define (id z) z) > id - : (-> Any Any) #<procedure:id> Any型というのがあるんですね 次はlambdaの修飾 > (lambda ([x : Number]) : Number (+ x 5)) - : (-> Number Number)</procedure:id>…