3 ms·
Yes, this is correct. The recent explosion of work on gradual typing (including Typed Racket) was enabled by the development of contracts.
by samth 8y ago
Yes, this is correct. The recent explosion of work on gradual typing (including Typed Racket) was enabled by the development of contracts.