4 ms·
So ... Typed Racket then? http://docs.racket-lang.org/ts-guide/ http://docs.racket-lang.org/ts-guide/
by jarcane 12y ago
So ... Typed Racket then? http://docs.racket-lang.org/ts-guide/ http://docs.racket-lang.org/ts-guide/
- spdegabrielle 12y agoAn example #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)))
- dschiptsov 12y agoWhich is the same algebraic data types - a list of touples.