Languages Features Creators CSV Resources Challenges Add Language
GitHub icon


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.

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`
encore.html 路 forml.html 路 mark-iv.html

View source

- Build the next great programming language Search Day 213 About Blog Acknowledgements Traffic Traffic Today GitHub