The GSoul Programming Language

GSoul is a functional, expression-based programming language with novel support for gradual sensitivity typing.

Install

GSoul is distributed via the package manager npm. To install GSoul locally run:

npm i -g @gsoul-lang/cli

Usage

To run (and typecheck) a GSoul program, execute the following command:

gsoul <file>

or

gsoul run <file>

To see other available commands run

gsoul --help

Features

TODO: For now, see the paper.

Project status

GSoul is mainly a protoype for research and is not intended to be efficient or to be used in production.