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

Question

我正在玩plai类型的语言。我有一个应该使用谓词函数（返回真或假）和项目列表的函数。

我的代码如下所示：

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

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

我想表达的是pf可以消耗 typeIndexItemT和 return的值bool。

可以用plai-typed lang写吗？如果是，如何？

Answer 1

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

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