Question

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

我的代码如下：

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

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

并且我想表示pf可以使用IndexItemT类型的值并返回bool。

有可能用plai-typed lang写吗？如果是，怎么样？

Answer 1

是。您可以使用->类型构造函数来表达if cell.name == "recorder" { audioPlayerView?.theButton.setTitle("▢", for: .normal) audioPlayerView?.theButton.addTarget(audioPlayerView, action: #selector(audioPlayerView?.recordTapped), for: .touchUpInside) } else { audioPlayerView?.theButton.setTitle("▷", for: .normal) audioPlayerView?.theButton.addTarget(audioPlayerView, action: #selector(audioPlayerView?.playPauseAudio), for: .touchUpInside) }。

的类型

pf

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

1 个答案: