Introducción al Trabajo de Título
Entrar

Extensión de MyPy para Transformaciones de Código Python Basadas en Tipos Memoria Doble Titulación Lenguajes de programación

Profesor Guia
Sub Áreas Análisis de programas, Diseño e implementación de lenguajes

Descripción


Desde su versión 3, Python soporta anotaciones opcionales de tipos. MyPy (https://mypy-lang.org/) es un proyecto open source que define un verificador de tipos para estas anotaciones opcionales. El objetivo de este trabajo es extender MyPy para que no solamente pueda verificar si un programa está bien tipado o no, sino que pueda transformar código Python en base a dicha información de tipo. Una arquitectura de transformaciones basada en tipos tiene muchas aplicaciones posibles. El segundo objetivo de este trabajo es definir una transformación que inserta checks dinámicos de tipos cuando uno usa el tipo `Any`, permitiendo que Python tenga un sistema de tipos graduales (https://wphomes.soic.indiana.edu/jsiek/what-is-gradual-typing/).