¿Hay alguna forma de hacer que GHC proporcione las restricciones de clase de tipo de los agujeros mecanografiados?


103

Comportamiento actual

Prelude> show _

<interactive>:7:6:
    Found hole ‘_’ with type: a0
    Where: a0 is an ambiguous type variable
    Relevant bindings include it :: String (bound at <interactive>:7:1)
    In the first argument of show’, namely ‘_’
    In the expression: show _
    In an equation for it’: it = show _

Comportamiento deseado

Sería bueno si GHC también me dijera que el agujero escrito tiene la Showrestricción de clase de tipo.

Misc

GHC versión 7.8.1


16
AFAIK, esto no es posible actualmente, pero sin duda sería útil. Podría valer la pena abrir una solicitud de función en el rastreador de errores de GHC para esto.
kosmikus

11
Estoy de acuerdo en que esto sería útil. Lo informé como una solicitud de función en GHC trac: ghc.haskell.org/trac/ghc/ticket/9479
Dominique Devriese

4
Por ahora se puede utilizar pre-tipo-agujeros truco: show (undefined :: () -> ()); GHC le dirá más en el error de verificación de tipo.
phadej

1
¿Es esta una solicitud de función o una pregunta real? Es decir, ¿sabe con certeza que no hay forma de crear GHC como desea, o existe la posibilidad de que pueda obtener lo que desea con el compilador actual, pero no está seguro de cómo?
stakx - ya no contribuye

1
@stakx Es un poco de ambos. Originalmente, cuando escribí esta pregunta, estaba confundido por qué GHC no proporcionaba las restricciones de clase de tipo y pensaba que estaba usando los agujeros mecanografiados incorrectamente. Luego, algunos me dijeron que actualmente esto no es posible, pero podría agregarse a GHC. Entonces esperaba que se agregara pronto. Muchos parecen querer usarlo. El truco de phadej parece funcionar mientras tanto, pero no es tan elegante o fácil de usar como lo sería una solución basada en agujeros mecanografiados.
Wizek

Respuestas:


2

Esto ahora está arreglado en GHC 8.0 gracias al ticket GHC de @ DominiqueDevriese .

Debido al tipo extendido predeterminado , esto no es obvio de inmediato en GHCi. Con tu ejemplo,

> show _

  <interactive>:7:6: error:
     Found hole: _h :: ()
      Or perhaps ‘_h is mis-spelled, or not in scope
     In the first argument of show’, namely ‘_h
      In the expression: show _h
      In an equation for it’: it = show _h
     Relevant bindings include
        it :: String (bound at <interactive>:7:1)

el tipo de agujero está predeterminado (). Este es aparentemente el comportamiento deseado , aunque se puede argumentar que el incumplimiento extendido no debería aplicarse a los agujeros (ya que un uso común para ellos es hacer que el compilador le diga el tipo inferido).

Sin embargo, si compila con GHC o deshabilita las reglas predeterminadas extendidas en GHCi (vía :set -XNoExtendedDefaultRules), vemos el resultado de las mejoras:

<interactive>:3:1: error:
     Ambiguous type variable a0 arising from a use of show
      prevents the constraint ‘(Show a0)’ from being solved.
      Probable fix: use a type annotation to specify what a0 should be.
      These potential instances exist:
        instance Show Ordering -- Defined in ‘GHC.Show’
        instance Show Integer -- Defined in ‘GHC.Show’
        instance Show a => Show (Maybe a) -- Defined in ‘GHC.Show’
        ...plus 22 others
        ...plus 11 instances involving out-of-scope types
        (use -fprint-potential-instances to see them all)
     In the expression: show _
      In an equation for it’: it = show _

<interactive>:3:6: error:
     Found hole: _ :: a0
      Where: a0 is an ambiguous type variable
     In the first argument of show’, namely ‘_’
      In the expression: show _
      In an equation for it’: it = show _
     Relevant bindings include
        it :: String (bound at <interactive>:3:1)

1

No, actualmente no es posible, pero se puede agregar a GHC según las especulaciones.


Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.