Espressioni al posto delle istruzioni

In molti linguaggi, if e i blocchi sono istruzioni che eseguono un'operazione ma non producono alcun valore. In Scala sono espressioni che vengono valutate producendo un valore.

Questo cambiamento è alla base della programmazione funzionale in Scala.

Un if/else in Scala restituisce il valore del ramo eseguito. Potete assegnare direttamente il risultato a un val.

Non serve una variabile mutabile da impostare all'interno dei rami.

Un blocco { ... } è a sua volta un'espressione. Il suo valore è quello della ultima espressione al suo interno.

In questo caso il blocco viene valutato come 30, che diventa il valore di result.

Poiché il corpo di un metodo è un'espressione, il suo valore è semplicemente quello dell'ultima espressione valutata. La parola chiave return viene usata raramente.

I due metodi seguenti si comportano allo stesso modo, ma quello idiomatico omette return.

Anche il pattern matching con match produce un valore, il che lo rende perfetto per associare gli input ai risultati.

Ogni ramo di case produce il valore del relativo ramo.

Poiché le espressioni restituiscono valori, potete annidarle e combinarle liberamente.

Un if può essere l'argomento di una funzione o far parte di un calcolo più ampio, senza variabili temporanee.

Non tutto produce un valore utile. Le operazioni eseguite solo per i loro effetti collaterali, come println o un'assegnazione, vengono valutate come Unit.

Queste sono le espressioni simili a istruzioni di Scala.

Lo stile basato sulle espressioni permette di sostituire i pattern con var mutabili. Invece di dichiarare un var e assegnargli un valore nei rami, assegnate l'intero if a un val.

Un for con yield è un'espressione che crea una nuova collezione, invece di limitarsi a iterare producendo effetti collaterali.

In questo modo l'iterazione diventa una trasformazione che produce un valore.

Il codice orientato alle espressioni tende a essere più breve, ha meno elementi da gestire ed è più facile da testare.

• Meno variabili mutabili significa meno bug.
• I risultati derivano naturalmente dagli input.
• Si integra bene con le librerie funzionali di Scala.

Confrontate i due approcci. Lo stile a istruzioni modifica una variabile; quello a espressioni restituisce direttamente un valore.

Scala permette entrambi gli approcci, ma preferisce lo stile a espressioni.

Che cosa restituisce la valutazione di un if/else in Scala?

Scala privilegia le espressioni che producono valori rispetto alle istruzioni che modificano soltanto lo stato.

• if, match, i blocchi e for/yield restituiscono tutti dei valori.
• I corpi dei metodi restituiscono la loro ultima espressione; return è raramente necessario.
• Il codice con effetti collaterali restituisce Unit.
• Questo stile riduce l'uso di var e il numero di bug.