Hello, I am trying to replicate the type of apply: tmp.rkt> apply - : (All (a b) (-> (-> a * b) (Listof a) b)) #<procedure:apply> So, I define my own function: (: my-apply (All (a b) (-> (-> a * b) (Listof a) b))) (define (my-apply f xs) (apply f xs)) I define a fixed-arity function f: (: f (->…

Replicating the type of `apply`

samth March 7, 2022, 6:26pm 3

apply is handled specially by the type checker, so you can't replicate its behavior exactly for your own code.

2 Likes

Passing procedures of unknow arity across typed/untyped boundary

Topic		Replies	Views
Get to type (apply in-parallel lst) Questions & Answers typed-racket	5	368	February 18, 2022
`apply` `set-union` in Typed Racket Questions & Answers typed-racket	2	212	August 9, 2023
Can't wrap my head around how to use Polymorphic functions in Typed Racket Questions & Answers typed-racket	7	760	April 4, 2022
How can I redefine defintions in typed racket top level (repl) Questions & Answers question , typed-racket	3	455	July 16, 2022
Higher Kinded Types General	0	61	August 16, 2024