Forml - Programming language

home code edit

Forml is a programming language created in 2011 by Andrew Stein.

#1592on PLDB

13Years Old

Download source code:

git clone https://github.com/texodus/forml/

A programming language

Forml website
Forml is developed on GitHub and has 76 stars
Forml first developed in https://github.com/texodus

Example from the web:

    hello_world = do
        `console.log("Hello World")` -- Calls to Javascript always return type `JS a`
        x <- `Math.sqrt(9)`          -- `x` is inferred to be the unrestricted type `a`
        let z = x + 1                -- `x` is now restricted to type `Num`
        return (z + 1)                  -- type of `hello_world` is inferred to be `JS Num`
    8 == do! hello_world >>= λx = `x + 3`