MoonBit 编程语言（WASM 技术） 服务端应用展望 以及对Kubernetes生态的影响 沙渺（MoonBit 语言社区开发者） 本分享包含大量目前尚处在早期开发阶段甚至概念阶段， 尚未获得广泛应用的技术。 仅为前景展望，不推荐用于当前立项开发的实际工程。 敬请注意 内容 • WASM 技术栈现状和 WASM 后端应用的构想 • MoonBit 语言介绍 • MoonBit MoonBit 方案对 WASM 技术栈的作用 • 对 Kubernetes 提出的挑战 分享者 • 沙渺，大连本地独立开发者 • Rust 语言社区早期参与者 The Rust Programming Language（中文纸质版）译者3 • MoonBit 语言社区开发者 官方标准库代码、教程资料编写者 WebAssembly (WASM) WASM 现状 • 1.0 MVP 已稳定（2017）已被 应用于后端的构想初步存在 但具体的挑战非常巨大 Kubernetes + WASM • 方法（1）将 WASM 独立运行时程序看作工作负载 Kubernetes containerd + Linux image 独立运行时 .wasm 独立运行时 .wasm 独立运行时 .wasm 独立运行时 .wasm Kubernetes + WASM • 方法（2）直接将 WASM

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 2.4 Identifiers and Operators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 2.5 Numeric Literals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 3.2 Variables, Constructors, Operators, and Literals . . . . . . . . . . . . . . . . . . . . . . . . 17 3.3 Curried Applications and Lambda execution of monadic expressions . . . . . . . . . . . . . . . . . . . . 159 13.2.5 Monadic lifting operators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 160 CONTENTS vii 14 Data.Array 161

vulnerable to both Integer Overflow and Division by Zero. Operators such as + and - cause undefined behavior on integer overflow. Alternative operators are provided for wrapping and saturating arithmetic on Zero Operators There is no operator overloading. When you see an operator in Zig, you know that it is doing something from this table, and nothing else. Table of Operators Table of Operators Syntax function @Type, or using the shorthand function std.meta.Vector . Vectors support the same builtin operators as their underlying base types. These operations are performed element-wise, and return a vector

vulnerable to both Integer Overflow and Division by Zero. Operators such as + and - cause undefined behavior on integer overflow. Alternative operators are provided for wrapping and saturating arithmetic on Division by Zero Operators There is no operator overloading. When you see an operator in Zig, you know that it is doing something from this table, and nothing else. Table of Operators Name Syntax Types Vector types are created with the builtin function @Vector. Vectors support the same builtin operators as their underlying base types. These operations are performed element-wise, and return a vector

vulnerable to both Integer Overflow and Division by Zero. Operators such as + and - cause undefined behavior on integer overflow. Alternative operators are provided for wrapping and saturating arithmetic on 10. Operators There is no operator overloading. When you see an operator in Zig, you know that it is doing something from this table, and nothing else. 10.1. Table of Operators Table of Operators Syntax Vector types are created with the builtin function @Vector. Vectors support the same builtin operators as their underlying base types. These operations are performed element-wise, and return a vector

vulnerable to both Integer Overflow and Division by Zero. Operators such as + and - cause undefined behavior on integer overflow. Alternative operators are provided for wrapping and saturating arithmetic on Zero Operators There is no operator overloading. When you see an operator in Zig, you know that it is doing something from this table, and nothing else. Table of Operators Table of Operators Syntax Vector types are created with the builtin function @Vector. Vectors support the same builtin operators as their underlying base types. These operations are performed element-wise, and return a vector

Lambda Abstraction Local Definitions: let and where Lexical Structure Literal Overloading Mixfix Operators Module System Mutual Recursion Pattern Synonyms Positivity Checking Postulates Pragmas Prop Record Overloading Natural numbers Negative numbers Strings Restrictions Mixfix Operators Precedence Associativity Ambiguity and Scope Operators in telescopes Module System Module application Anonymous modules to figure out what the first copattern means: Could not parse the left-hand side start enum-Nat Operators used in the grammar: None when scope checking the left-hand side start enum-Nat in the definition

Local Definitions: let and where Lexical Structure Literal Overloading Lossy Unification Mixfix Operators Module System Mutual Recursion Pattern Synonyms Positivity Checking Postulates Pragmas Prop Record Restrictions Lossy Unification Heuristic Example Drawbacks Mixfix Operators Precedence Associativity Ambiguity and Scope Operators in telescopes Module System Module application Anonymous modules Basics to figure out what the first copattern means: Could not parse the left-hand side start enum-Nat Operators used in the grammar: None when scope checking the left-hand side start enum-Nat in the definition

Lambda Abstraction Local Definitions: let and where Lexical Structure Literal Overloading Mixfix Operators Module System Mutual Recursion Pattern Synonyms Positivity Checking Postulates Pragmas Prop Record Overloading Natural numbers Negative numbers Strings Restrictions Mixfix Operators Precedence Associativity Ambiguity and Scope Operators in telescopes Module System Module application Anonymous modules to figure out what the first copattern means: Could not parse the left-hand side start enum-Nat Operators used in the grammar: None when scope checking the left-hand side start enum-Nat in the definition

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107 3.23 Mixfix Operators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109 3 Reference Agda User Manual, Release 2.6.2.1 Could not parse the left-hand side start enum-Nat Operators used in the grammar: None when scope checking the left-hand side start enum-Nat in the definition datatypes • record types (including coinductive records) • function definitions (including mixfix operators and abstract definitions) • modules • local definitions let and where • postulates • variables