Show simple item record

dc.contributor.advisor Tobin-Hochstadt, Sam Bonnaire-Sergeant, Ambrose 2019-06-27T14:46:33Z 2019-06-27T14:46:33Z 2019-06
dc.description Thesis (Ph.D.) - Indiana University, Informatics, Computing, and Engineering/University Graduate School, 2019 en
dc.description.abstract 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. en
dc.language.iso en en
dc.publisher [Bloomington, Ind.] : Indiana University en
dc.subject Automatic annotations en
dc.subject Clojure en
dc.subject Optional type systems en
dc.subject Symbolic execution en
dc.title Typed Clojure in Theory and Practice en
dc.type Doctoral Dissertation en

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search IUScholarWorks

Advanced Search


My Account