fzy (fozzylang)

एक सामान्य-उद्देश्यीय सिस्टम भाषा और उत्पादन टूलचेन जिसमें डिफ़ॉल्ट रूप से मेमोरी-सुरक्षित भेजी गई सुरक्षित-भाषा सतह, सत्यापन योग्य शुद्धता, निर्धारित निष्पादन, और रीप्ले-प्रथम डिबगिंग शामिल है।

fzy एक उत्पादन CLI, fz, शिप करता है, जो कंपाइलर वर्कफ़्लो और निर्धारित सत्यापन दोनों के लिए है। शुद्धता, निर्धारण, रीप्ले, घटना कलाकृतियाँ, और उत्पादन साक्ष्य सामान्य वर्कफ़्लो का हिस्सा हैं, न कि बाद में विचार। भाषा का त्वरित दृश्य टूर देखने के लिए, अपने ब्राउज़र में open fzl-showcase.html के साथ शिप किए गए FZL शोकेस को खोलें। आप इसे क्यों चुन सकते हैं, इसके संक्षिप्त तर्क के लिए WHYFZY.md देखें।

रिपॉजिटरी आर्किटेक्चर नीति आंतरिक रूप से टाइप की गई है और वास्तविक सीमाओं पर केवल JSON है।

यहाँ से शुरू करें

• स्थापित करें: INSTALL.md
• पूर्ण मैनुअल: USAGE.md
• fzy क्यों: WHYFZY.md
• सिंटैक्स और कमांड उदाहरण: CODE.md
• उत्पादन वर्कफ़्लो: docs/production-workflow-v1.md
• GPU प्रोग्रामिंग और सत्यापन: docs/gpu-v1.md
• सुरक्षा और विश्वास मॉडल: docs/system-safety-trust-model-v1.md
• असुरक्षित लेखन: docs/unsafe-contract-authoring-v1.md
• स्थिरता स्तर: docs/language-stability-v1.md
• कार्यक्षेत्र नीति विरासत: docs/workspace-policy-v1.md
• परिचालन अंतर्दृष्टि: docs/operational-insights-v1.md
• fzyllm: saint0x/fzyllm

स्थापित करें

अनुशंसित स्थापना:

curl -fsSL https://raw.githubusercontent.com/saint0x/fzy/main/install.sh | sh

यह fz को ~/.local/bin में स्थापित करता है, यदि आवश्यक हो तो PATH अपडेट करता है, और fz version और fz env के साथ स्थापना की पुष्टि करता है।

स्रोत फ़ॉलबैक:

curl -fsSL https://raw.githubusercontent.com/saint0x/fzy/main/install.sh | sh -s -- --from-source

त्वरित दृष्टि

सबसे तेज़ अवलोकन चाहते हैं? open fzl-showcase.html के साथ fzl-showcase.html खोलें, उत्पाद तर्क के लिए WHYFZY.md को स्किम करें, फिर नीचे दिए गए नमूने का उपयोग एक संक्षिप्त निष्पादन योग्य स्केच के रूप में करें।

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
}

व्यापक भाषा कवरेज के लिए, CODE.md, examples/, और ब्राउज़र-अनुकूल FZL शोकेस का उपयोग करें।

फ्रेमवर्क पैकेज सामान्य पैकेज नियमों का पालन करते हैं: उन्हें fozzy.toml में [deps] के तहत घोषित करें, फिर उन्हें स्रोत में use fzbounds;, use fzweb;, और समान पैकेज नामों के साथ आयात करें। सीधे स्रोत जाँच जैसे fz check src/services/mod.fzy --json अब मालिक पैकेज संदर्भ के माध्यम से मान्य होते हैं, इसलिए निर्भरता आयात और सहोदर मॉड्यूल पूर्ण-प्रोजेक्ट जाँचों में समान व्यवहार करते हैं।

fzy में क्या है

• fz: बिल्ड, रन, टेस्ट, वेरिफाई, डॉक्स, IR, RPC, हेडर, ABI जाँच, और अधिक के लिए कंपाइलर CLI
• अंतर्निहित फ़ॉर्मेटिंग और डॉक्स जनरेशन: fz fmt, fz doc gen
• फ्रंट-एंड और IR पाइपलाइन: crates/parser, crates/ast, crates/hir, crates/fir
• सत्यापनकर्ता और सुरक्षा प्रवर्तन: crates/verifier
• निर्धारित रनटाइम प्राइमिटिव: crates/runtime
• ड्राइवर और आर्टिफैक्ट ऑर्केस्ट्रेशन: crates/driver
• निष्पादन योग्य Fozzy परिदृश्य: tests/*.fozzy.json

वर्तमान स्थिति

आज कार्यान्वित और मान्य:

• सामान्य-उद्देश्यीय सिस्टम-भाषा का दायरा, कोई विशेष एकल-डोमेन उपकरण नहीं
• डिफ़ॉल्ट रूप से सुरक्षित, स्पष्ट असुरक्षित द्वीपों के साथ, कंपाइलर-जनित असुरक्षित इन्वेंट्री/डॉक्स, और alloc(...) / free(...) के माध्यम से ऑप्ट-इन मैन्युअल मेमोरी प्रबंधन
• सामान्य कोड और unsafe { ... } द्वीपों में वास्तविक रनटाइम defer शब्दार्थ, ताकि निर्धारित सफाई को केवल दस्तावेज़ित करने के बजाय लागू किया जाए
• सत्यापनकर्ता-प्रवर्तित स्वामित्व, उधार, क्षमता, FFI, और मूल-कम करने योग्यता नियम
• उस मॉडल के भीतर स्पष्ट मैन्युअल मेमोरी प्रबंधन समर्थित है, जिसमें स्वामित्व-जागरूक alloc(...) / free(...) प्रवाह और सत्यापनकर्ता-दृश्य जीवनचक्र जाँच शामिल हैं
• सामान्य उत्पादन गेट के रूप में निर्धारित ट्रेस, रीप्ले, और शेड्यूलर सत्यापन
• फ़ाइलसिस्टम, प्रक्रिया, और HTTP व्यवहार के लिए होस्ट-समर्थित विश्वास पथ
• निर्धारित शेड्यूलर मोड: fifo, random, coverage_guided
• async, थ्रेड, और RPC निष्पादन के लिए निर्णय कलाकृतियाँ
• RPC फ्रेम घटनाएँ: rpc_send, rpc_recv, rpc_deadline, rpc_cancel
• रीप्ले/न्यूनतमीकरण वर्कफ़्लो के लिए एक्सप्लोर और श्रिंक मेटाडेटा
• पार्स किए गए test ब्लॉकों से भाषा-मूल परिदृश्य पीढ़ी
• mod घोषणाओं से पुनरावर्ती मल्टी-फ़ाइल मॉड्यूल लोडिंग
• निर्यातित pubext c fn हस्ताक्षरों से C हेडर पीढ़ी
• fz rpc gen के माध्यम से RPC स्कीमा, क्लाइंट, और सर्वर स्टब पीढ़ी
• ADTs, पैटर्न मिलान, ट्रेट्स, जेनेरिक्स, टाइप किए गए डोमेन मॉडलिंग, प्रक्रिया, टर्मिनल, लॉगिंग, फ़ाइलसिस्टम/पथ, सीमा JSON, और आउटबाउंड स्ट्रीमिंग HTTP में आधुनिक भाषा/रनटाइम सतह
• core.crypto और core.security के माध्यम से उत्पादन क्रिप्टो/सुरक्षा सतह, जिसमें सुरक्षित रैंडम, हैशिंग, HMAC, स्थिर-समय तुलना, और URL-सुरक्षित एन्कोडिंग शामिल हैं
• fzweb उत्पादन वेब फ्रेमवर्क मॉड्यूल ऐप रूटिंग, कुकीज़, सत्र, मल्टीपार्ट अपलोड, दृढ़ता, SSE, वेबसॉकेट, और OpenAPI निर्यात के लिए
• fz run लाइव टेक्स्ट स्ट्रीमिंग या JSON कैप्चर के साथ सीधे मूल आउटपुट निष्पादित करता है
• LLVM और Cranelift मूल बैकएंड समानता-उन्मुख सत्यापन के साथ
• प्रत्यक्ष-मेमोरी रिलीज़ गेट:
  • python3 scripts/direct_memory_architecture_gate.py
  • python3 scripts/direct_memory_perf_gate.py
• core.gpu के माध्यम से उत्पादन GPU सतह, Apple पर लाइव Metal निष्पादन और साझा spirv/nvptx एडॉप्टर अनुबंधों के साथ

उत्पादन दावे

fzy आज इन उत्पादन दावों का समर्थन करने के लिए तैयार है:

• शिप की गई सुरक्षित-भाषा सतह दस्तावेज़ित सत्यापनकर्ता/कंपाइलर नियम दायरे में डिफ़ॉल्ट रूप से मेमोरी-सुरक्षित है, स्पष्ट ऑडिटेड असुरक्षित सीमाओं और ऑप्ट-इन स्वामित्व-ट्रैक किए गए मैन्युअल मेमोरी प्रबंधन के साथ
• आंतरिक कंपाइलर/रनटाइम/टूलिंग शब्दार्थ एक टाइप किया गया सत्य का स्रोत बना रहता है, JSON केवल बाहरी सीमाओं, उत्पन्न कलाकृतियों, और ऑपरेटर-सामना करने वाले मशीन आउटपुट के लिए आरक्षित है
• alloc(...) / free(...) सुरक्षित कोड में रहता है जब कंपाइलर अभी भी स्वामित्व, उत्पत्ति, और सफाई निष्पादन को सत्यापित कर सकता है
• सत्यापनकर्ता, निदान, निर्धारित परीक्षण, रीप्ले, और CI कलाकृतियों के माध्यम से सत्यापन योग्य शुद्धता
• रिकॉर्ड किए गए ट्रेस, रीप्ले, और शेड्यूलर नियंत्रण के माध्यम से निर्धारित निष्पादन
• async/कार्य, RPC, ADTs, ट्रेट्स/जेनेरिक्स, प्रक्रिया नियंत्रण, टर्मिनल I/O, लॉगिंग, फ़ाइलसिस्टम/पथ, टाइप किया गया आंतरिक स्थिति, सीमा JSON, और स्ट्रीमिंग HTTP में सामान्य-उद्देश्यीय सिस्टम कवरेज
• fzweb के माध्यम से उत्पादन वेब/सेवा कवरेज और सुरक्षा प्राइमिटिव जो सत्र/कुकी/प्रमाणीकरण प्रवाह को समर्थित रनटाइम सतह के अंदर रखते हैं

यह भी देखें:

• docs/system-safety-trust-model-v1.md
• docs/production-memory-model-v1.md
• docs/production-workflow-v1.md

बिल्ड और परीक्षण