i++

A numerical programming language built from one combinator.

a language by saxxie.dev

Parser, interpreter, and lambda-calculus evaluator for the iota combinator calculus — with a WASM-backed web REPL.

Open the REPL View source

What is it?

i++ is a numerical programming language in the Iota family. Every term is built from a single universal combinator i and function application; from that foundation you can recover the classic S, K, and I combinators, derive boolean logic, encode arithmetic, and compute with real and complex numbers.

Features

  • Universal iota combinator as the only primitive
  • Standard combinator prelude (I, K, S, B, C, T, M, …)
  • Elementary math library via EML — exponentials, logarithms, and complex numbers
  • Switch between lambda notation and raw combinator output
  • Runs in the browser as a compact WASM module
  • Native CLI REPL for quick experiments

Quick example

import Combinators
S K K x
# ⇒ x

Background

The language is rooted in Iota and Jot and borrows its elementary math primitives from EML — All elementary functions from a single binary operator (Odrzywołek).