compact-core:compact-language-ref

What problem does it solve?

Provides a clear, discoverable reference for the Compact language so developers can understand precise typing rules, casting behavior, operator semantics, control flow restrictions, module/import patterns, and standard library functions needed to write correct, provable circuits and avoid common compiler errors.

Core Features & Use Cases

• Types & Casting: Explains primitive, opaque, collection, and custom types, literal typing, subtyping, and safe cast patterns with checked vs static casts.
• Operators & Expressions: Clarifies arithmetic widening, boolean and relational operators, conditional expressions, and anonymous circuits used by map/fold.
• Control Flow & Modules: Documents const-only bindings, for-loop unrolling and restrictions, if/else rules, pragma and include behavior, import forms, and export conventions for TypeScript interop.
• Stdlib & Troubleshooting: Summarizes persistent vs transient hashing/commitments, disclose and assert semantics, pad/default utilities, and a wrong-to-correct compiler error quick reference for debugging.

Quick Start

Ask the skill to explain Compact types, casting rules, loop and disclosure restrictions, and key stdlib functions with practical wrong-to-correct examples and references to deeper documentation.