DatatypeContexts obsoletos en el último GHC: ¿por qué?

Question

Estaba haciendo un poco de desarrollo Haskell y recompilado un código de edad en una nueva versión de GHC:

The Glorious Glasgow Haskell Compilation System, version 7.2.1 

Y cuando lo hice, recibí el siguiente error:

Warning: -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.

que aparece cuando tener el código en el siguiente formato:

data Ord a => MyType a 
    = ConstructorOne a 
    = ConstructorTwo a a 

Mi pregunta es: ¿por qué esta función está desfasada y en primer lugar, y lo que se supone que tengo que hacer? en lugar de lograr la misma o similar funcionalidad?

Answer 1

Está obsoleta, ya que era un misfeature, y en realidad no tienen cualquier funcionalidad útil! Todo lo que hizo fue forzar un grupo de restricciones adicionales en otros lugares. En particular, cuando la coincidencia de patrones en tal tipo, se vería obligado a agregar una restricción, en lugar de (como se podría esperar inicialmente) acceder a un contexto, en base al conocimiento de que uno debe haber estado disponible para construir el valor en primer lugar.

El "reemplazo", que en realidad funciona a la inversa y rastrea los contextos conocidos para usted, es use GADT-style declarations instead:

data MyType a where 
    ConstructorOne :: Ord a => a -> MyType a 
    ConstructorTwo :: Ord a => a -> a -> MyType a 

GADTs en general son más flexibles en muchas otras maneras también, pero para este caso particular, lo que sucede es que creando un valor necesita la restricción Ord, que luego se lleva junto con el valor, y la coincidencia de patrones en el constructor lo saca de nuevo. Por lo tanto, ni siquiera necesita el contexto de las funciones que lo utilizan, porque sabe que en virtud de esperar algo del tipo MyType a, obtendrá una restricción Ord a.

Answer 2

En general, aún necesita agregar la restricción Ord a a cualquier función que use su tipo MyType, y como tal no es tan útil como pueda parecer. Para obtener más información acerca de por qué se retiraron, ver http://hackage.haskell.org/trac/haskell-prime/wiki/NoDatatypeContexts

Answer 3

También recibí este error. La sugerencia de ntc2 funcionó para mí, excepto que debería ser con una 't' pequeña en 'TypeContext', es decir, cabal install --ghc-option '-XDatatypeContexts' <package>