[{"data":1,"prerenderedAt":483},["ShallowReactive",2],{"navigation":3,"-design":239,"-design-surround":480},[4,159],{"title":5,"path":6,"stem":7,"children":8,"icon":10},"指南","\u002Fguide","00.guide\u002F00.index",[9,11,16,21,53,84,116,142],{"title":5,"path":6,"stem":7,"icon":10},"lucide:book",{"title":12,"path":13,"stem":14,"icon":15},"快速开始","\u002Fguide\u002Fgetting-started","00.guide\u002F01.getting-started","lucide:rocket",{"title":17,"path":18,"stem":19,"icon":20},"基础语法","\u002Fguide\u002Fbasic-syntax","00.guide\u002F02.basic-syntax","lucide:code-2",{"title":22,"path":23,"stem":24,"children":25,"icon":27},"数据类型","\u002Fguide\u002Fdata-types","00.guide\u002F03.data-types\u002F00.index",[26,28,33,38,43,48],{"title":22,"path":23,"stem":24,"icon":27},"lucide:database",{"title":29,"path":30,"stem":31,"icon":32},"基本类型","\u002Fguide\u002Fdata-types\u002Fbasic_types","00.guide\u002F03.data-types\u002F01.basic_types","lucide:type",{"title":34,"path":35,"stem":36,"icon":37},"复合类型","\u002Fguide\u002Fdata-types\u002Fcomposite_types","00.guide\u002F03.data-types\u002F02.composite_types","lucide:layers",{"title":39,"path":40,"stem":41,"icon":42},"类型推导","\u002Fguide\u002Fdata-types\u002Ftype_inference","00.guide\u002F03.data-types\u002F03.type_inference","lucide:brain-circuit",{"title":44,"path":45,"stem":46,"icon":47},"结构体","\u002Fguide\u002Fdata-types\u002Fstruct","00.guide\u002F03.data-types\u002F04.struct","lucide:box-select",{"title":49,"path":50,"stem":51,"icon":52},"内建类型表面","\u002Fguide\u002Fdata-types\u002Fbuilt-in-surface","00.guide\u002F03.data-types\u002F05.built-in-surface","lucide:wrench",{"title":54,"path":55,"stem":56,"children":57,"icon":59},"流程控制","\u002Fguide\u002Fcontrol-flow","00.guide\u002F04.control-flow\u002F00.index",[58,60,64,69,74,79],{"title":54,"path":55,"stem":56,"icon":59},"lucide:git-branch",{"title":61,"path":62,"stem":63,"icon":59},"if 表达式","\u002Fguide\u002Fcontrol-flow\u002Fif-expressions","00.guide\u002F04.control-flow\u002F01.if-expressions",{"title":65,"path":66,"stem":67,"icon":68},"for 循环","\u002Fguide\u002Fcontrol-flow\u002Ffor-loops","00.guide\u002F04.control-flow\u002F02.for-loops","lucide:repeat",{"title":70,"path":71,"stem":72,"icon":73},"break 和 continue","\u002Fguide\u002Fcontrol-flow\u002Fbreak-continue","00.guide\u002F04.control-flow\u002F03.break-continue","lucide:skip-forward",{"title":75,"path":76,"stem":77,"icon":78},"return","\u002Fguide\u002Fcontrol-flow\u002Freturn","00.guide\u002F04.control-flow\u002F04.return","lucide:corner-up-left",{"title":80,"path":81,"stem":82,"icon":83},"注意事项","\u002Fguide\u002Fcontrol-flow\u002Fnotes","00.guide\u002F04.control-flow\u002F05.notes","lucide:alert-triangle",{"title":85,"path":86,"stem":87,"children":88,"icon":90},"函数","\u002Fguide\u002Ffunctions","00.guide\u002F05.functions\u002F00.index",[89,91,96,101,106,111],{"title":85,"path":86,"stem":87,"icon":90},"lucide:braces",{"title":92,"path":93,"stem":94,"icon":95},"基础函数","\u002Fguide\u002Ffunctions\u002Fbasic-functions","00.guide\u002F05.functions\u002F01.basic-functions","lucide:function-square",{"title":97,"path":98,"stem":99,"icon":100},"参数与默认值","\u002Fguide\u002Ffunctions\u002Fadvanced-parameters","00.guide\u002F05.functions\u002F02.advanced-parameters","lucide:settings-2",{"title":102,"path":103,"stem":104,"icon":105},"匿名函数","\u002Fguide\u002Ffunctions\u002Fclosures","00.guide\u002F05.functions\u002F03.closures","lucide:curly-braces",{"title":107,"path":108,"stem":109,"icon":110},"内建函数","\u002Fguide\u002Ffunctions\u002Fbuiltin-functions","00.guide\u002F05.functions\u002F04.builtin-functions","lucide:box",{"title":112,"path":113,"stem":114,"icon":115},"main 函数","\u002Fguide\u002Ffunctions\u002Fmain-function","00.guide\u002F05.functions\u002F05.main-function","lucide:play",{"title":117,"path":118,"stem":119,"children":120,"icon":37},"模块化","\u002Fguide\u002Fmodules","00.guide\u002F06.modules\u002F00.index",[121,122,127,132,137],{"title":117,"path":118,"stem":119,"icon":37},{"title":123,"path":124,"stem":125,"icon":126},"导出","\u002Fguide\u002Fmodules\u002Fexport","00.guide\u002F06.modules\u002F01.export","lucide:upload",{"title":128,"path":129,"stem":130,"icon":131},"导入","\u002Fguide\u002Fmodules\u002Fimport","00.guide\u002F06.modules\u002F02.import","lucide:download",{"title":133,"path":134,"stem":135,"icon":136},"最佳实践","\u002Fguide\u002Fmodules\u002Fbest-practices","00.guide\u002F06.modules\u002F03.best-practices","lucide:check-circle-2",{"title":138,"path":139,"stem":140,"icon":141},"完整示例","\u002Fguide\u002Fmodules\u002Fcomplete-example","00.guide\u002F06.modules\u002F04.complete-example","lucide:file-code-2",{"title":143,"path":144,"stem":145,"children":146,"icon":148},"高级特性概述","\u002Fguide\u002Fadvanced","00.guide\u002F07.advanced\u002F00.index",[147,149,154],{"title":143,"path":144,"stem":145,"icon":148},"lucide:zap",{"title":150,"path":151,"stem":152,"icon":153},"泛型","\u002Fguide\u002Fadvanced\u002Fgenerics","00.guide\u002F07.advanced\u002F05.generics","lucide:git-merge",{"title":155,"path":156,"stem":157,"icon":158},"类型转换","\u002Fguide\u002Fadvanced\u002Ftype-conversion","00.guide\u002F07.advanced\u002F06.type-conversion","lucide:refresh-cw",{"title":160,"path":161,"stem":162,"children":163,"icon":15},"设计","\u002Fdesign","01.design\u002F00.index",[164,165,169,173,177,181,185,189,193,197,201,205,209,213,217,221,225,229,232,235],{"title":160,"path":161,"stem":162,"icon":15},{"title":166,"path":167,"stem":168},"CST 特性","\u002Fdesign\u002Fcst-features","01.design\u002F01.cst-features",{"title":170,"path":171,"stem":172},"注释关联规则","\u002Fdesign\u002Fcomment-association","01.design\u002F02.comment-association",{"title":174,"path":175,"stem":176},"错误处理","\u002Fdesign\u002Ferror-handling","01.design\u002F03.error-handling",{"title":178,"path":179,"stem":180},"代码优化","\u002Fdesign\u002Foptimization","01.design\u002F04.optimization",{"title":182,"path":183,"stem":184},"注释保留","\u002Fdesign\u002Fcomments","01.design\u002F05.comments",{"title":186,"path":187,"stem":188},"结构体设计","\u002Fdesign\u002Fstruct-design","01.design\u002F06.struct-design",{"title":190,"path":191,"stem":192},"comparable 约束设计","\u002Fdesign\u002Fcomparable-constraint","01.design\u002F07.comparable-constraint",{"title":194,"path":195,"stem":196},"文档分层约定","\u002Fdesign\u002Fdocumentation-convention","01.design\u002F08.documentation-convention",{"title":198,"path":199,"stem":200},"类型系统总纲","\u002Fdesign\u002Ftype-system","01.design\u002F09.type-system",{"title":202,"path":203,"stem":204},"泛型系统","\u002Fdesign\u002Fgenerics-system","01.design\u002F10.generics-system",{"title":206,"path":207,"stem":208},"值语义与共享语义","\u002Fdesign\u002Fvalue-and-sharing-semantics","01.design\u002F11.value-and-sharing-semantics",{"title":210,"path":211,"stem":212},"函数与调用","\u002Fdesign\u002Ffunctions-and-calls","01.design\u002F12.functions-and-calls",{"title":214,"path":215,"stem":216},"表达式与语句","\u002Fdesign\u002Fexpressions-and-statements","01.design\u002F13.expressions-and-statements",{"title":218,"path":219,"stem":220},"模块系统","\u002Fdesign\u002Fmodule-system","01.design\u002F14.module-system",{"title":222,"path":223,"stem":224},"渲染内建","\u002Fdesign\u002Frender-intrinsics","01.design\u002F15.render-intrinsics",{"title":226,"path":227,"stem":228},"Any 设计","\u002Fdesign\u002Fany-design","01.design\u002F16.any-design",{"title":49,"path":230,"stem":231},"\u002Fdesign\u002Fbuilt-in-types-surface","01.design\u002F17.built-in-types-surface",{"title":107,"path":233,"stem":234},"\u002Fdesign\u002Fbuilt-in-functions","01.design\u002F18.built-in-functions",{"title":236,"path":237,"stem":238},"内建结构体与运行时类型","\u002Fdesign\u002Fbuilt-in-structs-and-runtime-types","01.design\u002F19.built-in-structs-and-runtime-types",{"id":240,"title":160,"body":241,"description":464,"extension":475,"meta":476,"navigation":477,"path":161,"seo":478,"stem":162,"__hash__":479},"content\u002F01.design\u002F00.index.md",{"type":242,"value":243,"toc":463,"icon":15},"minimark",[244,248,252,256,281,284,287,318,321,324,328,411,414,446,449],[245,246,247],"h1",{"id":247},"语言设计",[249,250,251],"p",{},"本部分包含 Dujie 编译引擎的设计文档，面向编译器开发者和语言设计者。",[253,254,255],"h2",{"id":255},"文档约定",[257,258,259,267,273],"ul",{},[260,261,262,263],"li",{},"新的语言设计和语义细则先写在 ",[264,265,266],"code",{},"01.design",[260,268,269,272],{},[264,270,271],{},"00.guide"," 只承接已经收敛、适合面向用户说明的内容",[260,274,275,276,278,279],{},"如果两边内容冲突，应先以 ",[264,277,266],{}," 中的最新设计为准，再回写 ",[264,280,271],{},[253,282,283],{"id":283},"阅读顺序",[249,285,286],{},"第一次阅读当前语言规范时，建议优先按以下顺序进入：",[288,289,291,298,303,308,313],"steps",{"level":290},"4",[292,293,294],"h4",{},[295,296,198],"a",{"href":297},".\u002F09.type-system",[292,299,300],{},[295,301,210],{"href":302},".\u002F12.functions-and-calls",[292,304,305],{},[295,306,214],{"href":307},".\u002F13.expressions-and-statements",[292,309,310],{},[295,311,218],{"href":312},".\u002F14.module-system",[292,314,315],{},[295,316,222],{"href":317},".\u002F15.render-intrinsics",[249,319,320],{},"其余文档按主题补充阅读。",[253,322,323],{"id":323},"目录",[325,326,327],"h3",{"id":327},"现行规范",[257,329,330,336,341,347,353,358,363,368,380,393,399,405],{},[260,331,332,335],{},[295,333,194],{"href":334},".\u002F08.documentation-convention"," - 设计文档和用户文档的职责边界",[260,337,338,340],{},[295,339,198],{"href":297}," - 类型系统的讨论边界、术语和拆分方式",[260,342,343,346],{},[295,344,202],{"href":345},".\u002F10.generics-system"," - 泛型参数、约束和推导的独立设计文档",[260,348,349,352],{},[295,350,206],{"href":351},".\u002F11.value-and-sharing-semantics"," - 赋值、传参、返回和修改的语言级语义",[260,354,355,357],{},[295,356,210],{"href":302}," - 函数声明、参数模型、默认值和调用规则",[260,359,360,362],{},[295,361,214],{"href":307}," - 字面量、控制流、运算、推导边界和语句模型",[260,364,365,367],{},[295,366,218],{"href":312}," - 模块、导入导出、路径规则和入口约束",[260,369,370,372,373,376,377],{},[295,371,222],{"href":317}," - ",[264,374,375],{},"widget","、组件函数和 ",[264,378,379],{},"main\u002Felement\u002Ftext\u002Ffragment\u002Fcomment",[260,381,382,372,385,388,389,392],{},[295,383,226],{"href":384},".\u002F16.any-design",[264,386,387],{},"any"," 的定位、边界、",[264,390,391],{},"is"," 收窄和动态入口语义",[260,394,395,398],{},[295,396,49],{"href":397},".\u002F17.built-in-types-surface"," - 各内建类型公开的方法、属性和点调用边界",[260,400,401,404],{},[295,402,107],{"href":403},".\u002F18.built-in-functions"," - 当前对外可见的全局内建函数与构造形式",[260,406,407,410],{},[295,408,236],{"href":409},".\u002F19.built-in-structs-and-runtime-types"," - 当前没有哪些公开内建结构体，以及运行时类型边界",[325,412,413],{"id":413},"实现补充",[257,415,416,422,428,434,440],{},[260,417,418,421],{},[295,419,166],{"href":420},".\u002F01.cst-features"," - 具体语法树的设计和特性",[260,423,424,427],{},[295,425,170],{"href":426},".\u002F02.comment-association"," - 注释如何关联到语法节点",[260,429,430,433],{},[295,431,182],{"href":432},".\u002F05.comments"," - CST 注释支持和 LSP 功能",[260,435,436,439],{},[295,437,174],{"href":438},".\u002F03.error-handling"," - 编译器错误处理机制",[260,441,442,445],{},[295,443,178],{"href":444},".\u002F04.optimization"," - 编译器实现层的优化草案",[325,447,448],{"id":448},"历史记录",[257,450,451,457],{},[260,452,453,456],{},[295,454,186],{"href":455},".\u002F06.struct-design"," - 历史实现探索：结构体的 Arc 包装方案",[260,458,459,462],{},[295,460,190],{"href":461},".\u002F07.comparable-constraint"," - 历史设计记录：旧的 comparable 约束方案",{"title":464,"searchDepth":465,"depth":465,"links":466},"",2,[467,468,469],{"id":255,"depth":465,"text":255},{"id":283,"depth":465,"text":283},{"id":323,"depth":465,"text":323,"children":470},[471,473,474],{"id":327,"depth":472,"text":327},3,{"id":413,"depth":472,"text":413},{"id":448,"depth":472,"text":448},"md",{"icon":15},{"icon":15},{"title":160,"description":464},"fP7lEihB_Hi5q5PWcdW3DzfIqDEBAZ-3W9_v4Ds04ZY",[481,482],{"title":155,"path":156,"stem":157,"description":464,"icon":158,"children":-1},{"title":166,"path":167,"stem":168,"description":464,"children":-1},1776981318382]