Espressione booleana OCaml [[]] == [[]]

Question

Ho una funzione che restituisce [[]] e voglio testare il risultato come test unitario. Ma ho trovato che l'espressione [[]] == [[]] restituisce false. Ecco un semplice codice di prova:

# [[]] == [[]];; 
- : bool = false 

Qualcuno mi può spiegare perché questa espressione viene valutata come falsa?

Grazie.

Answer 1

Usa = poiché avete uguaglianza strutturale per confrontare due valori:

# [[]] = [[]];; 
- : bool = true 

Perché == è uguaglianza di riferimento, restituisce vero solo se si fa riferimento alla stessa posizione di memoria:

let a = [[]] 
let b = a 

# b == a;; 
- : bool = true 

Answer 2

L'operatore == in OCaml significa "uguaglianza fisica". Tuttavia, hai due (fisicamente) elenchi diversi. Probabilmente, vuoi "uguaglianza strutturale", che è testato da =.