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

Question

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

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

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

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

标签： syntaxd

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);