Scala - Leiten einer Funktion - eine Art Chaos

Question

Ich habe den folgenden Code in Scala-IDE:

type myF =() => Boolean 

def acceptFunction(f: myF) { 
    //... 
} 

und dann:

var a = false 

def isA =() => a 

aber wenn ich versuche, vorbei es, auf die acceptFunction, es führt zu Fehler:

acceptFunction(isA) 

der Fehler ist:

type mismatch; found :() => Boolean required: Boolean

Aber warum?

Wenn ich isA wie folgt erklären:

def isA() =() => a 

dann ist es akzeptiert, aber ich nehme an, es ist erhalten ausgewertet wegen der Klammer.

Gibt es eine Möglichkeit, eine solche Funktion für eine weitere Auswertung zu übergeben?

UPDATE:

Sieht aus wie es etwas mit Scala-IDE ist. Die REPL hat keine Probleme mit diesen Ausdrücken. Jedoch kann ich es immer noch nicht schaffen, dass die übergebene Funktion nicht zu einem Abschluss wird. Ich meine, dass es in Schließung, und Ändern der var a später und Aufruf des Beispiels mit println(f()) wieder - ändert sich nicht den Wert. Der zweite Teil der Frage bleibt also bestehen: Gibt es einen Weg, eine solche Funktion für eine weitere Bewertung zu übergeben?

Answer 1

Sind Sie sicher, dass Sie beim ersten Schreiben des Codes keinen Fehler gemacht haben? Ich habe kopiert und eingefügt, was Sie in die 2.9.1 REPL hatten und es hat gut funktioniert.

scala> type myF =() => Boolean 
defined type alias myF 

scala> var a = false 
a: Boolean = false 

scala> def isA =() => a 
isA:() => Boolean 

scala> def acceptFunction(f: myF) {println(f())} 
acceptFunction: (f:() => Boolean)Unit 

scala> acceptFunction(isA) 
false 

scala> 

UPDATE:isA ist ein Verschluss, wenn Sie es definieren. Die Übergabe an acceptFunction hat keinen Einfluss darauf, ob es sich um a handelt.

Ist es Ihre Aufgabe, eine Funktion zu schreiben, acceptFunction, die eine Funktion f übernimmt, die einen externen Wert, a, zum Zeitpunkt der Definition erfasst?

Man könnte das so wie tun:

// Defines a function which returns a function with returns the 
// value that was captured at the outer function's call time. 
def isB = { (b: Boolean) => {() => b }: myF } 

a = true 

val f = isB(a) 

acceptFunction(f) // >> true 

a = false 

acceptFunction(f) // >> true 

Ist das, wo Sie hin möchten?