plai-typed：如何定义函数类型？

Question

我在玩普通话。我有一个函数应该使用一个谓词函数（returning true or false）和一个项目列表。

我的代码如下：

(define-type-alias IndexT (listof IndexItemT))

(define (index->filter pf [index : IndexT]) : IndexT
  (filter pf index))

我想表达的是 pf 可以使用 IndexItemT 和 return bool.

类型的值

可以用plai类型的lang写吗？如果是，如何？

Answer 1

是的。您可以使用 -> 类型构造函数来表达 pf.

的类型

(define (index->filter [pf : (IndexItemT -> boolean)] [index : IndexT]) : IndexT
  ....)

plai-typed : how to define function type?