# Typed Racket: the good and the bad **URL:** \ **Category:** Show & Tell\ **Created:** [December 19, 2021, 6:35pm UTC](https://racket.discourse.group/t/typed-racket-the-good-and-the-bad/446 "2021-12-19T18:35:08Z")\ **Posts on this page:** 3\ **Page:** 1
**Author:** ![micahcantor](https://avatars.discourse-cdn.com/v4/letter/m/9f8e36/32.png) [@micahcantor](https://racket.discourse.group/u/micahcantor)\ **Post date:** [December 19, 2021, 6:35pm UTC](https://racket.discourse.group/t/typed-racket-the-good-and-the-bad/446/1 "2021-12-19T18:35:09Z")
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](https://www.micahcantor.com/blog/thoughts-typed-racket/). ---
**Author:** ![sorawee](https://avatars.discourse-cdn.com/v4/letter/s/ea5d25/32.png) [@sorawee](https://racket.discourse.group/u/sorawee)\ **Post date:** [December 19, 2021, 7:19pm UTC](https://racket.discourse.group/t/typed-racket-the-good-and-the-bad/446/2 "2021-12-19T19:19:45Z")
I really enjoy reading this, thank you! The `hash-ref` issue seems to be introduced by [https://github.com/racket/typed-racket/commit/e00e836160ac11029ab924154ac78aaae8aca3ac](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. ---
**Author:** ![micahcantor](https://avatars.discourse-cdn.com/v4/letter/m/9f8e36/32.png) [@micahcantor](https://racket.discourse.group/u/micahcantor)\ **Post date:** [December 19, 2021, 10:42pm UTC](https://racket.discourse.group/t/typed-racket-the-good-and-the-bad/446/3 "2021-12-19T22:42:39Z")
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.