¿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?
25
A
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.
Cuestiones relacionadas
- 1. detectar el idioma del usuario en PHP - solución estable
- 2. Tipo referente a "FlexibleInstances"
- 3. Generando código para otro idioma en Haskell
- 4. VS11 es steady_clock, estable?
- 5. ¿Es estable Oracle Coherence?
- 6. ¿Es python una plataforma estable para el desarrollo de Facebook?
- 7. Extensión de biblioteca frente a idioma
- 8. ¿Qué tan estable es WPF?
- 9. ¿Indy es estable para FreePascal?
- 10. Haskell idioma para el mapa 'selectiva'
- 11. C Idioma: ¿qué significa la extensión .mm?
- 12. ¿Qué tan estable es el lenguaje Groovy?
- 13. ¿Es posible especializar una plantilla en el enlace del idioma?
- 14. ¿Qué tan estable es NSubstitute?
- 15. ¿Redis es estable en Windows?
- 16. ¿Es estable la segunda parte del mapa <..,..>?
- 17. Función Haskell que toma una función variada como argumento (y devuelve algo más que ese func) sin FlexibleInstances, puro Haskell2010
- 18. haskell - ¿alguna forma de hacer rodar su propio grupo de pragmas de IDIOMA?
- 19. ¿Mono es estable y lo suficientemente rápido?
- 20. Extensión CPP y literales multilínea en Haskell
- 21. ¿DeriveFunctor es una extensión bien reconocida? Cabal parece confundida
- 22. ¿Es posible "ocultar" extensiones de idioma?
- 23. ¿Hay alguna extensión de idioma o descendiente de idioma de Haskell que favorezca la expresividad, especialmente en el manejo de instancias?
- 24. Clasificación estable, es decir, clasificación mínimamente disruptiva
- 25. ¿ColdFusion en Linux/Apache es estable?
- 26. ¿HBase es estable y listo para producción?
- 27. ¿Por qué Selection Sort no es estable?
- 28. ¿Qué tan estable y maduro es Boo?
- 29. ¿Qué tan estable es el sshfs dokan?
- 30. ¿Qué es "estado estable de Java 6"
Gracias por el enlace al haskell prime trac. No sabía que el proceso de desarrollo estaba abierto. ¡Muy útil! – scravy