Forml - Programming language

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

Source code:

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

#1809on PLDB

13Years Old

A contemporary programming language for the discriminating programmer, intended to approximate the safety of Haskell and the expressiveness of Ruby. Should such an approximation turn out to exist.

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`