HVM3 - Work In Progress

The HVM is an efficient implementation of the Interaction Calculus (IC).

The Interaction Calculus is a new foundation for computing, similar to the Lambda Calculus, but theoretically optimal. The HVM is an efficient implementation of this new paradigm, and can be seen as a fast engine for symbolic computations.

In some ways, it is very similar to Haskell, but it has some key differences:

Lambdas must be linear or affine, making it resource-aware
Lambdas have no scope boundaries, enabling global substitutions
First-class duplications allow a term to be copied into two locations
First-class superpositions allow 2 terms to be stored in 1 location

These primitives allow HVM to natively represent concepts that are not present in the traditional λ-Calculus, including continuations, linear HOAS interpreters and mutable references. Moreover, superpositions and duplications allow it to perform optimal beta-reduction, allowing some expressions to be evaluated with an exponential speedup. Finally, being fully affine makes its garbage collector very efficient, and greatly simplifies parallelism.

The HVM3 is the successor to HVM1 and HVM2, combining their strengths. It aims to be the main compile target of Bend. It is a WIP under active development.

Specifications

IC.md: Interaction Calculus, the theoretical foundation behind HVM
HVM.md: the HVM language, which extends IC with pragmatic primitives

Install

Install Cabal.
Clone this repository.
Run cabal install.

Usage

hvm run file.hvml    # runs interpreted (slow)
hvm run file.hvml -c # runs compiled (fast)

Note: the -c flag will also generate a standalone .main.c file, which if you want, you can compile and run it independently. See examples in the book/ directory.

Name		Name	Last commit message	Last commit date
Latest commit History 384 Commits
.github		.github
app		app
dist		dist
examples		examples
src/HVM		src/HVM
.gitignore		.gitignore
CLAUDE.md		CLAUDE.md
HVM.cabal		HVM.cabal
HVM.md		HVM.md
IC.md		IC.md
INTERS.md

License

HigherOrderCO/HVM3

Folders and files

Latest commit

History