Print Email Facebook Twitter Building Type Checker Using Scope Graphs Title Building Type Checker Using Scope Graphs: For a Language with Type Classes Author Mocanu, Andreea (TU Delft Electrical Engineering, Mathematics and Computer Science) Contributor Zwaan, A.S. (mentor) Poulsen, C.B. (mentor) Durieux, T. (graduation committee) Degree granting institution Delft University of Technology Programme Computer Science and Engineering Project CSE3000 Research Project Date 2023-06-29 Abstract In this paper, we explore scope graphs as a formal model for constructing type checkers for programming languages that support type classes. Type classes provide a powerful mechanism for ad hoc-polymorphism and code reuse. Nevertheless, the incorporation of type classes into type checkers poses challenges, as it necessitates the resolution of instances and the assurance of coherence amidst overlapping instances. Our approach facilitates the separation of concerns between type class resolution and type checking, promoting extensibility and maintainability of the type checker. We contribute with a formal definition of scope graphs for languages with type classes, accompanied by algorithms for type class resolution and type checking. To assess the correctness of this approach, we implement a prototype type checker, and conduct experiments on a collection of representative programs. The results demonstrate the effectiveness of this baseline approach. Subject type checkingtype classesscope graphsad-hoc polymorphism To reference this document use: http://resolver.tudelft.nl/uuid:64aa6cc8-9039-47b1-99f6-decf150dcab8 Part of collection Student theses Document type bachelor thesis Rights © 2023 Andreea Mocanu Files PDF Type_Checking_Type_Classe ... Graphs.pdf 194.66 KB Close viewer /islandora/object/uuid:64aa6cc8-9039-47b1-99f6-decf150dcab8/datastream/OBJ/view