Gleam 是一种类型安全的函数式编程语言，用于构建可扩展的并发系统。它是否如其宣传的那样友好？我们来一探究竟。
当我的一位朋友读到Virgil 的文章（Wasm 联合创始人介绍新编程语言 Virgil）时，他建议我看看Gleam 。
Gleam 语言很酷也很新，其版本 1.0 在今年 3 月正式发布，并且它在函数式编程方面表现突出。
Gleam 是一种类型安全的函数式编程语言，用于构建可扩展的并发系统。
它可编译为Erlang和JavaScript，因此可与其他“BEAM”语言（如 Erlang 和 Elixir）直接互操作。（BEAM 是在 Erlang 运行时系统中执行用户代码的虚拟机，它是Bogdan 的 Erlang 抽象机的缩写）
Erlang 是一种早期的电信行业语言，非常注重并发性和容错性。它的做事方式至今仍受到尊重，这也是Elixir如此受欢迎的原因。在这篇文章中，我不会假设您熟悉这些；实际上，Gleam 特别友好，因此它也不会做太多假设。
让我们从hello world开始：
import gleam/iopub fn main() {io.println("hello world!")}
这与Zig 中的相同内容非常相似。
有一个非常令人愉快的语言之旅，它利用 Gleam 的编译为 JavaScript 来进行动态检查。您也可以把它用作“游乐场”。
安装 Gleam也意味着要安装 Erlang。对于我的 Mac，使用了 Homebrew：
> brew install gleamHomebrew 将自动安装 Erlang。
Gleam 带有模板（或项目）生成器，这点与 Rails 非常相似。因此要创建一个新的hello项目，只需输入如下：
“hello world”风格的单行代码已经作为默认代码存在于hello.gleam中：
此时，如果我运行整个项目：
请您注意，这两个包仅在第一次运行时进行编译。
包管理
有两个.toml文件（Tom 自己的标记语言），用作配置。
由于它们很简单，我们可以快速浏览一下。在gleam.toml 中：
[dependencies]gleam_stdlib = ">= 0.34.0 and < 2.0.0"
请注意，它们有一个版本限制——提及最高版本以减少不兼容性。
manifest.toml 文件中提到了实际下载和当前使用的版本。
下面是一个简单的示例，我们可以学习一点 Gleam 并使用包管理器。我们将添加几个包，并编写一些代码来打印出环境变量。我将使用相同的hello项目模板，但插入了新代码。
首先，我们将添加新的软件包以允许读取环境（envoy）和读取命令行参数（argv）——您可能希望它是内置的，但可能会反映系统差异。
让我们将hello.gleam中的代码替换为按需打印出环境变量，代码如下：
import argvimport envoyimport gleam/ioimport gleam/resultpub fn main() {case argv.load().arguments {["get", name] -> get(name)_ -> io.println("Usage: get ")}}fn get(name: String) -> Nil {let value = envoy.get(name) |> result.unwrap("")io.println(format_pair(name, value))}fn format_pair(name: String, value: String) -> String {name <> "=" <> value}
添加到公共main入口点后，我们有两个函数。它们使用的格式与在 Virgil 中看到的完全相同。
事实证明，类型注释是可选的，但被认为是良好做法。现在，我们有点功能性了。argv load执行了您期望的操作，并提取了一个希望恰好包含两个字符串的列表 — 其中第一个字符串等于“get”。这在语句中使用case。
顺便说一下，Gleamcase比大多数非函数式语言更灵活一些。下面我们来比较一下列表的内容：
let result = case x {[] -> "Empty list"[1] -> "List of just 1"[4, ..] -> "List starting with 4"[_, _] -> "List of 2 elements"_ -> "Some other list"}
因此，可以在 case 语句中比较模式。下划线_表示默认，并且会详尽检查可能的情况。
回到我们的环境变量读取代码，如果模式不是两个字符串的列表，则输出帮助文本。否则，它将调用get函数。
我们看到了管道函数，它有助于使长函数调用从左到右更易读。
let value = envoy.get(name) |> result.unwrap("")这与以下内容相同：
let value = result.unwrap(envoy.get(name),"")由于 Gleam 不会引发异常，因此它使用内置的Result类型，并解包获取好的路径值。
最后的奇怪之处是：
name <> "=" <> value这只是字符串连接。
在这里，我第二次运行它，并使用所需的参数：
Gleam 没有 null，没有隐式转换，也没有异常。所以如果它编译成功，那就没问题了。此外，没有数值运算符重载，因此用于添加整数的代码与用于添加浮点数的代码不同：
io.debug(1 + 1) //intsio.debug(1.0 +. 1.5) //floats
相等性适用于任何类型。通过使用函数式语言可以最好地体验不变性的一般概念，因此我不会对此进行掩盖。它确实有助于消除一大堆错误。
代数数据类型
最后，我们看到了Virgil中使用的代数数据类型(ADT) ，所以我很想看看 Gleam 中与之等效的工作原理。事实上，我们已经看到了case语句的用法。
我们获得自定义类型，然后对其进行模式匹配：
pub type Season {SpringSummerAutumnWinter}fn weather(season: Season) -> String {case season {Spring -> "Mild"Summer -> "Hot"Autumn -> "Windy"Winter -> "Cold"}}
类型可以在记录中保存数据，这就是我们接近 Virgil 示例的方式：
import gleam/iopub type Travel {Walk(hours: Int)Cycle(hours: Int)Drive(hours: Int, speed: Int)}pub fn main() {let walking = Walk(1)let cycling = Cycle(1)let bus_trip = Drive(2, 50)let trip = [walking, cycling, bus_trip]io.debug(trip)}// [Walk(hours: 1), Cycle(hours: 1), Drive(hours: 2, speed: 50)]
我认为我无法在类型内关联方法，但我可以访问记录值以获得与 Virgil 中类似的结果。我将把这留给更熟练的用户作为练习！
对于像我这样不怎么使用函数式代码的人来说，Gleam 非常容易上手，不会让我立即陷入“柯里化”等术语和其他函数式冲击中。
但如果您还不是 Gleam 的拥护者，那么 Gleam 应该是一种让您领略编程不变性优势的好方法。
