嵌套委托的类型语法是什么？

Question

我无法理解如何用 d 语法表达嵌套委托类型。

例如，我如何表达这些类型？

a -> (b -> c)
(a -> b) -> c
a -> ((a -> b) -> b)

其中 a -> b 表示一个函数接受一个 a 类型的参数并返回一个 b 类型的参数，括号表示分组。

Answer 1

我认为这些符合你的例子：

// a -> (b -> c)

alias t1 = C delegate(B) delegate(A);

// (a -> b) -> c

alias t2 = C delegate(B delegate(A));

// a -> ((a -> b) -> b)

alias t3 = B delegate(B delegate(A)) delegate(A);

嵌套委托的类型语法是什么？

What's the type syntax for nested delegates?

syntax

d