typed-racket
typed-racket copied to clipboard
racket
Typed Racket
### What version of Racket are you using? v8.7.0.6 ### What program did you run? ``` #lang typed/racket #:no-optimize #:with-refinements ;; `theorem_1` is accepted by the typechecker. Good. (: theorem_1...
This PR adds support for negated predicates in `assert` and `with-asserts` in Typed Racket. With this change, programmers can use `(not/p pred)` to assert that a value does not satisfy...
### What version of Racket are you using? `v8.8 [cs]` ### What program did you run? ```racket Welcome to Racket v8.8 [cs]. > (ann (ann 1 Integer) Real) - :...
### What version of Racket are you using? 8.2 ### What program did you run? ```racket (struct point ([x : Number] [y : Number])) (: add (-> point Number) )...
### What version of Racket are you using? 8.8.0.8--2023-02-23(-/f) [cs]. ### What program did you run? ``` #lang typed/racket (: my-vector-set! (All (T) ((Vectorof T) Natural T -> Void))) (define...
### What version of Racket are you using? 8.8 ### What program did you run? ``` #lang typed/racket (: example% (Class (field [id String]) [get-id (-> String)])) (define example% (class...
See https://github.com/racket/typed-racket/issues/1309 for a motivating example.
Here's a motivating example, inspired by the discussion on Discord: ```racket #lang typed/racket/base (: fib (-> Nonnegative-Fixnum Nonnegative-Fixnum)) (define (fib n) (let loop ([n : Nonnegative-Fixnum n] [prev : Nonnegative-Fixnum...
Update: this is no longer a soundness hole, see https://github.com/racket/typed-racket/issues/1305#issuecomment-1425010424. --- The following program is accepted and produces garbage or segfaults on Racket 8.7: ```racket #lang typed/racket (define-signature a^ ([x...
### What version of Racket are you using? 8.8 ### What program did you run? @scolobb reports on Discourse: ``` (define my-class% (class object% #:forall (A) (super-new) (init-field [x :...
