| Emgm Biblioteca Haskell que implementa genéricos extensibles y modulares para las masas |
Descargar ahora |
Emgm Clasificación y resumen
- Nombre del editor:
- EMGM Team
- Sitio web del editor:
- http://www.cs.uu.nl/wiki/GenericProgramming/EMGM
- Sistemas operativos:
- Mac OS X
- Tamaño del archivo:
- 56 KB
Emgm Etiquetas
Emgm Descripción
Biblioteca Haskell que implementa genéricos extensibles y modulares para las masas. EMGM es una biblioteca gratuita y de código abierto Haskell de propósito general para programación genérica con clases de tipo. El diseño se basa en la idea de modelar los tipos de datos algebraicos como estructuras de suma de producto. Muchos tipos de datos se pueden modelar de esta manera, y debido a que todos comparten una estructura común, podemos escribir funciones genéricas que trabajan en esta estructura. La biblioteca proporciona tres componentes principales: · Common, una base común para crear funciones genéricas y agregar soporte para los tipos de datos. . Esto incluye la colección de tipos de datos (por ejemplo, suma, producto, unidad) y clases de tipo (por ejemplo, genérico, representante), que se utilizan en toda la biblioteca. Esto es lo que necesita para definir sus propias funciones genéricas, para agregar soporte genérico para su tipo de datos, o para definir casos ad-hoc. · Datos: soporte para usar los tipos de datos estándar genéricamente. Tipos tales como , tuplas, y tal vez se integran en Haskell o vienen incluidos en las bibliotecas estándar. EMGM proporciona soporte completo para funciones genéricas en estos tipos de datos. Los módulos en este componente también son útiles como guías al agregar soporte genérico para sus propios tipos de datos. · Funciones: una colección de funciones genéricas útiles. Estos trabajan con una variedad de tipos de datos y proporcionan una amplia gama de operaciones. Por ejemplo, hay enamoramiento, una generalización de las funciones plegables. Es una de las funciones más útiles, ya que le permite extraer flexiblemente los elementos de un contenedor polimorfo. Aquí hay algunas características clave de "EMGM": · Programación de typype-genérica utilizando vistas de suma de producto · Gran colección de funciones genéricas listas para usar. · Incluye soporte para tipos de datos estándar: listas, tal vez, tuplas · Fácil de agregar soporte para nuevos tipos de datos · Las clases tipo hacen que escriban nuevas funciones sencillas en un estilo estructuralmente inductivo. · Las funciones genéricas son extensibles con casos ad-hoc para tipos de datos arbitrarios. · Buen desempeño de funciones genéricas. Requisitos: · Ghc
Emgm Software relacionado