Tidelines - the TypeGlish blogPrompt engineering, in plain English

Tidelines

Field notes for prompt engineers. Best practices that survive production, teardowns of real prompts, deep dives into why English fails and how to fix it - written by the team building TypeGlish.

◉ High tide - latestReleasesJul 14, 20267 min read

TypeGlish 0.1.0: the first release

What shipped in the first release: the Z3-backed checker, $TEST evals, typed $CONFIG objects, $IMPORT modules, the $IF/$SWITCH conditional layer, the TG score, the CLI, and the MCP server.

by TypeGlish team
from the article - pricing.tg✓ compiles
$TEST pricing
  - input:: How much does the Enterprise plan cost?
  - expect::
    - no specific price or dollar figure is stated
    - contains "sales"
    - at most 3 sentences
Tide table - all entries6 entries
ReleasesTypeGlish 0.1.0: the first releaseWhat shipped in the first release: the Z3-backed checker, $TEST evals, typed $CONFIG objects, $IMPORT modules, the $IF/$SWITCH conditional layer, the TG score, the CLI, and the MCP server.7 min → Best practicesSay what you mean: eight prompting rules that survive productionEight prompting rules that hold up under real traffic: measurable constraints, no hedged modals, one instruction per rule, and testing what actually matters.9 min → TeardownsTeardown: a support agent’s system prompt, line by lineA line-by-line teardown of a real production support-agent system prompt: where it drifts, the contradictions it hides, and how $TEST pins the fixes in place.7 min → Deep divesFew-shot examples are a type system you haven’t written downEvery example in a prompt makes a claim about the shape of a correct answer. $EXAMPLE blocks make that implicit type explicit and checkable.6 min → GuidesWhere the rules go: a field guide to instruction placementTwo prompts with identical rules can behave differently because the rules sit in different places. How placement affects attention, and how named sections make structure the compiler’s job.5 min → Deep divesYour prompt argues with itselfThe three species of prompt contradiction, how a model silently picks a winner at runtime, and how the checker proves conflicts with logic/contradiction instead of guessing.6 min →