Is sound gradual typing dead? Performance problems in Typed Racket (2016)

Heykuki News

46 points

8 months ago

8 comments

Is sound gradual typing dead? Performance problems in Typed Racket (2016) | Heykuki News