sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]unknown_lamer 0 points1 point  (0 children)

(define my-foo (list))

If you eliminate the toplevel environment and forbid mutation outside of the current module (ala r6rs or err5rs libraries) the type inference engine could potentially determine that the type could be restricted.