Author

Jackie Scholl

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.

Share

COinS