Type, contract Flashcards
1
Q
dynamisch getypte Sprachen
A
lang racket
(provide
(contract-out
[rest-after ( -> number? (list-of Number?) (List-of Number?))]))
2
Q
Statisch getypte Sprachen
A
( : rest-after ( -> Integer (List-of Integer) (List-of Integer)))
3
Q
define Typ
A
(define-type Expression
(literal (value number?)
(addition (left Expression?) (right Expression?)))
