8 lines
152 B
Racket
8 lines
152 B
Racket
#lang typed/racket/base
|
|
|
|
(: f (Any -> Boolean : Number))
|
|
(define f (make-predicate Number))
|
|
|
|
(: g (Listof Number))
|
|
(define g (filter f '(1 2 3 4 "5")))
|