BP
Size: a a a
BP
V
BP
AG
VP
I
(define-type (? T) (U T Null))
(: !! (All (T) (-> (? T) T)))
(define (!! t)
(if (Null? t)
(error 'NullPointerException)
t))
(: ?. (All (T V) (-> (-> T V) (? T) (? V))))
(define (?. op t)
(if (Null? t) t
(op t)))
VP
(define-type (? T) (U T Null))
(: !! (All (T) (-> (? T) T)))
(define (!! t)
(if (Null? t)
(error 'NullPointerException)
t))
(: ?. (All (T V) (-> (-> T V) (? T) (? V))))
(define (?. op t)
(if (Null? t) t
(op t)))
с#
с#
Kd
Kd
Kd
с#
BP
с#
Kd
Kd
с#
Kd
VP