Prismio guides

Guides connect multiple reference rules into a maintainable workflow. They assume the reader already knows the basic syntax and call out experimental or foreign-code boundaries explicitly.

Application development

• Use Prismio in IntelliJ installs the plugin, points it at a compiler, starts a project, and runs and checks code from the editor.
• Organize source with modules explains entry-rooted dotted imports, wildcard imports, flattened names, and project layout.
• Calling C from Prismio compiles your own C into a program with a native block, calls it through extern fn, and shows when the build recompiles it.
• Call C with ownership contracts covers exact ABI declarations, borrow/consume/retain contracts, and wrapper design.
• Freestanding programs builds a program with no operating system under it, boots it under QEMU, and lists what it cannot use yet.
• Freestanding benchmarks measures Prismio against C and Rust on that machine in exact guest instructions, and explains how to read the table.
• Choose memory intent with AIF starts from stable ownership, inspects allocation evidence, and adds experimental constraints only when measured.

Compiler development

• Develop the self-hosted compiler covers generation builds, fixed points, regression tests, AIF oracles, and cross-platform checks.

Guides are task-oriented rather than normative. Follow their links into the language reference for syntax and the specification for conformance requirements. For a small copyable program, use verified examples; for one focused integration task, use the cookbook.