typed-racket
typed-racket copied to clipboard
racket
Typed Racket
**Is your feature request related to a problem? Please describe.** I always get frustrated when I have to write some really long type names. For example, it would be nice...
I found this problem while testing `typed/sicp-pict` (https://github.com/sicp-lang/sicp/pull/38). In `sicp-pict/main.rkt`, I have added contracts to `current-bm` and `current-dc`: ```racket (provide (contract-out [current-bm (parameter/c (or/c #f (is-a?/c bitmap%)))] [current-dc (parameter/c (or/c...
### What version of Racket are you using? 8.5 ### What program did you run? #lang typed/racket (vector-ref (vector 3 4 5) (+ 1 1)) ;;; ... with syntactic test...
### What version of Racket are you using? `v8.5 [cs]` ### What program did you run? ``` Welcome to Racket v8.5 [cs]. > (: andmap1 (All (A) (-> (Listof Any)...
- [x] support structures associated with `prop:procedure` and `prop:evt` at the same time - [ ] properly handle polymorphic structure types - [ ] change the documentation - [ ]...
### What version of Racket are you using? v8.3[cs] ### What program did you run? ```racket #lang typed/racket (require racket/flonum) (fl+ 1. 1. 1.) ``` ### What should have happened?...
### What version of Racket are you using? `v8.4 [cs]` ### What program did you run? ``` Welcome to Racket v8.4 [cs]. > (require/typed racket/list [indexes-of (All (a b) (case->...
I hope I can express some types like `(Values Number Number ...)`, so I'd like to have `Valuesof` , which is related to `Values` the same way `Listof` is related...
### What version of Racket are you using? `v8.4 [cs]` ### What program did you run? Program 1: ``` #lang typed/racket/base (define-type T1 (List 'a 123)) (define-type T2 (List T1))...
### What version of Racket are you using? `v8.4 [cs]` ### What program did you run? In untyped version: ``` Welcome to Racket v8.4 [cs]. > (define a '(x y...