Haskell 获得 iOS 支持，并做出多项语言和性能改进

GHC 7.8.1最近已经发布，为Haskell 生态系统带来多项改善。Haskell 现在可以针对iOS 编译，并且增加了多项新特性，像闭合类型族、角色、重载列表、模式同义词等。

Haskell 可以通过 clang 编译成 iOS 可用的文件。这支持使用 XCode 5 的开发。由于在 Haskell 中缺少跨平台的 GUI 类库，所以现在你需要单独在 objective-C 中开发 GUI，然后从 GUI 代码中调用 Haskell 函数。尽管这项支持已经在大概七个月之前就宣布了，但这是第一个包含了这项支持的 GHC 主要版本。

但要注意的是，在 iOS 上 Template Haskell 暂时还不可用。

跨平台编译也在总体上得到了改善。例如，动态连接得到了更好的支持。GHCi 现在默认会使用系统动态连接器，以此取代内建的静态连接器。有了 GHC，你可以使用新的编译标识“–dynamic-too”，从而同时生成静态和动态的对象文件。（默认情况下 GHC 还是会使用静态连接）。

在这个版本中，还有一些特性：

• 闭合类型族（Closed Type Families）——用于重载数据类型的类型族。闭合类型拥有在某处定义的所有等式，且不可扩展——这对于避免一些最初开发者不想得到的后果非常有用。
• 角色——为了在使用 GeneralizedNewTypeDeriving 的时候消除类型不安全的定义
• 重载列表（Overloaded Lists）——一种使用列表的语法糖，用于构建 Set、Map、IntMap、Vector、Text 以及 Array 等结构。
• 模式同义词（Pattern Synonyms）
• Typeable 现在是多类型的，这使得 Typeable1、Typeable1 等可以彼此独立。
• 新的 I/O 管理器，会线性扩展到 32 个核上
• 对 Template Haskell 的七项改善，像对角色的支持、注释语法、“有类型的 Template Haskell 表达式”等
• 生成程序的并行模式
• 针对类型本身的改善（性能提升）

在下一个版本（7.10）中可能会有突破性的改变， Applicative 会成为 Monad 的超类。为了让这种转换更容易，GHC 的当前版本会忽略以下警告：类型是 Monad 但不是 Applicative、是 MonadPlus 但不是 Alternative，以及当本地函数被声称是 join、<*>。

还有多项改变，你可以参考发布记录获得完整列表。

你还会注意到 Haskell 平台——它把 GHC 和工具绑定在一起，从而更好地与 Haskell 协作——还没有更新使用最新版本的 GHC。

查看英文原文： Haskell Gets iOS Support, Several language and Performance Improvements