Forml - Programming language

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

#1507on PLDB

13Years Old

Download source code:

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

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.

Tags: programming language
Forml is developed on GitHub and has 76 stars
Early development of Forml happened 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`