warum Rohre innere Funktionen

Question

definieren Ich betrachte die pipes Bibliothek Quellcode und zum Beispiel in den Core module Ich verstehe nicht, warum der Autor ganz über den Platz ist das Muster der Definition von Funktionen wie die Verwendung von:

runEffect = go 
    where 
    go p = ... 

Oder:

pull = go 
    where 
    go a' = ... 

Oder:

reflect = go 
    where 
    go p = ... 

I Ist das ein Trick, um einige Optimierungen zu ermöglichen? Ich finde es hässlich, wenn es ein Optimierungstrick ist, möchte ich wirklich, dass der Compiler es ohne solche Dinge machen könnte. Aber vielleicht gibt es noch einen anderen Grund?

Answer 1

GHC wird nur inline nicht-rekursive Funktionen und nur dann, wenn sie aus syntaktischer Sicht "vollständig angewendet" sind (dh an der Aufrufstelle werden sie auf die Anzahl der Argumente angewendet, die auf der linken Seite erscheinen) die Definition).

In den von Ihnen veröffentlichten Beispielen gibt es keine Argumente, die Definitionen sind jedoch wahrscheinlich rekursiv und würden nicht inline sein. Diese Transformation ermöglicht wahrscheinlich, dass die Definitionen an der Aufrufstelle inline und spezialisiert sind (für die konkreten Typen von m usw.).

Ist das ein Trick, um einige Optimierungen zu ermöglichen? Ich finde es hässlich, wenn es ein Optimierungstrick ist Ich wünschte wirklich, der Compiler könnte es tun ohne solche Dinge.

Ja, es ist super lahm.