Jadpo is experimental and not ready for production. These docs follow the compiler's main branch as of 5 Nov 2026. What's built · Install 0.3.0
jadpo
ReferenceErrors

ErrorsValues and types · rule

syntax.null_coalescing

Default for a missing value written with ??.

Area 2, Values and types; not declinable; the next step is usually the agent's.

A value that may be none is read with a match that handles both cases; the edit writes it.

example
type ProductName = Text {    min_length: 1}type Listing = Object {    name: ProductName    subtitle: ProductName?}function headline(listing: Listing) -> ProductName {    return listing.subtitle ?? listing.name}
jadpo checkcheck failed: 1 error, 1 file

error Jadpo reads a value that may be none with match, not ??

--> main.jadpo:11:29

   |11 |     return listing.subtitle ?? listing.name   |                             ^^ write a `match`
reason
?? gives a default for a missing value in JavaScript, TypeScript, C# and Swift, and ?: in Kotlin; Jadpo reads a value that may be none with a match that handles both cases.
next
Write match listing.subtitle with the arms some(subtitle) -> subtitle and none -> listing.name (agent)
rule
syntax.null_coalescing
help
https://jadpo.dev/docs/errors/syntax.null_coalescing

Markdown for agents: /docs/errors/syntax.null_coalescing.md.Built from Jadpo main at aee2e8f.