|
Parser combinator in Typed Racket: how to define the type constructor for the parser?
|
|
1
|
52
|
May 7, 2024
|
|
Typed Racket + Org-mode + Org tables and lists
|
|
3
|
311
|
April 25, 2024
|
|
Using formlets from/with typed/racket, formlet-process and typing
|
|
2
|
102
|
March 30, 2024
|
|
Pattern matching 'Some' and 'None'
|
|
3
|
114
|
March 26, 2024
|
|
Typed Racket guidelines
|
|
9
|
169
|
March 20, 2024
|
|
Zero-cost incompatible opaque types
|
|
0
|
104
|
March 9, 2024
|
|
Coerce #f and pointer in typed racket
|
|
4
|
149
|
December 10, 2023
|
|
Racket version 8.7 is now available
|
|
8
|
881
|
December 1, 2023
|
|
How to use union types?
|
|
5
|
144
|
November 26, 2023
|
|
Typed racket identifier in Refined type (or define type to length of vector)
|
|
1
|
96
|
November 26, 2023
|
|
Typed web-server
|
|
7
|
254
|
November 7, 2023
|
|
How to match up macro-generated and user-defined identifiers?
|
|
2
|
210
|
October 13, 2023
|
|
`apply` `set-union` in Typed Racket
|
|
2
|
177
|
August 9, 2023
|
|
Making nested vectors with build-vector in typed/racket
|
|
4
|
155
|
August 1, 2023
|
|
Mini-TT in Racket
|
|
0
|
590
|
June 13, 2023
|
|
Is typed racket compilation slow when using prefab structs?
|
|
9
|
259
|
May 2, 2023
|
|
A new way to type mutable data structures with opposite variance in typed racket
|
|
0
|
210
|
March 30, 2023
|
|
Pattern matching in TypedRacket that uses types to rule out impossible branches?
|
|
5
|
383
|
February 28, 2023
|
|
How to write `length` in TypedRacket with inlined types?
|
|
1
|
201
|
February 27, 2023
|
|
Typed Racket: map list items while remembering individual types?
|
|
3
|
228
|
February 15, 2023
|
|
(define-type … (Instance X)) breaks when X is a parametric type synonym, since Racket 8.7
|
|
1
|
167
|
February 3, 2023
|
|
Mutable hash sets in typed Racket
|
|
0
|
191
|
November 11, 2022
|
|
Getting the type of a (class) expression
|
|
4
|
290
|
September 22, 2022
|
|
Typed abstract methods / typed interfaces
|
|
7
|
377
|
August 11, 2022
|
|
Inheritance of parameterized typed classes
|
|
0
|
197
|
August 8, 2022
|
|
How can I redefine defintions in typed racket top level (repl)
|
|
3
|
384
|
July 16, 2022
|
|
Is it possible to unsafely assume sub-types in Typed Racket?
|
|
1
|
245
|
July 11, 2022
|
|
For/first, for*/first, for/and, for*/and, for/last in Typed Racket
|
|
3
|
413
|
July 1, 2022
|
|
Managing `cast` performance penalty
|
|
26
|
882
|
June 14, 2022
|
|
Construct monad in `sicp-pict`?
|
|
5
|
501
|
May 21, 2022
|