samth2021-3-17 15:52:36Typed Racket implements “local type inference”, best described here: https://www.cis.upenn.edu/~bcpierce/papers/lti-toplas.pdf