2011-12-03 30 views
25

¿Cuál es el problema con FlexibleInstances en Haskell? ¿Por qué no están incluidos en Haskell 2010? ¿Las implementaciones de FlexibleInstances simplemente no eran lo suficientemente estables como para incluirlas en un estándar o existen preocupaciones más profundas relacionadas con FlexibleInstances? ¿Es seguro usarlos? ¿Es probable que estén incluidos en Haskell Prime?¿Haskell FlexibleInstances es una extensión estable del idioma?

Respuesta

21

¿Es seguro usarlos?

Sí. FlexibleInstances no creará una situación ambigua o superpuesta cuando GHC necesita resolver clases de tipos. Tenga en cuenta que la posibilidad de superposición de las instancias es posible y no un error, pero cualquier uso confuso real durante la verificación de tipos será un error.

¿Es probable que estén incluidos en Haskell Prime?

No tengo ni idea, no soy parte de Haskell Prime. Hay una lista de correo, archivada en gmane. El ticket de seguimiento es number 32.

+0

Gracias por el enlace al haskell prime trac. No sabía que el proceso de desarrollo estaba abierto. ¡Muy útil! – scravy

Cuestiones relacionadas