Use este identificador para citar o ir al link de este elemento:
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 |
| primer Tutor: | Lucilia Camarao de Figueiredo |
| primer miembro del tribunal : | Alberto Prado Costa |
| Segundo miembro del tribunal: | Fernando Magno Quintao Pereira |
| Tercer miembro del tribunal: | Roberto da Silva Bigonha |
| Cuarto miembro del tribunal: | Martin Sulzmann |
| Resumen: | 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. |
| Asunto: | 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 Institución: | UFMG |
| Tipo de acceso: | Acesso Aberto |
| URI: | http://hdl.handle.net/1843/ESBF-9GMJLU |
| Fecha del documento: | 30-jul-2013 |
| Aparece en las colecciones: | Teses de Doutorado |
archivos asociados a este elemento:
| archivo | Descripción | Tamaño | Formato | |
|---|---|---|---|---|
| rodrigogerldoribeiro.pdf | 1.16 MB | Adobe PDF | Visualizar/Abrir |
Los elementos en el repositorio están protegidos por copyright, con todos los derechos reservados, salvo cuando es indicado lo contrario.