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
Passing procedures of unknow arity across typed/untyped boundary Questions & Answers typed-racket	9	497	April 2, 2022
Get to type (apply in-parallel lst) Questions & Answers typed-racket	5	374	February 18, 2022
How can I redefine defintions in typed racket top level (repl) Questions & Answers question , typed-racket	3	477	July 16, 2022
`apply` `set-union` in Typed Racket Questions & Answers typed-racket	2	223	August 9, 2023
Type Checker: Inference for polymorphic keyword functions not supported Questions & Answers question , typed-racket	6	444	December 21, 2021