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

Curried Applications and Lambda Abstractions . . . . . . . . . . . . . . . . . . . . . . . . 18 3.4 Operator Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 3.5 -> | @ | ˜ | => Operator symbols are formed from one or more symbol characters, as defined above, and are lexically distin- guished into two namespaces (Section 1.4): • An operator symbol starting with with a colon is a constructor. • An operator symbol starting with any other character is an ordinary identifier. Notice that a colon by itself, “:”, is reserved solely for use as the Haskell list constructor;

vector, and its type is Vec A 0, i.e. it is a vector of length 0. The second constructor is a mixfix operator named _∷_ (pronounced cons). For any number n : ℕ, it takes as input an object of A and a vector datatype declaration itself; therefore it is not indented. It establishes the precedence of the operator _∷_. Tip You can let Agda infer the type of an expression using the ‘Deduce type’ command (C-c This declaration means that the _+_ operation is left-associative. More information about mixfix operator like the arithmetic operations. You can also check this associativity example. To continue writing

vector, and its type is Vec A 0, i.e. it is a vector of length 0. The second constructor is a mixfix operator named _∷_ (pronounced cons). For any number n : ℕ, it takes as input an object of A and a vector datatype declaration itself; therefore it is not indented. It establishes the precedence of the operator _∷_. Tip You can let Agda infer the type of an expression using the ‘Deduce type’ command (C-c This declaration means that the _+_ operation is left-associative. More information about mixfix operator like the arithmetic operations. You can also check this associativity example. To continue writing

vector, and its type is Vec A 0, i.e. it is a vector of length 0. The second constructor is a mixfix operator named _∷_ (pronounced cons). For any number n : ℕ, it takes as input an object of A and a vector datatype declaration itself; therefore it is not indented. It establishes the precedence of the operator _∷_. Tip You can let Agda infer the type of an expression using the ‘Deduce type’ command (C-c This declaration means that the _+_ operation is left-associative. More information about mixfix operator like the arithmetic operations. You can also check this associativity example. To continue writing

vector, and its type is Vec A 0, i.e. it is a vector of length 0. The second constructor is a mixfix operator named _::_ (pronounced cons). For any number n : N, it takes as input an object of A and a vector datatype declaration itself; therefore it is not indented. It establishes the precedence of the operator _::_. Tip: You can let Agda infer the type of an expression using the ‘Deduce type’ command (C-c This declaration means that the _+_ operation is left-associative. More information about mixfix operator like the arithmetic operations. You can also check this associativity example. To continue writing

vector, and its type is Vec A 0, i.e. it is a vector of length 0. The second constructor is a mixfix operator named _::_ (pronounced cons). For any number n : N, it takes as input an object of A and a vector datatype declaration itself; therefore it is not indented. It establishes the precedence of the operator _::_. Tip: You can let Agda infer the type of an expression using the ‘Deduce type’ command (C-c This declaration means that the _+_ operation is left-associative. More information about mixfix operator like the arithmetic operations. You can also check this associativity example. To continue writing

vector, and its type is Vec A 0, i.e. it is a vector of length 0. The second constructor is a mixfix operator named _::_ (pronounced cons). For any number n : N, it takes as input an object of A and a vector datatype declaration itself; therefore it is not indented. It establishes the precedence of the operator _::_. Tip: You can let Agda infer the type of an expression using the ‘Deduce type’ command (C-c This declaration means that the _+_ operation is left-associative. More information about mixfix operator like the arithmetic operations. You can also check this associativity example. To continue writing

vector, and its type is Vec A 0, i.e. it is a vector of length 0. The second constructor is a mixfix operator named _∷_ (pronounced cons). For any number n : ℕ, it takes as input an object of A and a vector datatype declaration itself; therefore it is not indented. It establishes the precedence of the operator _∷_. Tip You can let Agda infer the type of an expression using the ‘Deduce type’ command (C-c This declaration means that the _+_ operation is left-associative. More information about mixfix operator like the arithmetic operations. You can also check this associativity example. To continue writing

the left side of the ! operator. When written this way, the error set type is a special kind of error union type that has an inferred error set type. The void after the ! operator tells the compiler that circumstances (i.e. no errors occur). Note to experienced programmers: Zig also has the boolean operator !a where a is a value of type bool. Error union types contain the name of the type in the syntax: 765625e-04 See also: @setFloatMode 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