Jadpo is experimental and not ready for production. These docs follow the compiler's main branch as of 4 Nov 2026. What's built · Install 0.2.0
jadpo
ReferencePeople and contact

LanguageValues and typesStandard types

People and contact

Names, email addresses, phone numbers and postal addresses.

Topics

Names, addresses and countries

These types hold people's names, postal addresses and email addresses, and the closed lists every app needs: countries and their subdivisions, languages, scripts, continents, nationalities.

Phone numbers and postal codes

A phone number is kept in its international form and a postal code in its country's form, but people type both in their own way.

Types

TypeWhat it is
PersonNameA person's name: a given name and, if they have one, a family name.
GivenNameThe name a person goes by, one line as they write it.
FamilyNameA person's family name, one line as they write it.
UsernameA login handle: lower-case letters, digits, _, . and -, up to 64 of them.
EmailAn email address, checked as one.
EmailWithNameAn email address with the name shown beside it: Mary Somerville <mary@example.com>.
PhoneNumberA phone number with its country code, written +447400123456.
PhoneExtensionAn internal extension dialled after a phone number: up to 20 digits.
PostalAddressA postal address in any country.
PostalCodeA postal code or ZIP code, such as SW1A 1AA.
UprnA Unique Property Reference Number, the identifier for a property in Great Britain.
NationalityA person's nationality, named by country code: GB.

Markdown for agents: /docs/types-people-and-contact.md.Built from Jadpo main at 6cc3cb4.