Scala: perché non List [=> Int] funziona?

Question

Ho lavorato per imparare i dettagli di scala, e recentemente mi sono imbattuto in qualcosa di cui sono curioso.

quanto ho capito, se voglio passare un blocco di codice che viene efficacemente pigramente valutata per una funzione, (senza valutare sul posto) basta digitare:

def run(a: =>Int):Int = {...} 

In questo senso, la function run riceve un blocco di codice, che deve ancora essere valutato, che valuta e restituisce l'Int calcolato di. Ho quindi cercato di estendere questa idea alla struttura dei dati dell'elenco. Digitare:

def run(a: List[=>Int]) = {...} 

Ciò tuttavia restituisce un errore. Mi stavo chiedendo perché questo non è consentito. In che modo, oltre a questa sintassi, posso passare un elenco di blocchi di codice non valutati?

Answer 1

=>Int è la sintassi per i parametri del nome. =>Int non è un tipo, quindi non può essere utilizzato come parametro per List. Tuttavia, ()=>Int è un tipo. È il tipo di funzioni null che restituiscono Int. Quindi questo funziona:

def run(a: List[()=>Int]) = {...} 

Answer 2

il parametro per nome non è un tipo di prima classe in Scala.

List[()=>Int] è una delle soluzioni. in caso contrario, è possibile utilizzare la seguente struttura di dati Lazy.

• https://gist.github.com/1164885
• https://github.com/scalaz/scalaz/blob/v6.0.4/core/src/main/scala/scalaz/Name.scala#L99-107
• https://github.com/scalaz/scalaz/blob/v7.0.0-M7/core/src/main/scala/scalaz/Name.scala#L37-L60
• https://github.com/scala/scala/blob/v2.10.0/src/reflect/scala/reflect/internal/transform/Transforms.scala#L9-23
• https://github.com/harrah/xsbt/blob/v0.12.1/compile/api/SafeLazy.scala
• https://github.com/okomok/ken/blob/0.1.0/src/main/scala/com/github/okomok/ken/Lazy.scala
• https://github.com/playframework/Play20/blob/2.1-RC1/framework/src/play/src/main/scala/play/api/libs/functional/Util.scala#L3-L11