https://mica-dev.com/compiler/capabilities/Recent content in Capability Catalog on Mica Development UGhttps://mica-dev.com/Mica%20Development%20Web.jpeghttps://mica-dev.com/Mica%20Development%20Web.jpegHugoenhttps://mica-dev.com/compiler/capabilities/data-race-freedom/Mon, 01 Jan 0001 00:00:00 +0000https://mica-dev.com/compiler/capabilities/data-race-freedom/Mica catches shared-state access at compile time through a marking discipline on the activation tree - no ownership types, no lifetime annotations, and no runtime race detection.https://mica-dev.com/compiler/capabilities/heap-lifetime-proof/Mon, 01 Jan 0001 00:00:00 +0000https://mica-dev.com/compiler/capabilities/heap-lifetime-proof/Mica proves heap lifetimes by flow analysis. Undischarged allocations are compile errors, and where the analysis cannot follow a pointer it narrates rather than demands.https://mica-dev.com/compiler/capabilities/no-llvm-backend/Mon, 01 Jan 0001 00:00:00 +0000https://mica-dev.com/compiler/capabilities/no-llvm-backend/Mica generates native x86_64 and AArch64 code with its own backend. Every phase from lexing to DWARF emission is ours, with no external code-generation dependency.https://mica-dev.com/compiler/capabilities/c-boundary/Mon, 01 Jan 0001 00:00:00 +0000https://mica-dev.com/compiler/capabilities/c-boundary/Mica links against C libraries in both directions with no wrapper layer, and lifts C error conventions into the language's failure channel at the call site.https://mica-dev.com/compiler/capabilities/failure-channel/Mon, 01 Jan 0001 00:00:00 +0000https://mica-dev.com/compiler/capabilities/failure-channel/Mica separates expected errors from bugs. The fails channel is out-of-band - no sum types, no payload enums, no tuples - and release builds pay nothing for it.https://mica-dev.com/compiler/capabilities/zero-dependency/Mon, 01 Jan 0001 00:00:00 +0000https://mica-dev.com/compiler/capabilities/zero-dependency/The Mica compiler has no external code dependencies. Every phase is ours, which makes the supply-chain surface effectively nil.https://mica-dev.com/compiler/capabilities/determinism/Mon, 01 Jan 0001 00:00:00 +0000https://mica-dev.com/compiler/capabilities/determinism/Mica guarantees bit-identical numeric results across carrier counts and across architectures, by partitioning work so accumulations are never split.https://mica-dev.com/compiler/capabilities/how-the-optimizer-sees-your-code/Mon, 01 Jan 0001 00:00:00 +0000https://mica-dev.com/compiler/capabilities/how-the-optimizer-sees-your-code/Mica builds a control flow graph, then derives liveness and reaching definitions as monotone dataflow analyses whose worklist iteration provably converges.https://mica-dev.com/compiler/capabilities/ownership-without-lifetimes/Mon, 01 Jan 0001 00:00:00 +0000https://mica-dev.com/compiler/capabilities/ownership-without-lifetimes/Mica answers ownership and aliasing independently, with defaults chosen by data-flow direction: returns give ownership, parameters borrow it. No lifetimes, no reference types.https://mica-dev.com/compiler/capabilities/register-allocation/Mon, 01 Jan 0001 00:00:00 +0000https://mica-dev.com/compiler/capabilities/register-allocation/How the Mica compiler assigns registers: whole-function linear scan, Chaitin–Briggs graph colouring with coalescing, loop-weighted spill costs, and a debug build in which no variable is optimised away.https://mica-dev.com/compiler/capabilities/sequential-consistency/Mon, 01 Jan 0001 00:00:00 +0000https://mica-dev.com/compiler/capabilities/sequential-consistency/Mica's memory model is DRF-SC - data-race-free programs are sequentially consistent - with the data-race-freedom obligation moved into the compiler.https://mica-dev.com/compiler/capabilities/allocator-as-link-decision/Mon, 01 Jan 0001 00:00:00 +0000https://mica-dev.com/compiler/capabilities/allocator-as-link-decision/Mica treats allocator selection as instruction selection. Deployment class is decided at link time, so one source tree serves a hosted server and a no-OS-heap embedded target.https://mica-dev.com/compiler/capabilities/global-value-numbering/Mon, 01 Jan 0001 00:00:00 +0000https://mica-dev.com/compiler/capabilities/global-value-numbering/Mica eliminates redundant computation with dominance-scoped hash-based global value numbering, with literals participating as values and every collapse reported as a counter.https://mica-dev.com/compiler/capabilities/tasks-and-blocking-io/Mon, 01 Jan 0001 00:00:00 +0000https://mica-dev.com/compiler/capabilities/tasks-and-blocking-io/How the Mica runtime schedules stackful tasks over carrier threads, and what happens to the rest of the program when one task issues a descriptor operation that would block.https://mica-dev.com/compiler/capabilities/refusals-as-design/Mon, 01 Jan 0001 00:00:00 +0000https://mica-dev.com/compiler/capabilities/refusals-as-design/Mica refuses variant records, procedural types, double indirection, with-statements and goto in statement position — each refusal has a structural replacement.