2017-11-07から1日間の記事一覧
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>…
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>…