Looking for haskell Answers? Try Ask4KnowledgeBase
Looking for haskell Keywords? Try Ask4Keywords

Haskell LanguageAgujeros mecanografiados


Observaciones

Una de las fortalezas de Haskell es la capacidad de aprovechar el sistema de tipos para modelar partes de su dominio de problemas en el sistema de tipos. Al hacerlo, a menudo se encuentran tipos muy complejos. Cuando se escriben programas con estos tipos (es decir, con valores que tienen estos tipos) ocasionalmente se vuelve casi inmutable para "hacer malabares" con todos los tipos. A partir de GHC 7.8, hay una nueva característica sintáctica llamada agujeros mecanografiados. Los orificios escritos no cambian la semántica del lenguaje central; están destinados puramente como una ayuda para la escritura de programas.

Para obtener una explicación detallada de los agujeros escritos, así como una discusión sobre el diseño de los agujeros escritos, consulte la wiki de Haskell .


Sección de la guía del usuario de GHC sobre agujeros mecanografiados .

Agujeros mecanografiados Ejemplos relacionados