Alef: un cálculo de efectos algebraicos con tipado bidireccional

El modelado de efectos computacionales mediante teorías matemáticas es un instrumento fundamental para facilitar el razonamiento sobre programas y poder garantizar su correctitud. Uno de estos modelos es el basado en la teoría de efectos algebraicos, que representa los efectos mediante operacion...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Locascio, Antonio
Otros Autores: Jaskelioff, Mauro
Formato: bachelorThesis Tésis de Grado acceptedVersion
Lenguaje:Español
Publicado: 2020
Materias:
Efectos Algebraicos
Sistemas de efectos
Tipado Bidireccional
Sistemas de Tipos
Acceso en línea:http://hdl.handle.net/2133/19077
http://hdl.handle.net/2133/19077
Aporte de:
Repositorio Hipermedial de la Universidad Nacional de Rosario (UNR) de Universidad Nacional de Rosario
id I15-R121-2133-19077
record_format dspace
institution Universidad Nacional de Rosario
institution_str I-15
repository_str R-121
collection Repositorio Hipermedial de la Universidad Nacional de Rosario (UNR)
language Español
orig_language_str_mv spa
topic Efectos Algebraicos
Sistemas de efectos
Tipado Bidireccional
Sistemas de Tipos
spellingShingle Efectos Algebraicos
Sistemas de efectos
Tipado Bidireccional
Sistemas de Tipos
Locascio, Antonio
Alef: un cálculo de efectos algebraicos con tipado bidireccional
topic_facet Efectos Algebraicos
Sistemas de efectos
Tipado Bidireccional
Sistemas de Tipos
description El modelado de efectos computacionales mediante teorías matemáticas es un instrumento fundamental para facilitar el razonamiento sobre programas y poder garantizar su correctitud. Uno de estos modelos es el basado en la teoría de efectos algebraicos, que representa los efectos mediante operaciones de una teoría algebraica que captura su comportamiento. Para incorporar este modelo al diseño de lenguajes de programación se introducen los sistemas de efectos, que extienden los sistemas de tipos con información acerca de los efectos que pueden ser causados por un programa. Sin embargo, las implementaciones de estos sistemas suelen ser muy complejas, perdiendo en gran medida la claridad conceptual provista por los fundamentos teóricos. En esta tesina se describe un sistema de efectos implementable para un cálculo básico con efectos algebraicos y handlers, usando una nueva variación del tipado bidireccional para preservar la claridad y la estrecha relación con la teoría matemática subyacente. Este sistema se prueba seguro respecto a la semántica operacional y se lo implementa en Haskell, mostrando tanto la simplicidad de su formulación como su gran poder expresivo.
author2 Jaskelioff, Mauro
author_facet Jaskelioff, Mauro
Locascio, Antonio
format bachelorThesis
Tésis de Grado
acceptedVersion
author Locascio, Antonio
author_sort Locascio, Antonio
title Alef: un cálculo de efectos algebraicos con tipado bidireccional
title_short Alef: un cálculo de efectos algebraicos con tipado bidireccional
title_full Alef: un cálculo de efectos algebraicos con tipado bidireccional
title_fullStr Alef: un cálculo de efectos algebraicos con tipado bidireccional
title_full_unstemmed Alef: un cálculo de efectos algebraicos con tipado bidireccional
title_sort alef: un cálculo de efectos algebraicos con tipado bidireccional
publishDate 2020
url http://hdl.handle.net/2133/19077
http://hdl.handle.net/2133/19077
work_keys_str_mv AT locascioantonio alefuncalculodeefectosalgebraicoscontipadobidireccional
bdutipo_str Repositorios
_version_ 1764820410281492480

Ejemplares similares