Symbolic Pattern Matching in Clojure

    Research output: Contribution to conferencePaper

    78 Downloads (Pure)


    This paper presents a symbolic pattern matcher developed for
    Clojure. The matcher provides new types of function definition,
    new conditional forms and new iterative structures. We argue that
    pattern matching and unification differ in significant ways that
    give them different semantics, both useful, and show that matcher
    capability is enhanced by allowing patterns to be dynamically
    created or embedded in data structures like rules and statechanging
    operators. We evaluate the matcher by experimentation,
    demonstrating that it can be used to simplify the specification of
    inference mechanisms as well as other types of code.
    Original languageEnglish
    Publication statusPublished - 20 Apr 2015
    Event8th European Lisp Symposium - Goldsmiths, University of London, London, United Kingdom
    Duration: 20 Apr 201521 Apr 2015


    Conference8th European Lisp Symposium
    CountryUnited Kingdom
    Internet address

    Fingerprint Dive into the research topics of 'Symbolic Pattern Matching in Clojure'. Together they form a unique fingerprint.

  • Cite this

    Lynch, S. (2015). Symbolic Pattern Matching in Clojure. Paper presented at 8th European Lisp Symposium, London, United Kingdom.