Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

Forml

< >

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

#1504on PLDB 13Years Old
Download source code:
git clone https://github.com/texodus/forml/
HomepageSource Code

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`

- Build the next great programming language Add Issues About Search Keywords Livestreams Labs Resources Acknowledgements

Built with Scroll v154.3.0