Polimorfismo de registros no sistema CT
AUTOR(ES)
Joao Rafael Moraes Nicola
DATA DE PUBLICAÇÃO
2006
RESUMO
Registros são usados em diversas linguagens (sob diversos nomes) para expressar a composição de objetos de dados e são usualmente associados a uma ou mais operações, como a projeção, atualização e remoção de campos. Tais operações são consideradas polimórficas se puderem ser usadas com qualquer registro que satisfaça um conjunto pequeno de exigências, e.g. uma operação de atualização de um determinado campo deve poder ser usada com qualquer campo que possua o campo em questão, independente do tipo do campo e da presença ou não de outros campos no registro. Diversas propostas foram feitas para o acréscimo de operações polimórficas de registro em Haskell. Este trabalho propõe uma abordagem baseada no sistema de restrições do Sistema CT e usa restrições para codificar os requerimentos de cada operação sobre registros. A proposta inclui alterações à sintaxe e ao sistema de tipos do Sistema CT. Para resolver o problema da satisfazibilidade das restrições criadas para codificar as exigências das operações, foi desenvolvida uma teoria que serviu de base para um algoritmo de satisfazibilidade. O trabalho também inclui uma sintaxe alternativa, que pode ser usada para apresentar de forma amigável os tipos inferidos para operações de registro.
ASSUNTO(S)
computação teses. analise de sistemas (computação) teses. haskell (linguagem de programação de computador) teses
ACESSO AO ARTIGO
http://hdl.handle.net/1843/RVMR-6QHJEEDocumentos Relacionados
- Inferência de tipos com suporte para sobrecarga baseada no sistema CT
- Registros Eletrônicos de Saúde no Sistema de Saúde norte-americano: desafios e lições aprendidas
- Descrição dos registros repetidos no Sistema de Informação de Agravos de Notificação, Brasil, 2008-2009
- Perspectivas para triagem Genética da intolerância à lactose: rastreamento do polimorfismo -13910 C/T, no gene MCM6, em neonatos
- Programação genérica usando o sistema CT