Perché GHC rappresenta la ricorsione in Haskell con i raccoglitori ricorsivi invece di un operatore di fixpoint?

5

Il tipo di dati fondamentali di GHC rappresenta la ricorsione con i raccoglitori ricorsivi nel costruttore Let ; a quanto ho capito, tutte le espressioni let in Haskell sono effettivamente espressioni let rec . Perché GHC usa questo metodo per rappresentare la ricorsione invece di un operatore di fixpoint atomico?

    
posta DylanSp 30.04.2018 - 16:03
fonte

0 risposte

Leggi altre domande sui tag