Avail - Programming language

home code edit

Avail is a programming language created in 2010 by Mark van Gulik and Todd L. Smith.

Source code:

git clone https://github.com/AvailLang/Avail

#1634on PLDB

14Years Old

The Avail programming language. Includes the virtual machine, standard library, and standard examples.

Avail website
Avail is developed on GitHub and has 48 stars
Avail first developed in The Avail Foundation, LLC

Example from the web:

Public method "Play Wump the Wumpus with reader_with reporter_" is
[
    reader : []→string,
    writer : [string]→⊤
|
    /* Set up the game's I/O. */
    Wump the Wumpus reader := reader;
    Wump the Wumpus reporter := writer;
    /* Create a new game. All references to game objects within the block are
     * implicitly understood as relative to this new game.
     */
    newGame ::= a game of Wump the Wumpus;
    Use newGame as the implied game and do
    [
        Welcome;
        Look around, having just entered;
        Until the game is over, do
        [
            Give the agent a turn;
            Give the first swarm a turn;
            Give the second swarm a turn;
            Give the wumpus a turn;
        ];
        If the agent is alive then
        [
            If the wumpus is dead then [Report victory;]
            else [Report cowardice;];
        ]
        else [Report defeat;];
        Goodbye;
    ];
] : ⊤;