https://github.com/0x0f0f0f/gobba
A purely functional dynamically typed programming language.
https://github.com/0x0f0f0f/gobba
Last synced: about 2 months ago
JSON representation
A purely functional dynamically typed programming language.
- Host: GitHub
- URL: https://github.com/0x0f0f0f/gobba
- Owner: 0x0f0f0f
- License: mit
- Created: 2019-12-01T11:01:59.000Z (over 5 years ago)
- Default Branch: master
- Last Pushed: 2020-11-29T18:45:14.000Z (over 4 years ago)
- Last Synced: 2025-03-18T05:23:01.200Z (2 months ago)
- Language: OCaml
- Homepage: https://0x0f0f0f.github.io/gobba-book/
- Size: 1.56 MB
- Stars: 56
- Watchers: 4
- Forks: 2
- Open Issues: 7
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGES.md
- Contributing: CONTRIBUTING.md
- License: LICENSE
Awesome Lists containing this project
README
#
[](https://github.com/0x0f0f0f/gobba/actions)
[](https://coveralls.io/github/0x0f0f0f/gobba?branch=)
# gobba
**gobba** is a dynamically typed and purely functional interpreted programming
language, heavily inspired from the OCaml, Haskell and Scheme languages. It is
based on Professors Gianluigi Ferrari and Francesca Levi's
[minicaml](http://pages.di.unipi.it/levi/codice-18/evalFunEnvFull.ml)
interpreter example. The goal for gobba is to be a practical language with built
in support for scientific computing, solving some of the problems that exist in
other dynamically typed interpreted languages like python and Javascript. A
primary goal is also to offer a compromise between solidity, ease of learning and
the ability to express ideas quickly in the language.
## 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](https://0x0f0f0f.github.io/gobba-book/basics) in the **Gobba Handbook**.
## Documentation
You can read the Gobba documentation in the [Gobba Programming Language Handbook](https://0x0f0f0f.github.io/gobba-book)
The internal documentation is available
[here](https://0x0f0f0f.github.io/gobba). 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
```bash
opam install gobba
```
If you want to compile gobba manually, read the [installation chapter in the gobba Handbook](https://0x0f0f0f.github.io/gobba-book/install.html)
## Examples
Check the `examples/` directory for some example programs.