Dove possono apparire i BangPatterns

Question

Da GHC user guide sembra che la maggior parte Pat può essere PBangPat, ma ci sono alcune eccezioni. per esempio. i colpi di livello superiore in un modulo (come !main) non sono consentiti e x : !xs non riesce a analizzarex : (!xs) parses grazie a @chi. Qual è la specifica formale su dove possono essere aggiunti i bangs? Ho esaminato alcuni capitoli della guida per l'utente e del rapporto ma non ho trovato nulla.

Answer 1

Non ci sono specifiche formali accettate per BangPattern poiché non fanno parte di alcun rapporto Haskell. La cosa più vicina a una specifica è la Guida dell'utente insieme alla proposta haskell-prime a cui si collega.

Entrambe queste fonti menzionano esplicitamente che un modello di scoppio non è consentito al livello più alto di un modulo.

Per quanto riguarda x : !xs, Guida per l'utente ha questo da dire sulla sintassi dei modelli Bang:

si aggiunge una singola nuova produzione alla sintassi di modelli:

pat ::= !pat 

E ' dovrebbe essere letto in congiunzione con il rapporto Haskell 2010:

pat ::= lpat qconop pat 
     | lpat 

lpat ::= apat 
     | - (integer | float) 
     | gcon apat_1 ... apat_k 

apat ::= var [ @ apat] 
     | ... 
     | (pat) 
     | ... 

In base a queste regole x : !xs in realtà dovrebbe parse (dal !xs è un pat, il tutto è lpat qconop pat). Quindi la Guida per l'utente (e la proposta di haskell-prime) è sbagliata o GHC è sbagliato su questo punto.

Credo che in pratica la sintassi accettata da GHC sia "qualsiasi cosa che assomigli ad un'espressione valida" compresa l'interpretazione di (!x) come sezione dell'operatore !. Ad esempio, (! Just x) è accettato come modello ma non lo è (! ! x).