eine Systemprogrammiersprache, die nachweisbare Korrektheit, Determiniertheit und Leistung priorisiert
Allzweck-Systemsprache und Produktionstoolchain mit einer standardmäßig speichersicheren ausgelieferten sicheren Sprachoberfläche, verifizierbarer Korrektheit, deterministischer Ausführung und eingebautem wiederholungsorientierten Debugging.
fzy liefert eine Produktions-CLI, fz, sowohl für Compiler-Workflows als auch für deterministische Validierung. Korrektheit, Determinismus, Wiederholung, Vorfallartefakte und Produktionsnachweise sind Teil des normalen Workflows und kein nachträglicher Einfall. Für eine kurze visuelle Tour durch die Sprache öffnen Sie die mitgelieferte FZL-Showcase in Ihrem Browser mit open fzl-showcase.html. Für die kurze Begründung, warum Sie es wählen sollten, siehe WHYFZY.md.
Die Repository-Architekturpolitik ist intern typisiert und JSON nur an echten Grenzen.
INSTALL.mdUSAGE.mdWHYFZY.mdCODE.mddocs/production-workflow-v1.mddocs/gpu-v1.mddocs/system-safety-trust-model-v1.mddocs/unsafe-contract-authoring-v1.mddocs/language-stability-v1.mddocs/workspace-policy-v1.mddocs/operational-insights-v1.mdfzyllm: saint0x/fzyllmEmpfohlene Installation:
curl -fsSL https://raw.githubusercontent.com/saint0x/fzy/main/install.sh | sh
Das installiert fz nach ~/.local/bin, aktualisiert bei Bedarf den PATH und verifiziert die Installation mit fz version und fz env.
Quell-Fallback:
curl -fsSL https://raw.githubusercontent.com/saint0x/fzy/main/install.sh | sh -s -- --from-source
Möchten Sie den schnellsten Überblick? Öffnen Sie fzl-showcase.html mit open fzl-showcase.html, überfliegen Sie WHYFZY.md für das Produktargument und verwenden Sie dann das folgende Beispiel als kompakte ausführbare Skizze.
use core.log;
use core.path;
use core.process;
use core.time;
enum Mode {
Fast,
Safe,
}
trait Scorer {
fn score(endpoint: Url) -> i32;
}
struct HttpScorer {}
impl Scorer for HttpScorer {
fn score(endpoint: Url) -> i32 {
discard endpoint;
return 7;
}
}
struct Config<TEndpoint> {
retries: i32,
endpoint: TEndpoint,
mode: Mode,
}
fn weight(mode: Mode) -> i32 {
match mode {
Mode::Fast => return 3,
Mode::Safe => return 1,
_ => return 1,
}
}
async fn boost(v: i32) -> i32 {
checkpoint()
return v + 1
}
fn normalize<T: Scorer>(cfg: Config<Url>) -> i32 {
return weight(cfg.mode) + T.score(cfg.endpoint)
}
async fn run_once(cfg: Config<Url>) -> i32 {
let base = normalize<HttpScorer>(cfg)
return await boost(base)
}
fn main() -> i32 {
let cfg = Config { retries: 4, endpoint: url.parse("https://example.test"), mode: Mode::Fast }
let now = time.now()
let out_path = path.join("tmp", "score.log")
let mode = process.argv_or(1, "showcase")
let score = normalize<HttpScorer>(cfg)
log.info("snippet.run", out_path)
discard mode
discard run_once
if score + now > 0 then return score
return score
}
Für eine breitere Sprachabdeckung verwenden Sie CODE.md, examples/ und die browserfreundliche FZL-Showcase.
Framework-Pakete folgen normalen Paketregeln: Deklarieren Sie sie in fozzy.toml unter [deps] und importieren Sie sie dann im Quellcode mit use fzbounds;, use fzweb; und ähnlichen Paketnamen. Direkte Quellprüfungen wie fz check src/services/mod.fzy --json validieren jetzt über den Kontext des Besitzerpakets, sodass sich Abhängigkeitsimporte und Geschwistermodule genauso verhalten wie bei Vollprojektprüfungen.
fz: Compiler-CLI für Build, Run, Test, Verify, Docs, IR, RPC, Header, ABI-Prüfungen und mehrfz fmt, fz doc gencrates/parser, crates/ast, crates/hir, crates/fircrates/verifiercrates/runtimecrates/drivertests/*.fozzy.jsonImplementiert und heute validiert:
alloc(...) / free(...)defer-Semantik über normalen Code und unsafe { ... }-Inseln hinweg, sodass deterministische Bereinigung erzwungen und nicht nur dokumentiert wirdalloc(...) / free(...)-Abläufen und für den Verifizierer sichtbaren Lebenszyklusprüfungenfifo, random, coverage_guidedrpc_send, rpc_recv, rpc_deadline, rpc_canceltest-Blöckenmod-Deklarationenpubext c fn-Signaturenfz rpc gencore.crypto und core.security, einschließlich sicherem Zufall, Hashing, HMAC, Konstantzeitvergleich und URL-sicherer Kodierungenfzweb Produktions-Webframework-Module für App-Routing, Cookies, Sessions, Multipart-Uploads, Persistenz, SSE, WebSockets und OpenAPI-Exportfz run führt native Ausgabe direkt mit Live-Text-Streaming oder JSON-Erfassung auspython3 scripts/direct_memory_architecture_gate.pypython3 scripts/direct_memory_perf_gate.pycore.gpu, mit Live-Metal-Ausführung auf Apple sowie gemeinsamen spirv/nvptx-Adapterverträgenfzy ist darauf ausgelegt, heute diese Produktionsansprüche zu unterstützen: