|
`apply` `set-union` in Typed Racket
|
|
2
|
236
|
August 9, 2023
|
|
Making nested vectors with build-vector in typed/racket
|
|
4
|
216
|
August 1, 2023
|
|
Mini-TT in Racket
|
|
0
|
651
|
June 13, 2023
|
|
Is typed racket compilation slow when using prefab structs?
|
|
9
|
320
|
May 2, 2023
|
|
Pattern matching in TypedRacket that uses types to rule out impossible branches?
|
|
5
|
565
|
February 28, 2023
|
|
How to write `length` in TypedRacket with inlined types?
|
|
1
|
236
|
February 27, 2023
|
|
Typed Racket: map list items while remembering individual types?
|
|
3
|
266
|
February 15, 2023
|
|
(define-type … (Instance X)) breaks when X is a parametric type synonym, since Racket 8.7
|
|
1
|
216
|
February 3, 2023
|
|
Mutable hash sets in typed Racket
|
|
0
|
223
|
November 11, 2022
|
|
Getting the type of a (class) expression
|
|
4
|
392
|
September 22, 2022
|
|
Typed abstract methods / typed interfaces
|
|
7
|
486
|
August 11, 2022
|
|
Inheritance of parameterized typed classes
|
|
0
|
225
|
August 8, 2022
|
|
How can I redefine defintions in typed racket top level (repl)
|
|
3
|
497
|
July 16, 2022
|
|
Is it possible to unsafely assume sub-types in Typed Racket?
|
|
1
|
275
|
July 11, 2022
|
|
For/first, for*/first, for/and, for*/and, for/last in Typed Racket
|
|
3
|
467
|
July 1, 2022
|
|
Managing `cast` performance penalty
|
|
26
|
1039
|
June 14, 2022
|
|
Construct monad in `sicp-pict`?
|
|
5
|
627
|
May 21, 2022
|
|
@deftype and @defpolytype for Scribble
|
|
2
|
343
|
April 29, 2022
|
|
Can't wrap my head around how to use Polymorphic functions in Typed Racket
|
|
7
|
844
|
April 4, 2022
|
|
Passing procedures of unknow arity across typed/untyped boundary
|
|
9
|
529
|
April 2, 2022
|
|
How can i create function that takes an instance and updates it?
|
|
3
|
537
|
March 25, 2022
|
|
How can i nest an expression to use resulting function only once?
|
|
1
|
484
|
March 13, 2022
|
|
How can i use (modulo x y) function to create loop
|
|
0
|
336
|
March 12, 2022
|
|
How can i specify end of big bang
|
|
5
|
314
|
March 11, 2022
|
|
Replicating the type of `apply`
|
|
3
|
543
|
March 7, 2022
|
|
How to start contributing to Typed Racket?
|
|
2
|
387
|
February 23, 2022
|
|
Get to type (apply in-parallel lst)
|
|
5
|
389
|
February 18, 2022
|
|
Typed Racket interface to the generic graph library
|
|
0
|
259
|
January 10, 2022
|
|
Type Checker: Inference for polymorphic keyword functions not supported
|
|
6
|
458
|
December 21, 2021
|
|
Crafting Interpreters in Typed Racket
|
|
0
|
403
|
November 23, 2021
|