Alpha status and supported targets

Silk is an unreleased alpha language. The current compiler is substantial enough to write and run real programs, but neither source compatibility nor standard-library API compatibility is stable. Expect breaking changes, incomplete tooling, and sharp edges while the language is still being designed.

This page describes the implementation in the current repository. It is a boundary document, not a promise that every listed facility is finished or suitable for production use.

What works today

The implemented language includes:

• modules, imports, visibility, globals, and typed constants;
• integers, floating-point values, booleans, characters, and string and byte data;
• structs, scalar enums, nominal unions, fixed arrays, runtime slices, structural unions, and exhaustive matching;
• functions, first-class callables, pipelines, generics, interfaces, and specialization;
• mutable places, affine ownership, shared and exclusive borrowing, explicit moves, and deterministic Drop on structured exits;
• lazy typed Effects with independent success, failure, and service-requirement channels;
• replaceable runtime services, lexical providers, failure recovery, finalization, retry, and explicit stack-safe Effect suspension;
• cooperative single-threaded Fibers, structured cancellation, and an explicit local scheduler; and
• an embedded standard library covering owned collections, allocation, text and bytes, hashing, formatting, logging, filesystem and process capabilities, input and output, random values, metrics, Effects, and Fibers.

The compiler checks source with one semantic model, lowers it to target-aware intermediate forms, and emits executable artifacts through LLVM. Compile-time static evaluation constructs selected target facts during analysis; it does not execute the runtime program.

Supported targets

The bootstrap compiler recognizes this closed target set:

The llvm backend accepts every target above. Native linking and WebAssembly finalization require a suitable Clang toolchain; cross-compiling may additionally require a compatible sysroot and linker environment.

The portable selector host resolves only on macOS ARM64 and Linux x64 or ARM64. Windows and Intel macOS are not native bootstrap hosts in this alpha. Target support says that the compiler knows the target's layout and backend path; it does not promise that every OS capability is available on every target. Reachable target-specific intrinsics are checked before artifact emission.

Execution paths

LLVM is the current runtime implementation family: it emits native executables and WebAssembly. The shared native acceptance corpus pins target-neutral runtime behavior, and focused LLVM-to-Wasm tests cover WebAssembly contracts. Compile-time StaticEvaluation is a separate analysis phase and never serves as a runtime execution path.

Important alpha boundaries

The following are not current language capabilities:

• parallel execution, multithreading, preemptive scheduling, or detached tasks;
• a package registry or stable third-party dependency format;
• broad native FFI: scalar, raw-pointer, and C-layout-record extern "C" imports and export "C" exports exist, but library artifacts and a stable ABI do not;
• self-hosting, macros, async/await syntax, or generic type aliases; and
• a compatibility guarantee for syntax, diagnostics, manifests, generated artifacts, or standard library APIs.

Networking is not a portable standard-library service in the current alpha. Some host-facing facilities, such as OS filesystem and child-process providers, are necessarily target-specific and expose typed unsupported or platform failures where their contracts cannot be met.

How to read the documentation

Hand-written examples in this documentation are compiled by the repository test suite. The standard-library reference and diagnostic index are generated from compiler-owned sources and are checked for staleness. The prescriptive reference records programmer-visible rules, implementation boundaries, and evidence.

When prose and behavior disagree during alpha development, treat it as a bug. Report the smallest source example, selected target, compiler revision, and diagnostic code or observed result.

See also

• Getting started
• Language reference
• Ownership, borrowing, and cleanup
• Effects, failures, and services
• Fibers and local scheduling
• Diagnostic index