|
Any chance at more abstraction with `Values` type?
|
|
9
|
103
|
January 5, 2026
|
|
How to achieve zero-overhead type dispatch in macros (similar to C++ templates)?
|
|
8
|
171
|
January 1, 2026
|
|
What's the idiomatic way of using untyped collections/data structures in typed code?
|
|
7
|
106
|
September 27, 2025
|
|
Is rackunit not supposed to work with typed Racket?
|
|
2
|
87
|
July 5, 2025
|
|
Default non-keyword paraeters in type Racket
|
|
1
|
39
|
July 4, 2025
|
|
Getting started with typed Racket and path-related types
|
|
13
|
167
|
June 27, 2025
|
|
What're Differences Between `typed/racket/unsafe` and `typed/racket/optional`?
|
|
1
|
66
|
May 16, 2025
|
|
Can Typed Racket Treat Types as Runtime Values?
|
|
0
|
81
|
April 20, 2025
|
|
Working Through Exercises in HtDP 2nd Edition
|
|
11
|
197
|
February 13, 2025
|
|
Typed Struct Property: Problem with prop:custom-write
|
|
6
|
67
|
December 16, 2024
|
|
Converting Struct to JSON
|
|
2
|
56
|
December 6, 2024
|
|
A new way to type mutable data structures with opposite variance in typed racket
|
|
16
|
492
|
November 29, 2024
|
|
How to Require Macros from Untyped Racket in Typed Racket with Dependencies on Typed Imports?
|
|
1
|
56
|
November 25, 2024
|
|
Trouble with Typed Racket? Try Contract Profile! by Nathaniel Hejduk at the (fourteenth RacketCon) is now available
|
|
0
|
27
|
October 28, 2024
|
|
Predicate Inconsistency in with List, Listof in Polymorphic Functions
|
|
3
|
58
|
September 28, 2024
|
|
For/sum in typed/racket
|
|
10
|
145
|
September 17, 2024
|
|
Suggestions on refactoring codes using Typed Racket
|
|
11
|
246
|
June 8, 2024
|
|
Typeless typed Racket
|
|
1
|
127
|
June 2, 2024
|
|
Typed Racket + Org-mode + Org tables and lists
|
|
4
|
553
|
May 29, 2024
|
|
Racket version 8.7 is now available
|
|
10
|
1085
|
May 24, 2024
|
|
Parser combinator in Typed Racket: how to define the type constructor for the parser?
|
|
1
|
117
|
May 7, 2024
|
|
Using formlets from/with typed/racket, formlet-process and typing
|
|
2
|
174
|
March 30, 2024
|
|
Pattern matching 'Some' and 'None'
|
|
3
|
207
|
March 26, 2024
|
|
Typed Racket guidelines
|
|
9
|
283
|
March 20, 2024
|
|
Zero-cost incompatible opaque types
|
|
0
|
152
|
March 9, 2024
|
|
Coerce #f and pointer in typed racket
|
|
4
|
224
|
December 10, 2023
|
|
How to use union types?
|
|
5
|
200
|
November 26, 2023
|
|
Typed racket identifier in Refined type (or define type to length of vector)
|
|
1
|
139
|
November 26, 2023
|
|
Typed web-server
|
|
7
|
360
|
November 7, 2023
|
|
How to match up macro-generated and user-defined identifiers?
|
|
2
|
256
|
October 13, 2023
|