imp-lang is a programming language created in 2019.
| #2472on PLDB | 5Years Old |
The vision is of an emacs-y live self-modifying environment for working with structured data across multiple devices. The big moving parts are: a versioned relational database; an extensible GUI; a pure programming language built around relations; an interpreter with fast incremental view maintenance.
let colors = "apples" x "red" | "apples" x "green" | "oranges" x "orange" in
let fancy = "red" x "scarlet" | "red" x "crimson" | "green" x "emerald" in
"apples" colors fancy