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

`syntax.collection_type`

Collection type written in another language's form.

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

A collection names its types in angle brackets: List<Tag>, Set<Tag>, Map<Tag, Count>.

example

type Tag = Text {    max_length: 30}type Basket = Object {    tags: Tag[]}

jadpo checkcheck failed: 1 error, 1 file

error Jadpo writes List<Tag>, not Tag[]

--> main.jadpo:6:14

  |6 |     tags: Tag[]  |              ^^ write `List<Tag>`

reason: T[] is a list type in TypeScript, Java and C#, []T in Go, and list[T] in Python; Jadpo writes a collection's types in angle brackets, as in List<T>, Set<T> and Map<K, V>.
next: Write List<Tag> (agent)
rule: syntax.collection_type
help: https://jadpo.dev/docs/errors/syntax.collection_type

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