0. #lang typed/racket
1.  
2. ;; how to define a default parameter value for a function in t/r?
3.  
4. (: foo (-> Any Any))
5. (define (foo [bar 0])
6.   bar)
7.  
8. (foo 1) ; succeeds
9. (foo) ; type checker error: wrong number of arguments!

=>

- : Any

1

eval:5:0: Type Checker: could not apply function;

wrong number of arguments provided

expected: 1

given: 0

in: foo