SendLang — a language layer for lifecycle email

ReferenceThe full syntax for both languagesSendLang is the home of two small, focused languages. SendQL describes who a message is for. SendFlow describes what happens to them over time — and speaks SendQL natively.Written by people and by coding agents — a published grammar, a type checker to iterate against, and a diff you approve. See how. SendFlowtrial-onboarding.flow workflow "Trial onboarding" v1 { enter on segment "trial-started" exit "converted" when attr.plan != "trial"

send "welcome" via topic "onboarding" wait 2d if not exists(open where template = "welcome") { send "welcome-reminder" via topic "onboarding" wait 2d } send "activation-tips" via topic "onboarding" wait up to 7d until count(activity.login within 7d) >= 2 { timeout: send "need-a-hand" via topic "onboarding" } } Already in production atSendLangOne family, two languagesSendQL is the noun. SendFlow is the verb. Together they turn contact data and event streams into campaigns you can read in a diff.SendQLthe whoA segment-definition query language. Every query is a single boolean expression describing which contacts a segment matches. SendQLsegment.sendql attr.plan = "pro" and attr.country in ["US", "CA", "MX"] and not suppressed SendFlowthe whatA drip-workflow language stored in .flow files. It reads top to bottom and embeds SendQL for every condition. SendFlowonboarding.flow workflow "Nudge" v1 { enter on segment "trial-started"

wait 2d if not exists(open within 2d) { send "nudge" via topic "onboarding" } } Why a languageYour lifecycle email, in version controlEvery other tool locks your cohorts and lifecycle campaigns inside a visual editor.

Make them a language instead, and they become text you can diff, review, and hand to a coding agent.winback.flow+3−1·workflow "Winback" v1 {· enter on segment "inactive-90d"· exit "reactivated" when count(open within 14d) >= 1·· send "we-miss-you" via topic "marketing"− wait 3d+ wait up to 5d until exists(click within 5d) {+ timeout: send "last-call" via topic "marketing"+ }·}It lives in version controlEvery segment and workflow is a plain text file. Diff it, review it in a pull request, roll it back. Your targeting and your drip logic earn the same rigor as the rest of your code.It fails before it sendsA misspelled attribute is a type error with a line and a column — not a campaign that quietly sends to nobody for a week.A coding agent can write itThis is the big one. A canvas is a dead end for an agent; a language is the loop it already works in. Describe the outcome, let it draft the file, merge it once it passes review.Coding agentsHand the campaign to an agentA canvas is a dead end for a coding agent — it cannot read it, change it, or tell you what it changed. A language is the loop an agent already works in: read the file, write the file, run the checker, open a pull request. That is not a side effect of the design. It is a reason for it.“Three days before a trial ends, email them. If they have not clicked within three days, send the upgrade offer.” SendFlowtrial-ending.flow workflow "Trial ending" v1 { enter on 3d before attr.trial_ends_at exit "upgraded" when attr.plan !

= "trial"

send "trial-ending" via topic "onboarding" wait up to 3d until exists(click where template = "trial-ending" within 3d) { timeout: send "upgrade-offer" via topic "marketing" } } cisendflow-fmt -l flows/sendflow-lint -registry registry.json flows/*.flowflows/trial-ending.flow: okThe docs are machine-readableEvery page has a Markdown twin, and llms.txt / llms-full.txt hand an agent the whole of both languages in a single fetch. Nothing to scrape, nothing to guess at.A grammar, not a guessThe normative EBNF and the reserved-word list are emitted by the parsers themselves, so the spec an agent reads cannot drift from the code that judges what it writes.The type checker is the feedback loopEvery parse and type error carries a line, a column, and a message that names the fix. The agent iterates against the checker until the run is clean — and nothing sends until it is.You are still the approverNo goto, no unbounded loops, nothing to evaluate. The worst an agent can hand you is a workflow that terminates — and you read it as a diff before it ever reaches a contact.SendQLDescribe exactly who you meanSendQL reads events as a first-class source alongside contact attributes — the gap left by engines that see only precomputed rollups, never the raw stream.Attributes and listsMatch on contact data with operators, in [...] sets, contains / starts with / ends with, and list or segment membership.Events as a first-class sourceQuery the raw event stream directly — count, exists, sum, avg, last, first — not just precomputed engagement rollups.Consent and suppressionExpress deliverability rules inline: subscribed to "topic", opted out of "topic", unsubscribed from all, not suppressed.Windows and recencyBind a time window to any event source with within 30d or between two dates, and reason about recency with now - 14d. SendQLsegments.sendql // A high-intent trial user, and safe to email.

attr.plan = "trial"

// Signed up 3-14 days ago and now - attr.signup_date between 3d and 14d

// Engaged with the mail we already sent and count(open within 14d) >= 1 and exists(click where url contains "/pricing" within 7d)

// Uses the product, but has not bought and count(activity.login within 7d) >= 2 and not exists(activity.order)

// Opted in, and not suppressed and subscribed to "product-updates" and not suppressed

SendFlowcart-abandonment.flow workflow "Cart abandonment" v1 { enter on activity.cart_updated where not exists(activity.order within 1h) exit "purchased" when exists(activity.order) reentry per occurrence

wait 1h hold out 10% send "cart-reminder" via topic "marketing" repeat up to 2 every 24h until exists(activity.order) { send "cart-nudge" via topic "marketing" } } The same file, rendered as a canvasEntercart_updatedWait1 hourSendcart-reminderrepeat up to 2 · every 24h · until orderSendcart-nudgeExitpurchasedSendFlowStructure, no gotoA workflow reads top to bottom and maps losslessly to a flowchart — sequence, waits, branches, weighted splits, and one bounded repeat. Never a goto, never an unbounded loop.One trigger, many exitsEnter on a segment, an activity, an email event, or a duration before a contact's own date. Named exits report conversions the moment they happen.Timed stepswait 2d, wait until a date or attribute, or wait up to 7d until a condition — with an optional timeout arm.Branch, split, hold outFall-through if / else if / else, weighted split { 30%: ... 70%: ... } that must sum to 100, and hold out 10%.Bounded loops onlyThe single loop is repeat up to N every duration until a condition. No goto, no unbounded loops, ever.

How they fitSendFlow speaks SendQLThe predicate you write to define a segment is the very same syntax that drives every condition inside a workflow.A SendQL segment SendQLengaged.sendql count(open within 14d) >= 1 The same predicate, inside a workflow SendFlowwinback.flow workflow "Winback" v1 { enter on segment "inactive-90d" exit "reactivated" when count(open within 14d) >= 1

send "we-miss-you" via topic "marketing" wait up to 5d until exists(click within 5d) { timeout: send "last-call" via topic "marketing" } } A strict supersetOne shared token streamOne type-checker and diagnosticsDesignBuilt like languages, not configBoth languages are versioned by a profile number, split cleanly from their execution engines, and specified down to a machine-checked grammar.Structured by designSequence, branch, bounded repeat, timed waits, named exits — a control-flow subset that maps losslessly to a flowchart.Events as first classSelection over the raw event stream sits alongside contact attributes, so you can segment on behavior, not just state.Golden-pinned grammarA normative EBNF is generated from the parser and pinned by tests, so the spec can never silently drift from the code.Precise diagnosticsParsing and type-checking are separate stages, and every error carries a line and column pointing at the exact token.A canonical formatterSendFlow ships a one-true-layout printer — gofmt for flows — so every workflow in your repository reads the same way.A canvas, losslesslyThe control flow is restricted enough that a workflow maps onto a flowchart and back with nothing lost — comments included. Text and canvas are two views of one thing.DocumentationThe whole language, written downEvery construct in both languages, every diagnostic they can produce, and a normative grammar generated from the parsers themselves — so the spec can never quietly drift from the code.