我玩过一些函数式编程语言，并且非常喜欢 Lisps 使用的 s-expr 语法（尤其是方案）。
我还看到了使用纯函数式语言工作的优势。所以：
是否有任何纯粹的功能方案（或一般的 Lisp）？
问问题
9706 次
9 回答
26
新的Racket语言（以前称为 PLT 方案）允许您使用 s 表达式（实际上是任何语法）实现您喜欢的任何语义。基础语言是一种热切评估的动态类型方案变体，但一些建立在其上的著名语言是惰性方案和称为父时间的函数式反应系统。
在 Racket 中制作纯函数式语言的一种简单方法是采用基础语言而不提供任何改变状态的过程。例如：
#lang racket/base
(provide (except-out (all-from-out racket/base) set! ...more here...))
组成了一种没有set!.
于 2010-05-25T07:04:15.107 回答
16
我不相信有任何纯函数式的 Lisp，但 Clojure 可能是最接近的。
Clojure 的创建者 Rich Hickey：
为什么我要编写另一种编程语言？基本上是因为我想要一个为并发设计的函数式编程的 Lisp，但找不到。
Clojure 是函数式的，具有不可变的数据类型和变量，但在某些特殊情况下或通过下降到 Java（Clojure 在 JVM 上运行）可以获得可变行为。
这是设计使然 - Rich 的另一句话是
纯粹的函数式编程语言只适用于加热您的计算机。
于 2010-05-23T01:49:04.943 回答
13
是否有任何纯粹的功能方案（或一般的 Lisp）？
ACL2 定理证明器是一个纯 Lisp。然而，它旨在用于定理证明而不是编程，特别是它仅限于一阶程序。然而，它在其利基市场上非常成功。除其他外，它还获得了 2005 年ACM 软件系统奖。
于 2010-05-23T01:45:08.397 回答
12
可能不是，至少不是玩具/概念证明以外的任何东西。请注意，即使 Haskell 也不是 100% 纯功能性的——它有秘密的逃生舱口，其中的任何东西IO都只是“纯”的，在某种折磨人的、挥手的意义上。
所以，也就是说，你真的需要一种纯粹的函数式语言吗？您几乎可以用任何语言编写纯函数式代码，但存在不同程度的不便和低效。
当然，假设通用状态修改的语言使保持事物纯净变得很痛苦，所以也许您真正想要的是一种鼓励不变性的语言？在这种情况下，您可能会发现看看Clojure的哲学是值得的。它是一个 Lisp，启动！
最后一点，请意识到 Haskell 的大部分“语法”都是厚厚的糖层。底层语言只不过是一种类型化的 lambda 演算，没有什么能阻止你以这种方式编写所有代码。不过，您可能会从其他 Haskell 程序员那里得到滑稽的表情。还有Liskell，但我不确定它现在处于什么状态。
最后一点，实用的说明：如果你想真正编写你打算使用的代码，而不仅仅是为了好玩而修补东西，你真的需要一个聪明的编译器，它知道如何使用纯代码/不可变数据结构。
于 2010-05-23T01:32:20.817 回答
6
不一致且不可扩展的语法
这里的“不一致”是什么？
仅根据语法选择语言是很奇怪的。毕竟，学习语法需要几个小时——这只是所需投资的一小部分。
相比之下，速度、打字纪律、可移植性、库的广度、文档和社区等重要考虑因素对您能否提高工作效率产生更大的影响。
忽略所有的火焰诱饵，快速搜索不可变方案的谷歌会产生一些结果： http ://blog.plt-scheme.org/2007/11/getting-rid-of-set-car-and-set-cdr.html
于 2010-05-23T01:29:29.807 回答
5
30 年前有lispkit lisp
不知道今天它有多容易。
[那是我学习函数式编程的地方之一]
于 2012-08-02T11:41:47.997 回答
4
有owl lisp，这是 R5RS 方案的一种方言，所有数据结构都是不可变的，还有一些额外的纯数据结构。它不是一个大项目，但似乎被一小群人积极开发和使用（从我在网站和 git 存储库上看到的）。还计划包括 R7RS 支持和某种类型的推断。因此，虽然可能还没有准备好用于生产，但这可能是一件有趣的事情。
于 2012-11-10T15:38:22.897 回答
3
如果你喜欢 lisp 的语法，那么你实际上可以在 Haskell 中做类似的事情
let fibs = ((++) [1, 1] (zipWith (+) fibs (tail fibs)))
let fibs =一边。您始终可以在 Haskell 表达式中使用 s-expr 语法。这是因为您始终可以在外面添加括号，这无关紧要。这是没有多余括号的相同代码：
let fibs = (++) [1, 1] (zipWith (+) fibs (tail fibs))
这里是“典型的”Haskell 风格：
let fibs = [1, 1] ++ zipWith (+) fibs (tail fibs)
于 2010-05-23T09:15:28.847 回答
3
有几个项目旨在在 lispy 语法下使用 haskell。更老、更死板、更笨重的是“Liskell”。更新、更有活力、重量更轻的一种是搭扣。我想你可能会觉得值得一看。
于 2010-05-24T02:12:44.697 回答