tdl

tdl

TDL is a language for describing domain models. It says what things are, what identifies them, how they relate, and what values they may hold, and compiles them into equivalent definitions in other structured formats. It describes no behavior and has no expressions, control flow, or runtime.

This repository owns the canonical language specification and its reference implementation, written in Go.

Status

Early and incomplete, and moving.

The front end is done. The lexer and parser read the whole grammar, and tdl check, tdl fmt, tdl ast, and tdl tokens work across it. union is reserved and unimplemented; nothing else in grammar.ebnf is missing.

The middle is most of the way there. tdl ir prints a resolved model:

• Names resolve, with scopes, shadowing, and the spec's recursion rules.
• Sugar lowers to prelude types, and the prelude is TDL source rather than something built in, so [T] means whatever the loaded prelude says List is.
• Imports resolve across packages without inlining the dependency.
• Mixins expand, and the class satisfaction index answers both for declarations and for types made to satisfy a class by a conditional instance.
• Constraints accumulate down newtype chains, and defaults resolve against their field's type.
• Target directives resolve against the model and attach to the nodes they apply to.

The back end does not exist. There are no code generators yet, and nothing speaks the plugin protocol. Units, and merging a dependency's target blocks, are the two pieces of resolution still outstanding.

The design is settled and written down:

Example

package shop

entity Order {
  key id: OrderId
  customer: Customer
  shipping: Address?
  items: [LineItem] owned where { length(1..) }
  status: Status = Draft
  total: Money
}

entity Customer {
  key email: Email
  name: string?
}

value Address {
  line1: string
  line2: string?
  city: string
  postcode: string
  country: string
}

value Money {
  amount: decimal
  currency: Currency
}

type OrderId: uuid

type Email: string where {
  matches(/^[^@]+@[^@]+$/)
  length(3..254)
}

enum Currency { USD EUR GBP }

enum Status { Draft Placed Shipped Cancelled }

entity and value is the modelling decision: an Order has identity that survives its contents changing, an Address does not. Everything a code generator needs lives in a separate target block, never in the model.

Usage

tdl check ./types.tdl    # parse and report syntax errors
tdl fmt ./types.tdl      # print canonical formatting; -w to write in place
tdl ast ./types.tdl      # print the parse tree
tdl gen ./types.tdl      # run every target block; --target narrows, -o overrides
                         # --verify checks, --clean empties first, --watch reruns
tdl ir ./types.tdl       # print the resolved model; --format json for the plugin view
tdl tokens ./types.tdl   # print the token stream
tdl version              # tool and spec versions

Playground

tdl play watches a file and re-renders it on every save.

tdl play                              # scratch.tdl, created from a template if missing
tdl play ./types.tdl --views all      # source, fmt, ast, tokens, stats
tdl play ./types.tdl --views fmt      # one pane
tdl play ./types.tdl --once           # render and exit

Views are source, fmt, ast, tokens, stats, or all; the default is fmt,ast. Parse errors render below the panes with a caret at the reported column.

examples/ holds files to start from: the same domain modelled flat and nested, plus collections and target blocks.

Releases

Versions come from release-please: a release pull request accumulates conventional commits and, when merged, tags a release and writes CHANGELOG.md.

Nothing about a version is edited by hand. toolVersion and the Nix package version carry annotations that the release PR rewrites.

Development

command make build   # nix build .#
command make test    # go test ./...
command make lint    # nix flake check + buf lint
command make fmt     # nix fmt

go build ./... and go test ./... work directly for anyone not using Nix.

Design philosophy

• The language core is small. Almost everything that looks like a type system is library code written in TDL and shipped in a replaceable prelude.
• Identity is first class, and the model is pure: a .tdl file describes the domain, and everything a backend needs lives in a target block.
• Constraints are syntax, not semantics. The compiler parses and resolves them; backends decide what they mean.
• A small, strict grammar with a hand-written lexer and parser. No parser generator, no YAML or JSON stand-in syntax.
• One canonical Go implementation. The spec and the testdata/conformance and testdata/invalid corpora are the contract another implementation would satisfy, which is why they are plain text rather than Go tests.