Hacker News Reader

Racket has Typed Racket, you might want to try that out!

Have you tried it yourself though? That thing is so slow it's barely usable.

Is it the type checking or the runtime that's slow?