匿名函数匹配签名（）=>单位：斯卡拉

Question

下面的代码行不言自明

type a =() => Unit 

def k(a_ : a) = { 
    a_() 
} 

def g(): Unit = { 
    println("Hello World") 
} 

k(g) 

我的问题是如何指定a类型的匿名函数调用时K +

Answer 1

我希望这些线路也言自明：

scala> k(() => println("Hello!")) //to your first question 
Hello! 

对于第二个问题：

scala> def k(i: Int)(a_ : a) = { 
    a_(i) 
} 
k: (i: Int)(a_: Int => Unit)Unit 

scala> k(5)(g) 
Swami saranam 5 

附：我不建议以小写字母开头type别名。