Measures Concepts
GitHub icon

imp-lang

imp-lang - Programming language

< >

imp-lang is a programming language created in 2019.

#2956on PLDB 5Years Old

Try now: Web

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.


Example from the web:
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

View source

- Build the next great programming language Search Add Language Features Creators Resources About Blog Acknowledgements Queries Stats Sponsor Day 605 feedback@pldb.io Logout