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

Detalhes bibliográficos
Ano de defesa: 2013
Autor(a) principal: Rodrigo Geraldo Ribeiro
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Federal de Minas Gerais
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Linguagem de programação (Computadores)
Haskell (Linguagem de programação de computador)
Computação
Haskell
Classes de tipos
Sobrecarga
Link de acesso: https://hdl.handle.net/1843/ESBF-9GMJLU
Resumo: 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.
id UFMG_07d7dab1c04bdda4a32eb3272bc1344d
oai_identifier_str oai:repositorio.ufmg.br:1843/ESBF-9GMJLU
network_acronym_str UFMG
network_name_str Repositório Institucional da UFMG
repository_id_str
spelling Classes de tipos com múltiplos parâmetros e opcionais em haskellLinguagem de programação (Computadores)Haskell (Linguagem de programação de computador)ComputaçãoHaskellClasses de tiposSobrecargaThe 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.Universidade Federal de Minas Gerais2019-08-11T00:47:37Z2025-09-09T01:33:33Z2019-08-11T00:47:37Z2013-07-30info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdfhttps://hdl.handle.net/1843/ESBF-9GMJLURodrigo Geraldo Ribeiroinfo:eu-repo/semantics/openAccessporreponame:Repositório Institucional da UFMGinstname:Universidade Federal de Minas Gerais (UFMG)instacron:UFMG2025-09-09T01:33:33Zoai:repositorio.ufmg.br:1843/ESBF-9GMJLURepositório InstitucionalPUBhttps://repositorio.ufmg.br/oairepositorio@ufmg.bropendoar:2025-09-09T01:33:33Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG)false
dc.title.none.fl_str_mv Classes de tipos com múltiplos parâmetros e opcionais em haskell
title Classes de tipos com múltiplos parâmetros e opcionais em haskell
spellingShingle Classes de tipos com múltiplos parâmetros e opcionais em haskell
Rodrigo Geraldo Ribeiro
Linguagem de programação (Computadores)
Haskell (Linguagem de programação de computador)
Computação
Haskell
Classes de tipos
Sobrecarga
title_short Classes de tipos com múltiplos parâmetros e opcionais em haskell
title_full Classes de tipos com múltiplos parâmetros e opcionais em haskell
title_fullStr Classes de tipos com múltiplos parâmetros e opcionais em haskell
title_full_unstemmed Classes de tipos com múltiplos parâmetros e opcionais em haskell
title_sort Classes de tipos com múltiplos parâmetros e opcionais em haskell
author Rodrigo Geraldo Ribeiro
author_facet Rodrigo Geraldo Ribeiro
author_role author
dc.contributor.author.fl_str_mv Rodrigo Geraldo Ribeiro
dc.subject.por.fl_str_mv Linguagem de programação (Computadores)
Haskell (Linguagem de programação de computador)
Computação
Haskell
Classes de tipos
Sobrecarga
topic Linguagem de programação (Computadores)
Haskell (Linguagem de programação de computador)
Computação
Haskell
Classes de tipos
Sobrecarga
description 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.
publishDate 2013
dc.date.none.fl_str_mv 2013-07-30
2019-08-11T00:47:37Z
2019-08-11T00:47:37Z
2025-09-09T01:33:33Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/1843/ESBF-9GMJLU
url https://hdl.handle.net/1843/ESBF-9GMJLU
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade Federal de Minas Gerais
publisher.none.fl_str_mv Universidade Federal de Minas Gerais
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFMG
instname:Universidade Federal de Minas Gerais (UFMG)
instacron:UFMG
instname_str Universidade Federal de Minas Gerais (UFMG)
instacron_str UFMG
institution UFMG
reponame_str Repositório Institucional da UFMG
collection Repositório Institucional da UFMG
repository.name.fl_str_mv Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG)
repository.mail.fl_str_mv repositorio@ufmg.br
_version_ 1856413939207766016

Registros relacionados