Elm语言

Elm最初由Evan Czaplicki在2012年作为毕业论文《Elm：用于函数式GUI的并发FRP》而设计的[6]。Elm的首次发行带有很多例子和一个在线编辑器，使得易于在web浏览器中试验它[7]。Evan在2013年加入Prezi从事Elm的工作[8]，并在2016年转移到NoRedInk作为开源工程师，启动了Elm软件基金会[9]。

Elm编译器的最初实现执行目标为HTML、CSS和JavaScript[10]。核心工具集持续的扩展，现在包括了REPL[11]、包管理器[12]、时间旅行调试器[13]和针对macOS及Windows的安装器[14]。 Elm还有一个生态系统，包括社区创建的库[15]和Ellie[16]，它是一个高级在线编辑器，允许保存工作和包含社区库。

Elm有一个小集合的语言构造，包括传统的if表达式，let表达式用于局部状态，和case表达式用于模式匹配[17]。作为函数式语言，它缺省的支持匿名函数，函数作为实际参数，和部份应用。它的语义包括不可变的值，无状态函数，和具有类型推论的静态类型。Elm程序通过虚拟的DOM呈现HTML，还可以使用“JavaScript作为服务”来与其他代码进行互操作。

Elm架构是建造交互式web应用的模式。Elm应用本质上以这种方式来构造，但是其他项目可能发现这个概念很有用。

Elm程序总是分解成三个部份：

• 模型：这个应用的状态，
• 视图：一个把模型转变成HTML的函数，
• 更新：一个基于消息更新模型的函数。

这些是Elm架构的核心。

例如，想象显示一个数值和在按下时增加这个数值的一个按钮的一个应用[27]。在这种情况下，所有我们需要存储的是一个数值，所以我们的模型可以简单的就是type alias Model = Int。view函数将用Html库来定义并显示这个数值和按钮。为了让这个数值被更新，我们需要能够向update函数发送消息，这是通过定制类型比如type Msg = Increase来完成的。 Increase值被附着于在view函数内定义的按钮，使得在用户点击这个按钮的时候，Increase被传递到update函数之上，它可以通过增加这个数值来更新这个模型。

在Elm架构中，发送消息至update是改变状态的唯一方式。在更加复杂的应用中，消息可以来自各种来源：用户交互，模型初始化，来自update的内部调用，订阅的外部事件（窗口改变大小、系统时钟、JavaScript互操作等等）和URL变更及请求。

Elm不支持高种类多态[28]，这是同为函数式的语言Haskell和PureScript所提供的，Elm还不支持创建类型类。

这意味着，例如Elm没有跨越多种数据结构如List和Set的通用的map函数。在Elm中，这种函数典型的要限定上它们的模块名字来调用，例如调用List.map和Set.map。在Haskell或PureScript中，只有一个函数map。自从2015年这就是在Czaplicki的粗略路线图上的一个周知的特征要求[29]。

另一个缺陷是在中到大型项目中有大量的样板代码，如《Elm in Action》作者在他们的单一页面应用例子中所展示的那样[30]，具有几乎同样的片段被重复于更新、视图、订阅、路由解析和建造函数之中。

下面的例子代码通过注释展示了Elm的基本特征：

-- 这是一个单一行注释。

{-
这是一个多行注释。
它是 {- 可嵌套的。 -}
-}

-- 这里定义叫做greeting的一个值。类型被推论为String。
greeting =
    "Hello World!"

 -- 对顶层声明最好增加类型标注。
hello : String
hello =
    "Hi there."

-- 函数以相同方式声明，具有跟随在函数名字后的实际参数。
add x y =
    x + y

-- 再次的，最好增加类型标注。
hypotenuse : Float -> Float -> Float
hypotenuse a b =
    sqrt (a^2 + b^2)

-- 函数可以柯里化；这里我们柯里化乘法中缀算符于数2之上。
multiplyBy2 : number -> number
multiplyBy2 =
    (*) 2

-- If表达式用于在Bool值上的分支。
absoluteValue : number -> number
absoluteValue number =
    if number < 0 then negate number else number

 -- 记录用来持有命名字段。
book : { title : String, author : String, pages : Int }
book =
    { title = "Steppenwolf"
    , author = "Hesse"
    , pages = 237 
    }

-- 记录访问通过 . 来进行。
title : String
title =
    book.title

-- 记录访问 . 也可以用作一个函数。
author : String
author =
    .author book

-- 可以通过type关键字建立标签联合。
-- 下列值表示一个二叉树。
type Tree a
    = Empty
    | Node a (Tree a) (Tree a)

-- 可以用过case表达式检测这些类型。
depth : Tree a -> Int
depth tree =
    case tree of
        Empty ->
            0

        Node value left right ->
            1 + max (depth left) (depth right)

• PureScript：一个强类型的、纯函数式的编译成JavaScript的编程语言。
• Reason：OCaml的语法扩展和工具链，也可以转译成JavaScript。
• 函数式响应式编程

• 官方网站
• . [2021-03-02]. （原始内容存档于2021-01-17）.