scheme - 如何在 Racket/Plait 中给出特定类型的函数作为参数？

Question

我正在编写一个函数，它接受一个函数和一个列表作为参数。参数函数和列表必须具有相同类型的值。我如何确保这一点？

我已经尝试过:

(define ( (func -> 'a) [lst : (Typeof 'a)])
     ....)

但是，我还没能让它工作。我也浏览了辫子教程，但没有找到任何相关内容。

是否有可能有一个函数接受特定返回类型的函数？

Answer 1

这是您要找的吗？

(define f : (('a -> 'a) (listof 'a) -> string)
  (lambda (func lst) "hello"))

然后:

(f (lambda ([x : number]) x) (list 1))

类型检查，但是:

(f (lambda ([x : number]) x) (list "foo"))

不进行类型检查，因为'a与字符串统一(来自"foo")，但也与数字统一(来自x)，因此会发生类型不匹配。

请注意

(define f : (('a -> 'a) (listof 'a) -> string)
  (lambda (func lst) "hello"))

和

(define (f [func : ('a -> 'a)] [lst : (listof 'a)]) : string
  "hello")

不同。在前者中，'a 指的是跨参数的相同类型变量。后者中，func的'a和lst的'a是不同的。因此，在后者中，以下表达式类型检查:

(f (lambda ([x : number]) x) (list "foo"))