This repository is a fork of Next-CP, a compositional programming language, founded on a core calculus named Fi+. I am now actively adding new experimental features to it.
If you want to run CP programs locally using a CLI, you can follow the procedure below:
- First of all, you need to install Node.js.
- Then execute
npm install
to get all of the dev dependencies. - After installation, you can choose either of the following npm scripts:
npm start
to run a REPL;npm test
to run a test suite checkingexamples/*.cp
.
- REPL: store defined/imported bindings in the REPL context
- REPL: auto-completer
- REPL: load history from file
- Type system: interface type (nominal)
- Type system: infer type arguments