Cosa significa!() Nel costruttore di dati?

Question

Sto leggendo il codice sorgente di Data.Map e trovo che!() È utilizzato nel costruttore di dati di data Map k a.

data Map k a = Tip 
       | Bin {-# UNPACK #-} !Size !k a !(Map k a) !(Map k a) 

Trovo che il !() non influisce sul modo l'abbinamento Patten contro i dati. Nella funzione di mapWithKey, la corrispondenza del patten è ancora per 5 cose. Quindi non lo considero un operatore.

mapWithKey f (Bin sx kx x l r) 

Dopo googleing, ho trovato che il !() possono essere correlati a -XBangPatterns che viene utilizzato per evalution artificiale. Ho ragione ? O è per un altro scopo?

Answer 1

! nelle dichiarazioni del tipo di dati viene utilizzato per indicare la rigidità. Se abbiamo search for it on Hoogle, vediamo un collegamento a keyword !, che spiega il comportamento. Il rapporto defines il comportamento esatto.

In data Foo = Foo ... !T ..., il costruttore Foo forza la sua argomentazione, ad esempio Foo ... x ... = x `seq` RealFoo ... x .... dove RealFoo è il costruttore che otterresti senza lo !.

{-# UNPACK #-} è un'estensione GHC che significa che lo Size (ad esempio Int) viene memorizzato in modalità non in linea, direttamente come parte del tipo di dati.

Answer 2

In un costruttore di dati! indica che gli argomenti sono valutati quando il tipo è costruito. Questo costringe le funzioni ad essere valutate e ti aiuta a controllare i requisiti di spazio della tua applicazione.

Le diapositive high-performance Haskell trattano questo in modo più dettagliato.