apóstrofo en identificadores en Haskell

Question

me encontré con este código cortado con tijeras en el Internet:

digits 0 = [0] 
digits n = digits' n [] 
    where digits' 0 ds = ds 
     digits' n ds = let (q,r) = quotRem n 10 
         in digits' q (r:ds) 

sumOfDigits = sum . digits 

Puede alguien explicar rápidamente lo que el signo "'" (digits n = digits' n []) después de la llamada a la función recursiva es para? He visto algunos otros ejemplos de código en Haskell (tutoriales), pero no entiendo este. Se agradece una explicación rápida.

Answer 1

El apóstrofo es solo una parte del nombre. Es una convención de nomenclatura (modismo) adoptada en Haskell.

La convención en Haskell es que, like in math, el apóstrofo en un nombre de variable representa una variable que de alguna manera está relacionada, o similar, a una variable anterior.

Un ejemplo:

let x = 1 
    x' = x * 2 
in x' 

x' se relaciona con x, y nos indican que con el apóstrofe.

---

Puede ejecutar esto en GHCi, por cierto,

Prelude> :{ 
Prelude| let x = 1 
Prelude|  x' = x * 2 
Prelude| in x' 
Prelude| :} 
2 

Answer 2

Es sólo otro carácter permitido en los identificadores. Piense en ello como otra carta.