Dissertation/Thesis Abstract

Typed Clojure in Theory and Practice
by Bonnaire-Sergeant, Ambrose, Ph.D., Indiana University, 2019, 182; 13879596
Abstract (Summary)

Typed Clojure is an optional type system for the Clojure programming language that aims to type check idiomatic Clojure code. This dissertation presents the design of Typed Clojure, formalizes Typed Clojure's underlying theory, studies its effectiveness in real-world code bases, and proposes several extensions to help address its shortcomings.

I develop a formal model of Typed Clojure that includes key features like hash-maps, multimethods, Java interoperability, and occurrence typing, and prove the model type sound. Then, I demonstrate that Typed Clojure's design is useful and corresponds to actual usage patterns with an empirical study of real-world Typed Clojure usage in over 19,000 lines of code. This experience also revealed several usability shortcomings in Typed Clojure.

First, the top-level annotation burden needed to port untyped code is prohibitively high. We present an automatic annotator for Typed Clojure to ease this burden, using runtime observations to synthesize heterogeneous, recursive type annotations. We evaluate our experience using the annotator by porting several open-source projects.

Second, pre-expanding macros before type checking makes type checking brittle. We describe and implement a new analyzer for Clojure code that can provide the foundation of an alternative approach where the user provides custom type rules for macros.

Third, too many local functions require annotations. We present a hybrid approach of symbolic execution and type checking that helps check some common higher-order Clojure idioms.

Indexing (document details)
Advisor: Tobin-Hochstadt, Sam
Commitee: Moss, Lawrence S., Newton, Ryan R., Shan, Chung-chieh
School: Indiana University
Department: Computer Sciences
School Location: United States -- Indiana
Source: DAI-B 80/11(E), Dissertation Abstracts International
Source Type: DISSERTATION
Subjects: Computer science
Keywords: Automatic annotations, Clojure, Optional type systems, Symbolic execution
Publication Number: 13879596
ISBN: 9781392282304
Copyright © 2019 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest