Forml - Programming language

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

#1967on PLDB	12Years Old	123Users
0Books	0Papers

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
HTML of this page generated by LanguagePage.ts

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`