segundo - signo igual con los literales haskell

signos matematicos

Question

¿Qué sucede exactamente en GHCi cuando cargo un archivo con una línea que dice: 0 = 1?

Esperaba que esto diera un error pero no parece hacer nada en absoluto. ¿Hace algo?

Supongo que en GHCi es equivalente a decir "dejar 0 = 1". ¿Qué hace eso?

Answer 1

Si le asignas a la coincidencia del patrón que falla un nombre x , también puedes forzarlo así:

x @ 0 = 1
main = print x

Lo que produce el error:

FILE.hs: /path/to/FILE.hs:1:5-13: Irrefutable pattern failed for pattern x@0

Answer 2

0=1 es solo un enlace de patrón.

Informe de idiomas de Haskell 2010 describe

4.4.3 Function and Pattern Bindings

decl    →   (funlhs | pat) rhs

funlhs  →   var apat { apat }
    |   pat varop pat
    |   ( funlhs ) apat { apat }

rhs     →   = exp [where decls]
    |   gdrhs [where decls]

gdrhs   →   guards = exp [gdrhs]

guards  →   | guard1, …, guardn         (n ≥ 1)

guard   →   pat 

Distinguimos dos casos dentro de esta sintaxis: una vinculación de patrón ocurre cuando el lado izquierdo es una palmadita ; de lo contrario, el enlace se llama enlace de función . Cualquiera de los enlaces puede aparecer en el nivel superior de un módulo o dentro de donde o dejar construir.

Los patrones tienen esta sintaxis:

pat     →   lpat qconop pat         (infix constructor)
    |   lpat

lpat    →   apat
    |   - (integer | float)         (negative literal)
    |   gcon apat1 … apatk      (arity gcon  =  k, k ≥ 1)

apat    →   var [ @ apat]       (as pattern)
    |   gcon        (arity gcon  =  0)
    |   qcon { fpat1 , … , fpatk }      (labeled pattern, k ≥ 0)
    |   literal
    |   _       (wildcard)
    |   ( pat )         (parenthesized pattern)
    |   ( pat1 , … , patk )         (tuple pattern, k ≥ 2)
    |   [ pat1 , … , patk ]         (list pattern, k ≥ 1)
    |   ~ apat      (irrefutable pattern)

fpat    →   qvar = pat 

Informe de idioma también indica

Un enlace de patrón une variables a valores. Un patrón simple de enlace tiene la forma p = e. El patrón p se empareja "perezosamente" como un patrón irrefutable, como si hubiera un ~ implícito delante de él.

Entonces, 0 en 0=1 es solo un patrón. En esencia, 0=1 y x=1 son la misma cosa. Ambos son patrones de unión.
El patrón es irrefutable, 0=1 no falla, por lo tanto, no ocurrió ningún error y no sucedió nada.

Si tenemos la siguiente declaración de nivel superior. Algo va a pasar.

x@(Just y) | z /= Nothing = Just 1
  where
    z = Just 0

x e y son vinculantes a Just 1 y 1.

Answer 3

El 0 en su enlace de let es en realidad una coincidencia de patrón en el 0 literal. No estaba seguro de lo que estaba pasando al principio también, pero puedes confirmarlo utilizando una coincidencia de patrones estricta, como por ejemplo:

Prelude> :set -XBangPatterns 
Prelude> let !0 = 1 in 0
*** Exception: <interactive>:13:5-10: Non-exhaustive patterns in pattern binding