4 ms·

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

• TurboHaskal 7y ago
  Have you tried it yourself though? That thing is so slow it's barely usable.
  • jsjolen 7y ago
    Is it the type checking or the runtime that's slow?