Published February 12, 2016 | Version v1
Conference paper Open

Type-Checking of Heterogeneous Sequences in Common Lisp

  • 1. EPITA

Description

  We introduce the abstract concept of \textit{rational type
    expression} and show its relationship to rational language theory.
  We further present a concrete syntax, regular type
    expression, and a Common Lisp implementation thereof which allows the programmer
  to declaratively express the types of heterogeneous sequences in a way
  which is natural in the Common Lisp language.  The implementation uses
  techniques well known and well founded in rational language theory,
  in particular the use of the Brzozowski derivative and deterministic
  automata to reach a solution which can match a sequence in
  linear time. We illustrate the concept with several motivating
  examples, and finally explain many details of its implementation.

Files

newton.16.els.pdf

Files (233.5 kB)

Name Size Download all
md5:0e4c4a566023430b9bfd0e1b17bce487
233.5 kB Preview Download