Classes de tipos com múltiplos parâmetros e opcionais em haskell

Rodrigo Geraldo Ribeiro

Please use this identifier to cite or link to this item: http://hdl.handle.net/1843/ESBF-9GMJLU

Full metadata record

DC Field	Value	Language
dc.contributor.advisor1	Lucilia Camarao de Figueiredo	pt_BR
dc.contributor.referee1	Alberto Prado Costa	pt_BR
dc.contributor.referee2	Fernando Magno Quintao Pereira	pt_BR
dc.contributor.referee3	Roberto da Silva Bigonha	pt_BR
dc.contributor.referee4	Martin Sulzmann	pt_BR
dc.creator	Rodrigo Geraldo Ribeiro	pt_BR
dc.date.accessioned	2019-08-11T00:47:37Z	-
dc.date.available	2019-08-11T00:47:37Z	-
dc.date.issued	2013-07-30	pt_BR
dc.identifier.uri	http://hdl.handle.net/1843/ESBF-9GMJLU	-
dc.description.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.	pt_BR
dc.description.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.	pt_BR
dc.language	Português	pt_BR
dc.publisher	Universidade Federal de Minas Gerais	pt_BR
dc.publisher.initials	UFMG	pt_BR
dc.rights	Acesso Aberto	pt_BR
dc.subject	Haskell	pt_BR
dc.subject	Classes de tipos	pt_BR
dc.subject	Sobrecarga	pt_BR
dc.subject.other	Linguagem de programação (Computadores)	pt_BR
dc.subject.other	Haskell (Linguagem de programação de computador)	pt_BR
dc.subject.other	Computação	pt_BR
dc.title	Classes de tipos com múltiplos parâmetros e opcionais em haskell	pt_BR
dc.type	Tese de Doutorado	pt_BR
Appears in Collections:	Teses de Doutorado

Files in This Item:

File	Description	Size	Format
rodrigogerldoribeiro.pdf		1.16 MB	Adobe PDF	View/Open

Show simple item record