feat(lang/moonbit): add MoonBit tutorial (#307)

* doc(moonbit): add MoonBit explanation

* fix(moonbit): bump tool version and extract code

* chore(moonbit): use rust codefence for highlighting

* fix(moonbit): apply suggestions

* fix(moonbit): update installation section

* fix(lang/moonbit): fix numbering of steps

---------

Co-authored-by: Victor Adossi <[email protected]>

Author: peter-jerry-ye

component-model/examples/tutorial/moonbit/adder-with-error/stub.mbt

@@ -0,0 +1,7 @@
+// Generated by `wit-bindgen` 0.45.0.
+
+///|
+fn init {
+  let _ = @add.add(1, 2).unwrap_or_error() catch { Overflow => ... }
+
+}

component-model/examples/tutorial/moonbit/adder-with-error/top.mbt

@@ -0,0 +1,25 @@
+// Generated by `wit-bindgen` 0.45.0. DO NOT EDIT!
+
+///|
+pub(all) suberror ComputationError {
+  Overflow
+} derive(Show, Eq)
+
+///|
+pub fn add(x : UInt, y : UInt) -> Result[UInt, ComputationError] {
+  let return_area = @ffi.malloc(8)
+  wasmImportAdd(x.reinterpret_as_int(), y.reinterpret_as_int(), return_area)
+  let lifted4 = match @ffi.load8_u(return_area + 0) {
+    0 => Result::Ok(@ffi.load32(return_area + 4).reinterpret_as_uint())
+    1 => {
+      let lifted = match @ffi.load8_u(return_area + 4) {
+        0 => ComputationError::Overflow
+        _ => panic()
+      }
+      Result::Err(lifted)
+    }
+    _ => panic()
+  }
+  @ffi.free(return_area)
+  return lifted4
+}

component-model/examples/tutorial/moonbit/adder-with-error/world.wit

@@ -0,0 +1,12 @@
+package docs:adder@0.1.0;
+
+interface add {
+    variant computation-error {
+        overflow
+    }
+    add: func(x: u32, y: u32) -> result<u32, computation-error>;
+}
+
+world adder {
+    import add;
+}

component-model/examples/tutorial/moonbit/adder/moon.pkg.json

@@ -0,0 +1,25 @@
+{
+    // link configuration for Wasm backend
+    "link": {
+        "wasm": {
+            "exports": [
+                // Export for cabi_realloc
+                "cabi_realloc:cabi_realloc",
+                // Export per the interface definition
+                "wasmExportAdd:docs:adder/[email protected]#add"
+            ],
+            "export-memory-name": "memory",
+            "heap-start-address": 16
+        }
+    },
+    "import": [
+        {
+            "path": "docs/adder/ffi",
+            "alias": "ffi"
+        },
+        {
+            "path": "docs/adder/gen/interface/docs/adder/add",
+            "alias": "add"
+        }
+    ]
+}

component-model/examples/tutorial/moonbit/adder/stub.mbt

@@ -0,0 +1,6 @@
+// Generated by `wit-bindgen` 0.45.0.
+
+///|
+pub fn add(x : UInt, y : UInt) -> UInt {
+  x + y
+}

component-model/src/SUMMARY.md

@@ -23,6 +23,7 @@
   - [JavaScript](./language-support/javascript.md)
   - [Python](./language-support/python.md)
   - [Rust](./language-support/rust.md)
+  - [MoonBit](./language-support/moonbit.md)
   - [WebAssembly Text Format (WAT)](./language-support/wat.md)
   - [Other Languages](./language-support/other-languages.md)
 - [Running Components](./running-components.md)

component-model/src/introduction.md

@@ -19,6 +19,7 @@ This documentation is aimed at _users_ of the component model: developers of lib
 | [Worlds]                 | [JavaScript]         |                   |
 |                          | [Python]             |                   |
 |                          | [Rust]               |                   |
+|                          | [MoonBit]               |                   |
 
 [Why Components?]: ./design/why-component-model.md
 [Components]: ./design/components.md
@@ -31,6 +32,7 @@ This documentation is aimed at _users_ of the component model: developers of lib
 [JavaScript]: ./language-support/javascript.md
 [Python]: ./language-support/python.md
 [Rust]: ./language-support/rust.md
+[MoonBit]: ./language-support/moonbit.md
 
 [Composing]: ./composing-and-distributing/composing.md
 [Running]: ./running-components.md

component-model/src/language-support.md

@@ -37,6 +37,7 @@ without using a higher-level language front-end.
   - [Rust Tooling](./language-support/rust.md)
     - [Building a Component with `cargo component`](./language-support/rust.md#building-a-component-with-cargo-component)
     - [Running a Component from Rust Applications](./language-support/rust.md#running-a-component-from-rust-appliacations)
+  - [MoonBit Tooling](./language-support/moonbit.md)
   - [WebAssembly Text Format (WAT)](./language-support/wat.md#wat-webassembly-text-format)
     - [Building a Component from WAT with `wasm-tools`](./language-support/wat.md#building-a-component-with-wasm-tools)
     - [Running a Component with Wasmtime](./language-support/wat.md#running-a-component-with-wasmtime)