Date of Award
2021
Document Type
Thesis
Degree Name
Bachelors
Department
Natural Sciences
First Advisor
Lepinski, Matthew
Area of Concentration
Computer Science
Abstract
Do types stop bugs? Existing research is inconclusive, and limited to object-oriented programming. I identify several categories of possible errors in functional programming, and detail whether a static type system can help. I propose a detailed future study to determine the optimal level of static typing annotations in functional programming languages for best software maintainability.
Recommended Citation
Scholl, Jackie, "Do Static Types Help Functional Programmers?" (2021). Theses & ETDs. 6138.
https://digitalcommons.ncf.edu/theses_etds/6138