Paradox

A domain specification language that compiles to TypeScript, Haskell, Rust, Python, and more — one source of truth for your entire stack.

Alpha

Paradox is under active development. Expect rough edges, breaking changes, and bugs. We'd love your feedback — file issues when you find them.

▶ Playground ☰ Documentation ⚙ Paradox for Config Source

Supported Backends

Language	Extension	Status
TypeScript	.ts	Full Support
Haskell	.hs	Full Support
Rust	.rs	Full Support
Python	.py	Full Support
Elixir	.ex	Full Support
OCaml	.ml	Full Support
Scala	.scala	Full Support
C++	.cpp	Full Support
Bash	.sh	Full Support
PostgreSQL	.sql	In Progress
SQLite	.sql	In Progress
JSON	.json	Single Term
YAML	.yaml	Single Term

import std

type Person
  name: Text
  age: Integer

valid Person
  age >= 0 | Age must be non-negative

illuminate Person
  name ++ " (" ++ age as Text ++ ")"