Features

• C and Haskell-like syntax with lexical scoping
• Only immutable variables
• Dynamically typed
• Eager (default) and lazy evaluation
• Simple but effective module system
• Interactive REPL with readline-like features such as completion, search and hints
• The REPL has didactical debugging option to print expression ASTs and every reduction step.
• Static inference to separate pure and impure computations
• A lot more coming in the next releases...

Check out the Basics Chapter in the Gobba Handbook.

Documentation

You can read the Gobba documentation in the Gobba Programming Language Handbook

The internal documentation is available here. Please note that the language at the current status is in an experimental phase and therefore the specification is not complete, and will be constantly updated. The documentation may not be up to date with the latest features in the master branch.

Installation

To install, you need to have opam (OCaml's package manager) and a recent OCaml distribution installed on your system. gobba has 3 main development dependencies you have to install on your system:

• cblas
• openblas
• lapacke

These packages may or may not be present in the package repositories of your operating system. If they are, please be sure to install the development versions of these packages.

You can install gobba by running

opam install gobba

If you want to compile gobba manually, read the installation chapter in the gobba Handbook

Examples

Check the examples/ directory for some example programs.