Hi all, I wrote about thoughts I had about using Typed Racket to implement Lox from Crafting Interpreters.
3 Likes
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.
2 Likes
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.