Cosa si intende per 'MyType = Int => booleano'

Question

Cosa si intende con seguito di dichiarazione Scala:

type MyType = Int => Boolean 

Qui è la mia comprensione:

sto dichiarando un nuovo tipo di 'MyType', ma cosa si intende con la funzione di ordine superiore 'Int => booleano'

Answer 1

non è tanto dichiarare un nuovo tipo di come dichiarare un nuovo tipo alias. Sono sempre dello stesso tipo: ma l'alias ti consente di scriverlo in modo un po 'più succinto.

Int => Boolean è il tipo di una funzione che accetta un argomento, un Int e restituisce un booleano.

Per esempio, una funzione come "maggiore di 5" potrebbe avere tipo Int => Boolean:

type MyType = Int => Boolean 
val greaterThan5: MyType = (x: Int) => x > 5 
greaterThan5(7) // true 

Answer 2

Lei ha ragione, le seguenti compilazioni:

type MyType = Int => Boolean 
def positive(x: Int) = x > 0 
val fun: MyType = positive 
fun(42) //yields true 

Qui si dichiara tipo alias dicendo che MyType equivalente a una funzione che prende Int e restituisce Boolean. Quindi crei un metodo che corrisponde a tale dichiarazione. Infine, assegni questo metodo a una variabile del tipo MyType. Compila e funziona bene.

Si noti che questo è solo un alias, non un tipo nuovo:

trait MyType2 extends (Int => Boolean) 
val fun2: MyType2 = positive _ 
error: type mismatch; 
found : Int => Boolean 
required: MyType2 
     val fun2: MyType2 = positive _ 
         ^