Elm语言

Elm

编程范型	函数式
設計者	Evan Czaplicki
发行时间	2012年3月30日​（2012-03-30）
当前版本	0.19.1 (2019年10月21日)
型態系統	静态, 强类型, 类型推论
許可證	宽松许可证 (修订的BSD)
文件扩展名	.elm
網站	elm-lang.org
啟發語言
Haskell, Standard ML, OCaml, F#
影響語言
Redux, Vuex

Elm是一个领域特定编程语言，用于声明式的创建基于web浏览器的图形用户界面。Elm是纯函数式的，开发它时强调了易用性、性能和健壮性。它宣传为“实际上没有运行时间异常”，Elm编译器的静态类型检查使之成为可能。

历史

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

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

特征

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

样例代码

下面的例子代码通过注释展示了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。

外部链接

• 官方网站