+12
main.rkt
+12
main.rkt
···
1
+
#lang typed/racket
2
+
3
+
;; looks terrible, i know, but i whanna show more syntax and simple hello, world is too ;; easy
4
+
5
+
;; Using higher-order occurrence typing
6
+
(define-type SrN (U String Number))
7
+
(: tog ((Listof SrN) -> String))
8
+
(define (tog l)
9
+
(apply string-append
10
+
(filter string? l)))
11
+
(tog (list 5 "hello "
12
+
1/2 "from Racket" (sqrt -1)))