3 ms·
Yes typed racket works the same as typescript. But it's an earlier work. Typescript probably took inspirations from it along with others. Typed-racket has some
by xfer 5y ago
Yes typed racket works the same as typescript. But it's an earlier work. Typescript probably took inspirations from it along with others.
Typed-racket has some form of refinement types now as well.
- bjoli 5y agoWith the caveat that typed racket does not have any unsound corners of the type system, not even for comfort.