Eventuali effetti collaterali di questo controllo elenco vuoto (list = []) in OCaml?

Question

In OCaml, quando dover controllare per il vuoto di una struttura di dati elenco lst, Vorrei utilizzare

if (lst = []) then ... 

per la sua concisione, invece di usare pattern matching o di controllo lunghezza della lista.

Mi chiedo se non vi è alcun effetto collaterale di questo confronto strutturale (=) sulla struttura dei dati dell'elenco?

Answer 1

Non ci sono effetti collaterali. È un ottimo modo per verificare se una lista è vuota.

Molte volte tuttavia, ti piacerebbe lavorare con alcuni elementi della lista se non è vuoto. La corrispondenza tra pattern è buona per quei tempi.

Come piccolo commento, se sei interessato alla concisione non hai bisogno delle parentesi nel tuo if.