typed-racket
typed-racket copied to clipboard
racket
Typed Racket
### What version of Racket are you using? 8.5 [cs] ### What program did you run? ``` #lang racket (module a typed/racket (provide f) (: f (-> Byte Integer)) (define...
The documentation of `for/flvector` uses `type-ann-maybe` but should be `maybe-length` to match the documention in `flonum`. Current documentation: ``` @defmodule/incl[typed/racket/flonum]{ -- 225 | @deftogether[[ 226 | @defform[(for/flvector type-ann-maybe (for-clause ...)...
Per discussion on racket discourse, this pull request adjusts the error message associated with an assertion failure to use ~e rather than ~v
This PR adds more type aliases (see also https://github.com/racket/typed-racket/issues/1242): ```racket Flonum-Complex Single-Float Nonpositive-Single-Float Negative-Single-Float Nonnegative-Single-Float Positive-Single-Float Single-Float-Nan Single-Float-Zero Single-Float-Negative-Zero Single-Float-Positive-Zero Rational Exact-Nonpositive-Rational Nonpositive-Rational Exact-Negative-Rational Negative-Rational Exact-Nonnegative-Rational Nonnegative-Rational Exact-Positive-Rational Positive-Rational Exact-Integer...
Goal: add a new way to run typed/racket programs. The new types are weaker against untyped code, but should run faster. 2021-11-01: This PR is the main development. ~For now,...
### What version of Racket are you using? `v8.5 [cs]` ### What program did you run? ```racket Welcome to Racket v8.5 [cs]. > (: terr (-> (Values Nothing Nothing))) >...
**DO NOT MERGE:** this is just to test the Resyntax integration.
My very drafty approach at updating the typed definition of typed `for/first` and `for*/first`. I don't currently see any reason why Typed Racket would not be able to contain a...
`hash-set`, `hash-set*`, `hash-update`, `hash-remove`, and `hash-clear` should receive an immutable hash table and return an immutable hash table; `hash-set!`, `hash-set*!`, `hash-update!` , `hash-remove!`, and `hash-clear!` should receive a mutable hash...