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

• Ano de defesa: 2013
• Autor(a) principal: Rodrigo Geraldo Ribeiro
• Tipo de documento: Tese
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Federal de Minas Gerais; UFMG
• Palavras-chave em Português: Haskell; Classes de tipos; Sobrecarga; Linguagem de programação (Computadores); Haskell (Linguagem de programação de computador); Computação
• Link de acesso: http://hdl.handle.net/1843/ESBF-9GMJLU

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.