perché tubi definisce le funzioni interne

Question

che sto guardando il codice sorgente della libreria pipes e per esempio nel Core module non capisco il motivo per cui l'autore è tutto il luogo utilizzando il modello di funzioni che definiscono così:

runEffect = go 
    where 
    go p = ... 

Oppure:

pull = go 
    where 
    go a' = ... 

Oppure:

reflect = go 
    where 
    go p = ... 

I s questo qualche trucco per abilitare alcune ottimizzazioni? Lo trovo brutto, se si tratta di un trucco di ottimizzazione vorrei davvero che il compilatore potesse farlo senza cose del genere. Ma forse c'è un'altra ragione?

Answer 1

GHC eseguirà solo funzioni non ricorsive in linea e solo quando sono "applicate completamente" da un punto di vista sintattico (ovvero nel sito di chiamata vengono applicate al numero di argomenti visualizzati nella parte sinistra in la definizione).

Negli esempi che hai postato non ci sono argomenti, tuttavia le definizioni sono probabilmente ricorsive e non sarebbero in linea. Effettuare questa trasformazione probabilmente consente di definire le definizioni e specializzarle (per i tipi concreti di m ecc.) Nel sito di chiamata.

È questo un trucco per abilitare alcune ottimizzazioni? Lo trovo brutto, se è un trucco di ottimizzazione, vorrei davvero che il compilatore potesse farlo senza cose del genere.

Sì, è superlame.