匿名函數匹配簽名（）=>單位：斯卡拉

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別名。