Bio: I was a fortunate participant of the Fall 2, 2019 batch at the recurse center.
I am interested in declarative programming, programming as an aid to thought, and software designed to further ethical and speculative ends.
um-abt is a library for working with the abstract syntax of languages that use variables. It provides "unifiable abstract binding trees" (UABTs): abstract syntax trees (ASTs), enriched with constructs to manage variable binding and (nominal) unification.
This tutorial aims to guide readers familiar with OCaml along one course to a backend for a webapp. The app is lightweight in that it doesn’t take much code to define and in that it probably shouldn’t be used for any heavy, industrial applications.
The app demos two kinds of functionality:
(1) An embellished echo server, responding to path parameters;
(2) An interface to a rudimentary database of author excerpts.