A fluid programming language for rapid development.


Informal is a new kind of form based visual programming language for web applications and data science.

Simple

Adapt to your problem domain with declarative patterns that express logic, functions and objects.

Δ

Flexible

Interactively develop in the browser and compile to efficient, safe WASM you can run anywhere.

λ

Safe

Prototype quickly and gradually add expressive type constraints as your codebase evolves.

Free-form

Create it any way you choose.

Visual or textual. Functional or object oriented. Fully dynamic or type checked. Informal is distilled from concepts proven in languages like Python, Haskell, Smalltalk, Prolog, Elixir, APL and Clojure. Choose the style that's right for your project, so you can focus on the problems that really matter.

Window border
locale
String
"Good Morning!"
"Hello!"
"സുപ്രഭാതം"
"നമസ്കാരം"
Window border
Window border
Transform

Designed to evolve with you.

From prototype to production, Informal adapts to the ever-changing requirements of a growing project. Add contractual guarantees to your program with gradual types, isolate complex functionality with independent modules or even transform the language itself with macros.

Window border
Window border
Window border
Platform

Let's build it together.

Software development is a collaborative process. Informal gives you the tools to create great software together across the internet.

Window border

Code in the browser in a real-time, responsive environment. No setup required.
Window border

Libraries in Informal are sandboxed by default.
They can't access your network, filesystem or any resource unless you grant them those capabilities.
Window border
Informal compiles to the lightweight, efficient WebAssembly bytecode format. You can run it in the browser, on your servers, or even embed it in other applications. Use WebAssembly's built-in foreign-function interface to interact with code across languages.

Build. Launch. Grow.