Raket içindeki bir işlevin giriş için veri türünü zorlamak istiyorum. Örneğin, bu işlevde, tamsayıları beklemek ve birisi bir dize girdiğinde bir hata atmak istiyorum. Bunu Racket'te zorlamak için sta
Örneğin, Typed Racket'te polimorfik işlevlerle çalışacak bir map sürümünü nasıl yazabilirim? Bir liste üzerinde eşlemek çalıştığınızda i bir hata alıyorum (: id : (All (A) A -> A))
(define (id x) x)