ImplementedPrismio 0.1.0
Prismio guides
Practical guides for organizing Prismio programs, integrating C, reasoning about memory, and developing the self-hosted compiler.
Last verified
Implemented. Available in the audited Prismio 0.1.0 compiler. Pre-1.0 syntax may still change.
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
- Organize source with modules explains entry-rooted dotted imports, wildcard imports, flattened names, and project layout.
- Call C with ownership contracts covers exact ABI declarations, borrow/consume/retain contracts, native linking, and wrapper design.
- 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.