racket/typed-racket

View on GitHub

Typed Racket

Stars: 575
Forks: 106
Open beginner issues: 0
Indexed issues: 316
Avg merge: 2h 1m
Merged PRs (30d): 2

Dominant language: Racket
License: No license data
Last GitHub push: Sep 18, 2026
Latest indexed: Sep 19, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: good first issue

Beginner friendly Everything

Open All

316 open issues indexed

`in-vector` reports type errors from `{,unsafe-}normalize-inputs` Open

Difficulty 3/5 1-2 days Newbie friendliness 58/100

racket/typed-racket#1516 · Opened Aug 3, 2026
`#{` reader extensions missing from contents and index Open

Difficulty 2/5 1-3 hours Newbie friendliness 72/100

racket/typed-racket#1512 · Opened Jun 22, 2026
Type inference fails for dotted polymorphic functions when argument is `Mutable-Vector` vs `Mutable-Vectorof` Open

Difficulty 4/5 3-5 days Newbie friendliness 48/100

racket/typed-racket#1506 · Opened May 4, 2026
Incorrect types for call-with-exception-handler Open

Difficulty 2/5 1-3 hours Newbie friendliness 68/100

racket/typed-racket#1505 · 13 comments · Opened Apr 25, 2026
Unsound: TR accepts non-productive type aliases/definitions Open

Difficulty 4/5 3-5 days Newbie friendliness 30/100

racket/typed-racket#1493 · 1 comment · Opened Feb 5, 2026
(assert-typecheck-fail ...) fails with runtime error Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

racket/typed-racket#1492 · Opened Feb 4, 2026
"in a productive position" is reported instead of "type name is unbound" Open

Difficulty 4/5 3-5 days Newbie friendliness 45/100

racket/typed-racket#1488 · Opened Jan 25, 2026
class-field-accessor and contracts on fields Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

racket/typed-racket#1487 · 10 comments · Opened Jan 21, 2026
[Feature Request] Allow `(T)` to be treated as `T` Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

racket/typed-racket#1476 · Opened Oct 27, 2025
Struct predicate from untyped module fails across shallow/deep boundary Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

racket/typed-racket#1470 · 1 comment · Opened Sep 10, 2025
Extend Refinement Types to Support Real-Number Constraints Open

Difficulty 5/5 Over a week Newbie friendliness 30/100

racket/typed-racket#1457 · 6 comments · Opened Jun 17, 2025
`typed/racket/base/shallow` hangs when recursive types are in a separate module Open

racket/typed-racket#1453 · 1 comment · 1 reaction · 1 assignee · Opened May 25, 2025
Documentation: Intersection types Open

Difficulty 2/5 1-3 hours Newbie friendliness 45/100

racket/typed-racket#1451 · 2 comments · Opened May 11, 2025
[Feature Request] Adding `...` Support to `define-type` Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

racket/typed-racket#1446 · Opened Apr 20, 2025
[Feature Request] Add `unsafe-cast` Open

Difficulty 5/5 Over a week Newbie friendliness 45/100

racket/typed-racket#1445 · 5 comments · Opened Apr 17, 2025
Use in-directory in typed racket Open

Difficulty 3/5 1-2 days Newbie friendliness 42/100

racket/typed-racket#1442 · 1 comment · Opened Mar 12, 2025
Inconsistent behavior of type `Any` for unannotated programs Open

Difficulty 4/5 3-5 days Newbie friendliness 45/100

racket/typed-racket#1440 · Opened Mar 3, 2025
Typed Racket cannot handle compose that use multiple values Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

racket/typed-racket#1430 · 3 comments · Opened Jan 21, 2025
`identifier-binding-symbol: contract violation` after `raco demod` Open

Difficulty 4/5 3-5 days Newbie friendliness 25/100

racket/typed-racket#1420 · 2 comments · Opened Dec 21, 2024
Rackunit reports success even when all tests fail Open

Difficulty 3/5 1-2 days Newbie friendliness 48/100

racket/typed-racket#1413 · 1 comment · Opened Nov 21, 2024
`Values` handling in non-function contexts causes errors Open

Difficulty 4/5 3-5 days Newbie friendliness 42/100

racket/typed-racket#1409 · Opened Nov 3, 2024
Incorrect expansion of `pair?` assertion in polymorphic function operating on a `List A ...` Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

racket/typed-racket#1396 · 1 comment · Opened Sep 28, 2024
`abort/cc` under a `call/prompt` cannot be invoked normally Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

racket/typed-racket#1387 · 2 comments · Opened Aug 27, 2024
“Detached” type declarations with `->*` not equivalent to “inline” in `lambda` Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

racket/typed-racket#1384 · Opened Jul 31, 2024
`require/typed` duplicates effects from expanding `m`; docs unclear Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

racket/typed-racket#1378 · 1 comment · Opened Jun 15, 2024
Can't use #:property to seal a Typed Racket structs Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

racket/typed-racket#1376 · Opened May 23, 2024
TR fails to typecheck when using optional arg and inline type specs Open

Difficulty 3/5 1-2 days Newbie friendliness 45/100

racket/typed-racket#1372 · Opened May 8, 2024
`require/typed` yields "unused require" warnings Open

Difficulty 3/5 1-2 days Newbie friendliness 38/100

racket/typed-racket#1370 · Opened Apr 27, 2024
`require/typed/provide` not providing constructors Open

Difficulty 3/5 1-2 days Newbie friendliness 38/100

racket/typed-racket#1366 · Opened Mar 27, 2024
`struct`'s `#:methods` missing in Typed Racket Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

racket/typed-racket#1361 · 3 comments · Opened Feb 5, 2024
apply < doesn't accept a non-empty list Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

racket/typed-racket#1354 · Opened Dec 31, 2023
Weird Error Message from `require/typed` Open

Difficulty 3/5 1-2 days Newbie friendliness 45/100

racket/typed-racket#1352 · Opened Dec 21, 2023
Strange lack of subtyping for `case->` Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

racket/typed-racket#1337 · 1 comment · Opened Aug 11, 2023
any-wrap: avoid wrapping immutable structs with immutable fields Open

Difficulty 4/5 3-5 days Newbie friendliness 45/100

racket/typed-racket#1333 · 3 comments · Opened Jun 20, 2023
struct #:mutable field option Open

Difficulty 3/5 1-2 days Newbie friendliness 45/100

racket/typed-racket#1331 · Opened Jun 12, 2023
`AnyValues` in `let/cc` is unbound. Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

racket/typed-racket#1328 · Opened May 26, 2023
Examples of unexpected behavior for integer refinements Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

racket/typed-racket#1327 · Opened Apr 12, 2023
for loop fails to infer subtype. Open

Difficulty 4/5 3-5 days Newbie friendliness 42/100

racket/typed-racket#1321 · Opened Mar 17, 2023
Issue with match-define Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

racket/typed-racket#1318 · 7 comments · Opened Mar 6, 2023
coverage testing broken for some uses of vector-set! Open

Difficulty 4/5 3-5 days Newbie friendliness 45/100

racket/typed-racket#1315 · 2 comments · Opened Mar 3, 2023
class field subtyping + set-field! leads to segfault Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

racket/typed-racket#1314 · 2 comments · Opened Feb 23, 2023
`abs` should add a case for `(-> Fixnum Nonnegative-Fixnum)` Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

racket/typed-racket#1310 · 2 comments · Opened Feb 15, 2023
invoke-unit and unit-from-context can trigger an internal typechecker error Open

bug

Difficulty 4/5 3-5 days Newbie friendliness 32/100

racket/typed-racket#1305 · 6 comments · 2 reactions · Opened Feb 5, 2023
(define-type … (Instance X)) breaks when X is a parametric type synonym, since Racket 8.7 Open

Difficulty 4/5 3-5 days Newbie friendliness 38/100

racket/typed-racket#1304 · 1 reaction · Opened Feb 3, 2023
Should simple-result-> stop using `with-contract-continuation-mark` ? Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

racket/typed-racket#1292 · 3 comments · 1 reaction · Opened Nov 22, 2022
require/untyped-contract leads to errors in no-check, Shallow, and Optional Open

Difficulty 4/5 3-5 days Newbie friendliness 30/100

racket/typed-racket#1286 · 5 comments · Opened Sep 27, 2022
require/typed doesn't protect with contract properly Open

incomplete-monitoring

Difficulty 4/5 3-5 days Newbie friendliness 30/100

racket/typed-racket#1256 · 9 comments · Opened Jul 8, 2022
Should `Nothing` be a subtype of `Values`? Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

racket/typed-racket#1255 · 12 comments · Opened Jul 8, 2022
[Feature Request] Support more type aliases. Open

Difficulty 5/5 Over a week Newbie friendliness 30/100

racket/typed-racket#1242 · 5 comments · Opened Jun 14, 2022
Contracts that TR generates for `Parameter` may cause some programs to be very slow. Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

racket/typed-racket#1241 · 20 comments · Opened Jun 3, 2022

racket/typed-racket

Get new issues in your inbox