• MoonBit 语言介绍 • MoonBit 方案对 WASM 技术栈的作用 • 对 Kubernetes 提出的挑战 分享者 • 沙渺，大连本地独立开发者 • Rust 语言社区早期参与者 The Rust Programming Language（中文纸质版）译者3 • MoonBit 语言社区开发者 官方标准库代码、教程资料编写者 WebAssembly (WASM) 架构和概念有共识，但很多问题仍待解答 • 全新语言（2023 -），专业面向 WASM 目标 • 具有类似于 Rust 的现代化语言特性，带 GC • 当前阶段：社区共建和Pre-beta测试阶段 • 时间表：24/08实现core稳定，25 年 1.0 MoonBit 程序设计语言 （台上有资料可领取） • MoonBit vs Rust • MoonBit vs Golang • MoonBit vs JavaScript MoonBit vs PHP, Lua, Python MoonBit 与其他语言 https://landscape.cncf.io/?group=wasm • 降低入门门槛（不必非得学习 Rust） • 平衡代码尺寸和性能 • 按照 WASM 基础规范设计的 FFI 外部语言接口（支持对外 调用和外部回调） • 直接对接 WASM 扩展（例：wasm-gc target） • 直接对接

Agda programs. See Reflection for a detailed description. Rewriting The experimental and totally unsafe rewriting machinery (not to be confused with the rewrite construct) has a built-in REWRITE for the only the command-line option can be trusted. Standard Library The standard library uses a lot of unsafe features (e.g. postulate in the Foreign Function Interface) and these are not isolated in separate (default: 50). Should only be needed in pathological cases. Other features --safe Disable postulates, unsafe OPTION pragmas and primTrustMe (see Safe Agda) --type-in-type Ignore universe levels (this makes

Language Reference Agda User Manual, Release 2.5.4 3.2.18 Rewriting The experimental and totally unsafe rewriting machinery (not to be confused with the rewrite construct) has a built-in REWRITE for the Reference Agda User Manual, Release 2.5.4 Standard Library The standard library uses a lot of unsafe features (e.g. postulate in the Foreign Function Interface) and these are not isolated in separate 116 Chapter 4. Tools Agda User Manual, Release 2.5.4 Other features --safe Disable postulates, unsafe OPTION pragmas and primTrustMe (see Safe Agda) --type-in-type Ignore universe levels (this makes

Language Reference Agda User Manual, Release 2.5.4.1 3.2.18 Rewriting The experimental and totally unsafe rewriting machinery (not to be confused with the rewrite construct) has a built-in REWRITE for the Reference Agda User Manual, Release 2.5.4.1 Standard Library The standard library uses a lot of unsafe features (e.g. postulate in the Foreign Function Interface) and these are not isolated in separate 116 Chapter 4. Tools Agda User Manual, Release 2.5.4.1 Other features --safe Disable postulates, unsafe OPTION pragmas and primTrustMe (see Safe Agda) --type-in-type Ignore universe levels (this makes

Agda programs. See Reflection for a detailed description. Rewriting The experimental and totally unsafe rewriting machinery (not to be confused with the rewrite construct) has a built-in REWRITE for the only the command-line option can be trusted. Standard Library The standard library uses a lot of unsafe features (e.g. postulate in the Foreign Function Interface) and these are not isolated in separate (default: 50). Should only be needed in pathological cases. Other features --safe Disable postulates, unsafe OPTION pragmas and primTrustMe (see Safe Agda) --type-in-type Ignore universe levels (this makes

Language Reference Agda User Manual, Release 2.5.4.2 3.2.18 Rewriting The experimental and totally unsafe rewriting machinery (not to be confused with the rewrite construct) has a built-in REWRITE for the Reference Agda User Manual, Release 2.5.4.2 Standard Library The standard library uses a lot of unsafe features (e.g. postulate in the Foreign Function Interface) and these are not isolated in separate 116 Chapter 4. Tools Agda User Manual, Release 2.5.4.2 Other features --safe Disable postulates, unsafe OPTION pragmas and primTrustMe (see Safe Agda) --type-in-type Ignore universe levels (this makes

Agda programs. See Reflection for a detailed description. Rewriting The experimental and totally unsafe rewriting machinery (not to be confused with the rewrite construct) has a built-in REWRITE for the only the command-line option can be trusted. Standard Library The standard library uses a lot of unsafe features (e.g. postulate in the Foreign Function Interface) and these are not isolated in separate (default: 50). Should only be needed in pathological cases. Other features --safe Disable postulates, unsafe OPTION pragmas and primTrustMe (see Safe Agda) --type-in-type Ignore universe levels (this makes

Agda programs. See Reflection for a detailed description. Rewriting The experimental and totally unsafe rewriting machinery (not to be confused with the rewrite construct) has a built-in REWRITE for the only the command-line option can be trusted. Standard Library The standard library uses a lot of unsafe features (e.g. postulate in the Foreign Function Interface) and these are not isolated in separate search depth to N (default: 500; see Instance Arguments) Other features --safe Disable postulates, unsafe OPTION pragmas and primTrustMe (see Safe Agda) --type-in-type Ignore universe levels (this makes

Agda programs. See Reflection for a detailed description. Rewriting The experimental and totally unsafe rewriting machinery (not to be confused with the rewrite construct) has a built-in REWRITE for the only the command-line option can be trusted. Standard Library The standard library uses a lot of unsafe features (e.g. postulate in the Foreign Function Interface) and these are not isolated in separate depth to N (default: 500; see Instance Arguments) Other features --safe Disable postulates, unsafe OPTION pragmas and primTrustMe (see Safe Agda) --type-in-type Ignore universe levels (this makes

| jvm | dotnet | system-specific calling conventions impent → [string] expent → [string] safety → unsafe | safe There are two flavours of foreign declarations: import and export declarations. An import leave the Haskell system in a state that allows callbacks from the external code. In contrast, an unsafe call, while carrying less overhead, must not trigger a callback into the Haskell system. If it does releases all unreachable objects. This function must not be invoked from C functions that are imported unsafe into Haskell code nor may it be used from a finalizer. Finally, hs_free_stable_ptr() and hs_free_fun_ptr()