Please use this identifier to cite or link to this item:
http://hdl.handle.net/1843/ESBF-9GMJLU| Type: | Tese de Doutorado |
| Title: | Classes de tipos com múltiplos parâmetros e opcionais em haskell |
| Authors: | Rodrigo Geraldo Ribeiro |
| First Advisor: | Lucilia Camarao de Figueiredo |
| First Referee: | Alberto Prado Costa |
| Second Referee: | Fernando Magno Quintao Pereira |
| Third Referee: | Roberto da Silva Bigonha |
| metadata.dc.contributor.referee4: | Martin Sulzmann |
| Abstract: | 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. |
| Subject: | Linguagem de programação (Computadores) Haskell (Linguagem de programação de computador) Computação |
| language: | Português |
| Publisher: | Universidade Federal de Minas Gerais |
| Publisher Initials: | UFMG |
| Rights: | Acesso Aberto |
| URI: | http://hdl.handle.net/1843/ESBF-9GMJLU |
| Issue Date: | 30-Jul-2013 |
| Appears in Collections: | Teses de Doutorado |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| rodrigogerldoribeiro.pdf | 1.16 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.