Use este identificador para citar ou linkar para este item:
http://hdl.handle.net/1843/ESBF-9GMJLU
Tipo: | Tese de Doutorado |
Título: | Classes de tipos com múltiplos parâmetros e opcionais em haskell |
Autor(es): | Rodrigo Geraldo Ribeiro |
Primeiro Orientador: | Lucilia Camarao de Figueiredo |
Primeiro membro da banca : | Alberto Prado Costa |
Segundo membro da banca: | Fernando Magno Quintao Pereira |
Terceiro membro da banca: | Roberto da Silva Bigonha |
Quarto membro da banca: | Martin Sulzmann |
Resumo: | A introdução de classes de tipos com múltiplos parâmetros em Haskell tem sido dificultada devido a problemas associados a ambiguidade, que ocorrem devido a uma falta de especialização durante a inferência de tipos. Este trabalho apresenta um novo sistema de tipos para Haskell que permite a definição de classes com com múltiplos parâmetros sem a necessidade de extensões como dependências funcionais ou famílias de tipos. Além isso, revemos o conceito de ambiguidade de Haskell de maneira a adotar a definição usual baseada em derivações de tipos. É permitida também a declaração de símbolos sobrecarregados sem a imposição de que seja definida uma classe de tipos para estes. Além disso, é desenvolvido e implementado um algoritmo de inferência de tipos correto e completo com respeito ao sistema de tipos definido. |
Abstract: | The introduction of multi-parameter type classes in Haskell has beenhindered because of problems associated to ambiguity, which occur dueto the lack of type specialization during type inference. This work proposes a new type system for Haskell that supports the definition of multi-parameter type classes without the need of any extensions like functional dependencies or type families. Haskell's ambiguity definition is redefined as the usual definition based on type systems derivations. The definition of overloaded symbols without the need of specifying a type class is also allowed. A type inference algorithm that is sound and complete with respect to the proposed type system is presented and implemented. |
Assunto: | Linguagem de programação (Computadores) Haskell (Linguagem de programação de computador) Computação |
Idioma: | Português |
Editor: | Universidade Federal de Minas Gerais |
Sigla da Instituição: | UFMG |
Tipo de Acesso: | Acesso Aberto |
URI: | http://hdl.handle.net/1843/ESBF-9GMJLU |
Data do documento: | 30-Jul-2013 |
Aparece nas coleções: | Teses de Doutorado |
Arquivos associados a este item:
Arquivo | Descrição | Tamanho | Formato | |
---|---|---|---|---|
rodrigogerldoribeiro.pdf | 1.16 MB | Adobe PDF | Visualizar/Abrir |
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.