Hacker News new | ask | show | jobs
by pasc1878 452 days ago
See Typed Racket https://docs.racket-lang.org/plait/Type_Checking_and_Inferen...
1 comments
shawn_w 452 days ago
Typed Racket doesn't use H-M.
link