View Proposal

Proposer
James McKinna
Title
Gradual typing in Python
Goal
Investigate the use of type systems to improve the reliability of python libraries and programs
Description
Python is a dynamically typed language with wide application in many data-intensive areas. As such, it has no built-in support for type checking, although users may document their code with the intended types; at present these are unchecked. The aim of this project is to investigate adding types and type checking to an existing python implementation, with a view to evaluating the behaviour and performance of existing python code under a (more strongly) typed discipline. There is considerable scope for theoretical and practical investigations in this area; interested students should discuss with me how they would like to approach the project. Existing work on 'Reticulated Python' may be of use as background material.
Resources
Standard computing facilities
Background
Pythong language; type system in programming
Url
Difficulty Level
Challenging
Ethical Approval
None
Number Of Students
1
Supervisor
James McKinna
Keywords
Degrees
Back to List