Haskell Programming Language - Learn Functional Programming for iOS

描述

适用于 iPad、iPhone 和 iPod touch 的经典 Haskell 编程语言。编程语言是学习、复杂数学计算、娱乐和许多其他有用任务的完美工具。该应用程序对于学习 Haskell 编程语言特别有用。您必须在应用程序内购买编译。需要互联网连接。 - AppStore 上出色的编程工具。 - 你的 iOS 编程语言太棒了！ * 特点 * - 编译并运行您的程序。 - 程序运行前的文本输入和文本输出。 - 增强的源代码编辑器，带有语法突出显示、行号、颜色主题和附加键盘。- 在线语言参考和几个程序示例。 * 限制 * - 编译和运行程序需要 Internet 连接。 - 不支持图形、网络、文件系统和实时输入。 - 程序的最长运行时间为 15 秒。感谢您使用该应用程序！ ======================================= Haskell 是一种标准化的、通用的纯函数式编程语言，具有非严格语义和强静态类型。它以逻辑学家 Haskell Curry 的名字命名。在 Haskell 中，“函数是编程语言的一等公民”。作为一种函数式编程语言，主要的控制结构是函数。在 1985 年 Research Software Ltd 发布 Miranda 之后，人们对惰性函数式语言的兴趣与日俱增：到 1987 年，已经出现了十几种非严格的纯函数式编程语言.其中，Miranda 是使用最广泛的软件，但却是专有软件。在俄勒冈州波特兰举行的函数式编程语言和计算机体系结构会议上，与会者形成了强烈的共识，即应该成立一个委员会来为这些语言定义一个开放标准。该委员会的目的是将现有的函数式语言整合为一种通用语言，作为未来函数式语言设计研究的基础。Haskell 具有惰性求值、模式匹配、列表理解、类型类和类型多态性。它是一种纯函数式语言，这意味着一般来说，Haskell 中的函数没有副作用。有一个独特的结构来表示副作用，与函数的类型正交。纯函数可能会返回随后执行的副作用，模拟其他语言的不纯函数。Haskell 具有基于 HindleyMilner 类型推断的强大的静态类型系统。 Haskell 在这方面的主要创新是添加类型类，它最初被认为是一种向语言添加重载的原则方法，但后来发现了更多用途。表示副作用的构造是 monad 的一个示例。 Monad 是一个通用框架，可以对不同类型的计算进行建模，包括错误处理、非确定性、解析和软件事务内存。 Monad 被定义为普通的数据类型，但 Haskell 为它们的使用提供了一些语法糖。该语言有一个开放的、已发布的规范，并且存在多种实现。围绕该语言有一个活跃的社区，在线包存储库 Hackage 中提供了 5400 多个第三方开源库和工具。Haskell 的主要实现，GHC，既是解释器，又是运行的本机代码编译器在大多数平台上。 GHC 以其高性能的并发和并行实现而著称，并以拥有丰富的类型系统而著称，该系统结合了诸如广义代数数据类型和类型族之类的最新创新。