¿Qué significa apóstrofo en Haskell?

Question

veces vi algunos ejemplos de código con la siguiente expresión:

example = example' [] 

o lo que es la diferencia entre:

foldl 
    foldl' 

Gracias

Answer 1

' es simplemente otro carácter identificador como cualquier otro. foldl' es una función completamente separada de foldl; bien podría llamarse strictFold. Se llama así porque está estrechamente relacionado con foldl: es un foldl donde se evalúa el acumulador en cada paso, de modo que no se acumulan grandes thunk. Por ejemplo, foldl (+) 0 desbordará la pila en una lista grande, pero foldl' (+) 0 no lo hará.

En general, la sufijación de un ' significa una de tres cosas: foo' es o bien una definición de ayuda presentada con la finalidad de definir foo, una versión modificada de foo (es decir, state, state', y state'' podría ser una estado inicial y dos versiones actualizadas), o una versión estricta de foo.

Answer 2

En Haskell es simplemente otro personaje para distinguir los identificadores y el identificador se llama fold prime, pero se usa comúnmente de la misma manera que it used in mathematics.

Answer 3

nada, al menos no en ese contexto, ya que un apóstrofe es un carácter identificador válido (ver this answer de algo más de detalle.)

Es un poco de una convención en las bibliotecas estándar que una versión estricta de ciertas funciones se diferencian de la versión estándar (diferida) por un apóstrofo, como foldl' (estricto) y foldl (flojo). Esto no tiene nada que ver con el apóstrofo siendo especial, es solo una convención.

Answer 4

Hay un módulo de hackage (no recuerdo cuál) que incluye algún tipo de prueba de membresía (o algún otro predicado) en algo. La función de prueba se llama "es":

foo x | x `is` whatever = ... 

y por conveniencia también se proporciona la negación de la función booleana:

bar x | x `isn't` whatever = ... 

pensé que era divertido como diablos cuando vi por primera vez. Apostrophe es solo otro personaje en el identificador.