Por favor, use este identificador para citar o enlazar este ítem:
https://hdl.handle.net/20.500.12008/26407
Cómo citar
Registro completo de metadatos
Campo DC | Valor | Lengua/Idioma |
---|---|---|
dc.contributor.advisor | Pardo, Alberto | - |
dc.contributor.advisor | Viera, Marcos | - |
dc.contributor.author | Cassola, Mauricio | - |
dc.contributor.author | Talagorría, Agustín | - |
dc.date.accessioned | 2021-02-03T16:16:40Z | - |
dc.date.available | 2021-02-03T16:16:40Z | - |
dc.date.issued | 2020 | - |
dc.identifier.citation | Cassola, M. y Talagorría, A. Un sistema de tipos gradual para el lenguaje funcional Elixir [en línea]. Tesis de grado. Montevideo : Udelar. FI. INCO, 2020. | es |
dc.identifier.uri | https://hdl.handle.net/20.500.12008/26407 | - |
dc.description.abstract | Elixir es un lenguaje funcional, relativamente nuevo, con tipado dinámico, que busca ser muy potente y tener una sintaxis moderna. Además, es un lenguaje open source, lo que permite el estudio de su código fuente y la colaboración de la comunidad en su crecimiento. En este proyecto se propone un sistema de tipos que haga posible ejecutar un chequeo de tipos de forma estática para un fragmento significativo de Elixir, sin perder su esencia y flexibilidad. El sistema de tipos que se presenta no requiere ningún tipo de cambios en la sintaxis del lenguaje. Está basado en el concepto de tipado gradual, donde el programador decide el grado de chequeos estáticos que quiere que se realicen en su programa. La información de los tipos es proporcionada mediante firmas de funciones con la notación que Elixir provee, a diferencia de otras soluciones donde las colisiones de tipos son detectadas por inferencia. Este enfoque busca combinar los beneficios que el tipado estático y dinámico ofrecen. Se implementa un prototipo, también en Elixir, de un analizador de tipos basado en el sistema de tipos definido. Además, se realizan experimentos de uso de la biblioteca así como de aceptación del enfoque del sistema de tipos. El trabajo deriva en un paper presentado en SBLP 2020: 24th Brazilian Symposium on Programming Languages. | es |
dc.format.extent | 88 p. | es |
dc.format.mimetype | application/pdf | es |
dc.language.iso | es | es |
dc.publisher | Udelar.FI | es |
dc.rights | Las obras depositadas en el Repositorio se rigen por la Ordenanza de los Derechos de la Propiedad Intelectual de la Universidad de la República.(Res. Nº 91 de C.D.C. de 8/III/1994 – D.O. 7/IV/1994) y por la Ordenanza del Repositorio Abierto de la Universidad de la República (Res. Nº 16 de C.D.C. de 07/10/2014) | es |
dc.subject | Programación funcional | es |
dc.subject | Elixir | es |
dc.subject | Sistema de tipos | es |
dc.subject | Gradual typing | es |
dc.title | Un sistema de tipos gradual para el lenguaje funcional Elixir | es |
dc.type | Tesis de grado | es |
dc.contributor.filiacion | Cassola Mauricio, Universidad de la República (Uruguay). Facultad de Ingeniería | - |
dc.contributor.filiacion | Talagorría Agustín, Universidad de la República (Uruguay). Facultad de Ingeniería | - |
thesis.degree.grantor | Universidad de la República (Uruguay). Facultad de Ingeniería | es |
thesis.degree.name | Ingeniero en Computación | es |
dc.rights.licence | Licencia Creative Commons Atribución - No Comercial - Sin Derivadas (CC - By-NC-ND 4.0) | es |
Aparece en las colecciones: | Tesis de grado - Instituto de Computación |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | ||
---|---|---|---|---|---|
CT20.pdf | Tesis de grado | 1,79 MB | Adobe PDF | Visualizar/Abrir |
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons