I'm trying to type annotate the following function in typed/racket. Since add is a variable arity function, I've given the input type as Any *. As ...

What would be the Racket/TypedRacket equivalent of Haskell's sum types? For example: data MusicGenre = HeavyMetal | Pop | HardRock ...

The following is no problem in untyped racket: The result is a pict with three differetnly coloured squares. But it's not possible in Typed Racket ...

It seems like integer? can succeed for ... non-integers? Why doesn't this code type-check? ...

Typed Racket seems to think that this conditional can return Void. Why? ... produces the error Why? ...

I evaluated an expression in the form of (time (eval ......)) in the repl (with -I typed/racket on the startup), and there occurred an error: How c ...

Noob Racket/ Typed Racket user here. I want to define a custom type which represents any floating number from 0 to 1. Does anyone know how to create ...

I'm experimenting with propositions in Typed Racket and getting a type error I haven't seen before and can't make heads or tails of. Example code: # ...

Does anyone know why this results in a LISP error even though the calculations are carried out right? The print_pascal routine does return a #f everyw ...

I need to bind a function to the property of a structure. I'm using typed racket, so it means that I also need to type annotate said function. This fu ...

I'm working with hash tables in Typed Racket, and trying to use the (untyped) hash-union function from racket/hash. Using require/typed to import it i ...

I want to use typed/racket to implement the "LET" language in eopl, but I encounter problems： I try to implement three functions( empty-env, extend-en ...

I'm writing a system where a client sends code to a server (implemented in racket) for execution. The code is received as a string. I need to convert ...

I am writing a function in typed/racket to convert a list of Integers (0 or 1) representing a hexadecimal value to a decimal (Integer). The function ...

I have a list of optional strings in a typed racket program, i.e. statements : (Listof (Option String)) I have another function that takes a (Listo ...

n shows up at the type level in error messages, what is it? Example: (: trick (All (t u) ((U t (Listof u)) -> (Listof u)))) (define (trick x) ...

In my answer to this question I discovered that you seem to often need to add type annotations to the arguments to anonymous functions used as argumen ...

I'm trying to produce a typed Racket procedure that for some type A, takes a Tree, and a function from two As to an A, another parameter of type A, an ...

I want to define a type using struct in typed/racket. For example : Say I want to initialize some field (say line) with some ('()|void|#f|...) valu ...

Trying to finish up an implementation of Conway's Game of Life in Racket and I'm adding types to everything. I'm having trouble figuring out what exac ...