探索Purerl：将PureScript带入Erlang世界

1、项目介绍

Purerl 是一个创新的开源项目，它为PureScript编程语言提供了一个新的后端目标——Erlang源代码。这个项目源于Haskell的启发，并保持了PureScript的强大类型系统和表达性。通过Purerl，开发者可以利用PureScript的优点来编写Erlang应用程序。

2、项目技术分析

Purerl的核心是它将PureScript编译为Erlang源代码的能力。它处理PureScript的CoreFn编译输出和externs.json类型信息，生成可被erlc编译的.erl文件。这意味着你可以利用PureScript的静态类型检查和强大的类型类来构建高可靠性、高度并发的Erlang应用。

Purerl与主流的PureScript编译器(purs)紧密配合工作，并支持Spago构建工具。IDE工具如purs ide和各种编辑器插件也能够与Purerl项目无缝集成，只需配置为生成CoreFn而非JavaScript。

3、项目及技术应用场景

Purerl特别适合于需要在Erlang平台上构建复杂、类型安全的应用场景，特别是在大规模分布式系统或高并发环境中的应用。例如，在消息队列、实时计算或者需要强类型保障的微服务架构中，Purerl可以提供一种更强大且具有纯函数式编程优势的解决方案。

4、项目特点

• 类型映射：Purerl将PureScript的多种类型映射到Erlang的相应数据结构，包括整数、浮点数、布尔值、字符串、数组、记录、标签联合体等。
• FFI（Foreign Function Interface）：Purerl允许你在Erlang代码中直接调用PureScript函数，提供了自动柯里化功能以适应Erlang的函数调用风格。
• 优化器支持：如purerl-optimiser库，用于字典记忆化，提升性能。
• IDE友好：兼容基于purs ide的PureScript开发工具，可以通过配置让这些工具生成CoreFn代码。

如何开始？

要开始使用Purerl，你可以从GitHub Releases下载二进制文件或借助Nix overlays进行安装。然后，修改你的spago.dhall设置，选择"Purerl"作为后台，并在packages.dhall中指定合适的Purerl包集。接着，你可以愉快地使用spago build和spago run来编译和运行项目。

Purerl不仅是一个工具，也是一个探索类型驱动开发与Erlang并发特性的新视角。如果你对PureScript和Erlang都有热情，那么Purerl绝对值得你一试！