Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- #lang typed/racket
- ;; Using higher-order occurrence typing
- (define-type SrN (U String Number))
- (: tog ((Listof SrN) -> String))
- (define (tog l)
- (apply string-append (filter string? l)))
- (tog (list 5 "hello " 1/2 "world" (sqrt -1)))
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement