Próbuję określić adnotacji typu dla następujących funkcji w Typed Racket: (define (neof x)
(if (eof-object? x) #f x))
pozostawiając ją un-uwagami daje typ: (Any -> Any)
korzystania z tego typ
Jakiego rodzaju wnioskowania typu robi Typed Racket? Znalazłem następujący fragment na liście Rakieta do korespondencji: The Typed Racket type system contains a number of features that go beyond what'