sable·playground

A statically-typed language with full type inference. The compiler is itself compiled to WebAssembly — your code is compiled and run in this tab, with no server.

source on GitHub →

Program

ready —

Result

Press “Compile & run”.

Inferred types

No annotations needed — types are inferred by Algorithm W.

Generated WebAssembly

—

Sable has no type annotations: fn id(x) = x is inferred as forall 'a. ('a) -> 'a and monomorphized into one Wasm function per concrete use. Integer operators are + - * / %; float operators carry a dot (+. -. *. /.) because the language has no type classes to overload them.