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

ReferenceErrors

Errors Values and types · rule

`type.foreign_type`

Type named as another language names it.

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

A type named as another language names it, which the project doesn't declare: string, int, bool, void, Vec, HashMap, Option<T> and the rest of the table in jadpo_syntax::habits.

example

type Listing = Object {    name: string}

jadpo checkcheck failed: 1 error, 1 file

error Jadpo writes Text, not string

--> main.jadpo:2:11

  |2 |     name: string  |           ^^^^^^ write `Text`

reason: string is text in TypeScript, C# and Go; Jadpo calls it Text.
next: Use Text instead of string (agent)
rule: type.foreign_type
help: https://jadpo.dev/docs/errors/type.foreign_type

Markdown for agents: /docs/errors/type.foreign_type.md.Built from Jadpo main at aee2e8f.