EMGM. Biblioteca de Haskell que implementa genéricos extensíveis e modulares para as massas
Baixe Agora

EMGM. Classificação e resumo

EMGM. Tag

desenvolvimento desenvolve biblioteca desenvolvimento de aplicativos programação de classe de tipo desenvolver função

EMGM. Descrição

Biblioteca Haskell que implementa genéricos extensíveis e modulares para as massas A EMGM é uma biblioteca de Haskell General-Propósito Geral de Source gratuito para programação genérica com classes de tipo. O design é baseado na ideia de modelagem de dados algébricos como estruturas de soma de produtos. Muitos tipos de dados podem ser modelados dessa maneira, e porque todos compartilham uma estrutura comum, podemos escrever funções genéricas que funcionam nessa estrutura. A biblioteca fornece três componentes principais: · Common - uma base comum para construir funções genéricas e adicionar suporte a tipos de dados . Isso inclui a coleta de tipos de dados (por exemplo, soma, produto, unidade) e classes de tipo (e. Genérico, representante), que são usadas em toda a biblioteca. Isso é o que você precisa definir suas próprias funções genéricas, adicionar suporte genérico ao seu tipo de dados ou definir casos ad-hoc. · Dados - suporte para uso de tipos de dados padrão genericamente. Tipos como , tuplas e talvez sejam incorporados em Haskell ou vêm incluídos nas bibliotecas padrão. A EMGM fornece suporte total para funções genéricas nesses tipos de dados. Os módulos neste componente também são úteis como guias ao adicionar suporte genérico para seus próprios tipos de dados. · Funções - uma coleção de funções genéricas úteis. Estes funcionam com uma variedade de tipos de dados e fornecem uma ampla gama de operações. Por exemplo, há paixão, uma generalização das funções da dobra. É uma das funções mais úteis, porque permite extrair flexivelmente os elementos de um recipiente polimórfico. Aqui estão algumas características principais de "EMGM": · Programação Genérica de DataType usando visualizações de soma de produtos · Grande coleção de funções genéricas prontas a usar · Suporte incluído para tipos de dados padrão: listas, talvez, tuplas · Fácil de adicionar suporte para novos tipos de dados · Os tipos de classes fazem escrever novas funções diretamente em um estilo estruturalmente indutivo · As funções genéricas são extensíveis com casos ad hoc para tipos de dados arbitrários · Bom desempenho de funções genéricas Requisitos: · GHC.

EMGM. Software Relacionado