I was surprised by this program's type-checking behavior: #lang typed/racket (define definitely-not-a-list string-length) ;; this doesn't type-check: #;(in-list definitely-not-a-list) ;; and neither does this #;(for/list : (Listof Real) ([i (in-range 4 10)] [b definitely-not-a-list]) i) …

No static type checking of 'in-list' form used in 'for'?

gus-massa December 12, 2022, 3:07am 2

2 Likes

Topic		Replies	Views
Typeless typed Racket Questions & Answers typed-racket	1	96	June 2, 2024
For/first, for/first, for/and, for/and, for/last in Typed Racket Questions & Answers typed-racket	3	437	July 1, 2022
Check-syntax occasional confusion General	2	192	October 11, 2023
Pattern matching in TypedRacket that uses types to rule out impossible branches? Questions & Answers question , typed-racket	5	461	February 28, 2023
Pre-release: Shallow and Optional Types Announcements	6	465	September 16, 2022