Typed Racket: the good and the bad

Hi all, I wrote about thoughts I had about using Typed Racket to implement Lox from Crafting Interpreters.

Here's a link to the post.


I really enjoy reading this, thank you!

The hash-ref issue seems to be introduced by https://github.com/racket/typed-racket/commit/e00e836160ac11029ab924154ac78aaae8aca3ac. While [(-HashTop a (-> c)) Univ] makes sense, It seems to me that [(-HashTableTop a) Univ] should be taken out.


Thanks! Glad to know I'm not crazy about the hash-ref issue. I don't know enough about the implementation to diagnose the issue but an issue should be raised.