A Portable, Simple, Embeddable Type System

Authors

Jim Newton, Adrien Pommellet

Where

European Lisp Symposium

Place

Online

Type

inproceedings

Projects

Spot

Keywords

infinite alphabets, type systems, Common Lisp, Clojure, Scala

Date

2021-04-26

Abstract

We present a simple type system inspired by that of Common Lisp. The type system is intended to be embedded into a host language and accepts certain fundamental types from that language as axiomatically given. The type calculus provided in the type system is capable of expressing union, intersection, and complement types, as well as membershipsubtype, disjoint, and habitation (non-emptiness) checks. We present a theoretical foundation and two sample implementations, one in Clojure and one in Scala.

Bibtex (lrde.bib)

@InProceedings{	  newton.21.els,
  author	= {Jim Newton and Adrien Pommellet},
  title		= {A Portable, Simple, Embeddable Type System},
  booktitle	= {European Lisp Symposium},
  year		= 2021,
  lrdestatus	= {accepted},
  address	= {Online},
  month		= apr,
  abstract	= { We present a simple type system inspired by that of
		  Common Lisp. The type system is intended to be embedded
		  into a host language and accepts certain fundamental types
		  from that language as axiomatically given. The type
		  calculus provided in the type system is capable of
		  expressing union, intersection, and complement types, as
		  well as membership, subtype, disjoint, and habitation
		  (non-emptiness) checks. We present a theoretical foundation
		  and two sample implementations, one in Clojure and one in
		  Scala.}
}