在 MoonBit 中引入 Elm 架构：用简朴原则打造结实的 Web 应用 ...

Elm 是一种纯函数式编程语言，专为构建前端 Web 应用程序而计划。它编译为 JavaScript，强调简洁性、性能和结实性。
纯函数式的含义是函数没有副作用，这使得代码更易于明白和调试。通过强盛的静态类型检查，Elm 确保应用程序不会抛出运行时非常，从而提供更高的可靠性。Elm 架构强制执行单向数据流，使状态管理变得可预测且简朴。
受 Elm 的启发，我们利用 MoonBit 开发了一个名为 Rabbit-TEA 的前端 Web 框架。
为什么选择 MoonBit？

函数式编程的鼓起也推动了 React 从基于类的范式向 React Hooks 的演进。在 JavaScript 中已经有了一些函数式框架，那么为什么还需要 MoonBit？
只管 JavaScript 生态中已经有一些支持函数式风格的框架和库，但 JavaScript 本身缺乏诸如模式匹配等特性，这使得编码体验不够抱负。以下是 MoonBit 和 JavaScript 等效代码的对比：

1. let x = match y {
2.   a => value1
3.   b => value2
4.   c => value3
5. }
6. f(x)

复制代码

1. var x = null;
2. if (y == a) { x = value1 }
3. else if (y == b) { x = value2 }
4. else { x = value3 }
5. // x 可能会在这里被意外修改！
6. return f(x);
8. // 或者
9. const x = y == a ? value1 : (y == b ? value2 : value3);
10. return f(x);

复制代码

以下是另一个 MoonBit 例子。函数 validate_utf8 检查输入的 bytes 是否是有用的 UTF-8 序列：

1. fn validate_utf8(bytes : Bytes) -> Bool {
2.   loop bytes {
3.     [0x00..=0x7F, ..xs]
4.     | [0xC0..=0xDF, 0x80..=0xBF, ..xs]
5.     | [0xE0..=0xEF, 0x80..=0xBF, 0x80..=0xBF, ..xs]
6.     | [0xF0..=0xF7, 0x80..=0xBF, 0x80..=0xBF, 0x80..=0xBF, ..xs] => continue xs
7.     [_, ..] => false
8.     [] => true
9.   }
10. }

复制代码

MoonBit 是一种面向表达式的语言，变量默认是不可变的。它完全支持模式匹配这一在函数式编程语言中流行已久的特性，确保生成高效的 JavaScript 代码。此外，MoonBit 编译器支持多种后端，包罗 JavaScript、WebAssembly 和 native 后端。
Rabbit-TEA 怎样工作

TEA 架构非常的简朴，它由 Model、View、Update 构成：

• Model：App 的状态，由不可变的数据布局构成。
  
• View：App 的视图，声明白怎样将 Model 显示为 HTML、用户的操纵触发什么消息。
  
• Update：App 的逻辑，处理用户触发的消息，将旧的 Model 转换为新的 Model。
  

下面是一个完整的计数器程序：

1. typealias Model = Int
2. let model = 0
4. enum Msg {
5.   Increment
6.   Decrement
7. }
9. fn update(msg : Msg, model : Model) -> (Command[Msg], Model) {
10.   match msg {
11.     Increment => (none(), model + 1)
12.     Decrement => (none(), model - 1)
13.   }
14. }
16. fn view(model : Model) -> Html[Msg] {
17.   div([
18.     h1([text(model.to_string())]),
19.     button(click=Msg::Increment, [text("+")]), // button1
20.     button(click=Msg::Decrement, [text("-")]), // button2
21.   ])
22. }
24. fn main {
25.   @tea.startup(model~, update~, view~)
26. }

复制代码

这个程序除了界说 Model、Update 和 View，还界说了 Msg 类型。Msg 类型类似于事件。当用户点击增加按钮时，会触发运行时向 update 函数发送 Increment 消息以及当前的 model。在 update 函数中，并不会直接修改 model，而是基于旧值创建一个新的 model 并返回。整个函数是无副作用的。最后，新的 model 将通过 view 函数渲染为 HTML。
update 函数还返回一个 Cmd 类型，它表示一个未执行的操纵。我们稍后会对此进行先容。
声明式视图: HTML EDSL

EDSL 即内嵌领域特定语言，是通过利用编程语言已有的语法布局计划的 DSL，不需要额外的预处理和编译步调。
Rabbit-TEA 利用 MoonBit 的 labeled argument 语法糖界说了一组辅助函数，这些 HTML 函数尽可能地通过类型来提示用户参数的作用, 避免滥用模糊和令人困惑的 String 类型。它们利用起来就像：

1. fn view() -> Html[Msg] {
2.   div([
3.     h1([text("hello MoonBit")]),
4.     p([text("build robust app")]),
5.     a(href="moonbitlang.com", target=Blank, [text("try it")]),
6.   ])
7. }

复制代码

以标签 <a> 为例子，它的辅助函数的类型界说如下。除了唯一的 childrens 参数，其他全部参数都是 labeled argument，labeled argument 根据需要可以声明为可选的，或者设置缺省值。

1. pub(all) enum Target {
2.   Self
3.   Blank
4. }
6. pub fn a[M](
7.   style~ : Array[String] = [],
8.   id? : String,
9.   class? : String,
10.   href~ : String,
11.   target~ : Target = Self,
12.   childrens : Array[Html[M]]
13. ) -> Html[M]

复制代码

在未来，我们将考虑在 MoonBit 中引入类似 JSX 的拓展语法，使视图的代码拥有更好的可读性。
消息与模式匹配

TEA 架构充分利用了模式匹配和带标签团结类型，用户界说的 Msg 可以视情况带上额外的数据，这使得 update 处理消息时更加安全和机动。
例如，对于一个 input 元素，假如希望在用户输入的同时，处理它的值并将结果显示在另一个元素 p 中。我们可以在 Msg 类型中增加一个带 String 数据的 enum constructor，GotInputChange。GotInputChange 的类型和 input 中 change 参数的类型都是 (String) -> Msg。用户在修改 input 的值时，input 的值会被打包进 GotInputChange 并发送给 update 函数处理。

1. enum Msg {
2.   GotInputChange(String)
3. }
5. fn update(msg : Msg, model : String) -> (Cmd[Msg], String) {
6.   match msg {
7.     GotInputChange(value) => {
8.       ...
9.       (none(), value)
10.     }
11.   }
12. }
14. fn view(model : String) -> Html[Msg] {
15.   div([
16.     p([text(model)])
17.     input(input_type=Text, value=model, change=Msg::GotInputChange),
18.   ])
19. }

复制代码

依赖 MoonBit 的穷尽性检查，下次 Msg 增加新的 enum constructor 时，IDE 将会提示相干的 pattern matching 需要处理新的 case，减少运行时错误。
管理副作用

Rabbit-TEA 与 Elm 一样利用 Cmd 类型管理函数的副作用，也就是修改外部状态、与外部系统交互的操纵。
例如，哀求浏览器记录 URL History、滚动浏览器视图、向服务器发送 JSON 哀求并处理返回的数据。
全部的这些操纵被封装为 Cmd。Cmd 代表一个未执行的动作，只有当它被 Update 函数的返回时，才会被 Rabbit-TEA 的 runtime 触发执行。
下面的例子演示了在用户点击相干的卡片时，先将界面转换为加载状态，然后通过 http 哀求加载卡片的内容。
@http.get 返回了一个 Cmd，而它的第一个参数是哀求的 URL，第二个参数声明期望的数据格式和处理相应的方法。

1. enum Msg {
2.   GotCardText(Result[String, String])
3.   ClickCard(Int)
4. }
6. pub fn update(msg : Msg, model : Model) -> (Cmd[Msg], Model) {
7.   match msg {
8.     ClickCard(id) => (@http.get("/api/card/\{id}", expect=Text(GotCardText)), Loading)
9.     GotCardText(Ok(text)) => (none(), Editing(text))
10.     GotCardText(Err(_)) => (none(), NotFound)
11.   }
12. }

复制代码

这样一来，服务器相应哀求时将触发 GotCardText 这个消息。它带上了一个 Result[String,String] 类型，
这提示我们对相应进行分类讨论：当乐成返回 card text 时，我们更新 model 以便 view 向用户展示内容；当哀求失败时，我们跳转到 NotFound 页面。
Cmd 模式鼓励用户避免在一个函数中瓜代地触发副作用和更新 Model，从而防止 update 和 view 同时存在两个 Model 的数据泉源，保证程序状态的一致性。
与 JS 世界交互

上面提到的这些 Cmd 并非经过框架特殊处理，而是基于 Cmd 的接口实现的。你也可以界说自己的 Cmd 来让 Rabbit-TEA 和外部的 JS 世界交互。MoonBit 允许以内联的情势书写 JS 代码，并将它和函数界说绑定。这很简朴：

1. extern "js" fn set_timeout(f : () -> Unit, ms : Int) = "(f,ms) => setTimeout(f, ms)"

复制代码

set_timeout 绑定了 JS 的函数 setTimeout。参数 f 表示将要触发的动作，ms 表示触发前等候的时间。
我们界说一个函数 delay。它担当的参数 msg 表示将要触发的消息，ms 作用同上，最终返回 Cmd。

1. fn delay[M](msg : M, ms : Int) -> Cmd[M] {
2.   Cmd(fn(events){
3.     set_timeout(fn(){ events.trigger_update(msg) }, ms)
4.   })
5. }

复制代码

Cmd 类型的值可以通过同名的 Cmd 构造器创建，它是一个未执行的动作的包装。在这个包装中，我们让 set_timeout 在符合的时机调用 events.trigger_update(msg)，让运行时利用 msg 和当前的 model 调用 update 函数。
我们可以利用这个 delay 函数，在用户点击按钮的5秒后显示一段文本：

1. enum Msg {
2.   Timeout(String)
3.   SetTime
4. }
6. fn update(msg : Msg, model : String) -> (Cmd[Msg], String) {
7.   match msg {
8.     Timeout(tips) => (none(), tips)
9.     SetTime => (delay(Timeout("You clicked the button 5s ago."), 5000), "")
10.   }
11. }
13. fn view(model : String) -> Html[Msg] {
14.   div([
15.     text(model),
16.     button(click=Msg::SetTime, [text("show tips after 5s")]),
17.   ])
18. }

复制代码

不过，在编写内联 JS 时需要小心运行时错误。我们计划在 Rabbit-TEA 中提供更丰富的 Cmd，用户一般不需要自己编写这些绑定。
轻量的运行时

我们开发 Rabbit-TEA 时并没有留意过编译生成的 js 文件的巨细。得益于 MoonBit 的全局 DCE 优化，我们发现 Rabbit-TEA 在带上 virtual dom 和 MoonBit 的标准库的同时，一个计数器应用生成的代码仅 33KB（经过 minify，未 gzip），小于 vue 的 50～60kb。
结论

在实现 Rabbit-TEA 的同时，我们还用它重写 MoonBit 的包管理网站 mooncakes.io。目前 mooncakes.io 和 Rabbit-TEA 还不够完善。我们希望随着 mooncakes.io 的现实应用，Rabbit-TEA 也能够成为成熟可靠的 UI 框架。我们未来也计划探索 TEA 架构的更多可能性，例如 native 后端支持、服务端渲染、时间旅行调试等等令人高兴的特性。
假如你对这个框架和 MoonBit 感兴趣，也欢迎到场到 MoonBit 的社区当中。
练习时机

我们也开放了一个前端练习岗位，负责 MoonBit 前端框架 Rabbit-TEA 和周边工具的研发。假如你相识前端框架中的 Virtual DOM、Server Side Rendering、状态管理等机制，相识函数式编程范式、The Elm Architecture 或者 React + Redux，欢迎复制打开链接或扫描下方二维码投递简历。
https://idea.zhiye.com/intern/detail?jobAdId=c2b87413-5ab5-40d3-93c7-a65ca48300e04
下一步

• 下载 MoonBit
  
• MoonBit 初学者之旅
  
• MoonBit 语言导览
  
• 查看 MoonBit 文档
  

免责声明：如果侵犯了您的权益，请联系站长，我们会及时删除侵权内容，谢谢合作！更多信息从访问主页：qidao123.com:ToB企服之家，中国第一个企服评测及商务社交产业平台。