Haskell 程序可以表示为 Lisp S 表达式吗？

发布于 2024-11-13 03:45:06 字数 117 浏览 5 评论 0原文

这对于遗传编程很有用，遗传编程通常使用 Lisp 子集作为程序的表示。

我在网上找到了一个叫做 Liskell（Lisp 语法，里面有 Haskell）的东西，但是链接已损坏，我找不到它的论文......

原文

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

温柔嚣张 2024-11-20 03:45:06

查看 Lisk，它旨在修复作者的问题与利斯克尔抱怨。

在业余时间，我正在开发一个名为 Lisk 的项目。使用 GHC 的 -pgmF 选项，您可以为 GHC 提供一个程序名称，在 GHC 编译文件之前调用该程序名称来预处理文件。它也适用于 GHCi 和导入。你可以像这样使用它：
{-# 选项 -F -pgmF lisk #-}
（模块错误
  （导入系统.环境）

  (:: 主要(io()))
  (= main(>>= get-args(.print fib read head)))

  (:: 测试 (-> :string (, :int :string)))
  (= 测试 (, 1))

  (:: fib (-> :int :int))
  (= 纤维 0 0)
  (= 谎言 1 1)
  (= fib n (+ (fib (- n 1)))
              (fib (- n 2)))))

来源位于此处。

另外，如果您实际上并不关心 Haskell 而只是想要它的一些功能，您可能需要查看 Qi （或其后继者 Shen），它具有 s 表达式语法，与许多现代函数式编程功能类似哈斯克尔。

Check out Lisk, which was designed to fix the author's gripes with Liskell.

In my spare time I’m working on a project called Lisk. Using the -pgmF option for GHC, you can provide GHC a program name that is called to preprocess the file before GHC compiles it. It also works in GHCi and imports. You use it like this:
{-# OPTIONS -F -pgmF lisk #-}
(module fibs
  (import system.environment)

  (:: main (io ()))
  (= main (>>= get-args (. print fib read head)))

  (:: test (-> :string (, :int :string)))
  (= test (, 1))

  (:: fib (-> :int :int))
  (= fib 0 0)
  (= fib 1 1)
  (= fib n (+ (fib (- n 1))
              (fib (- n 2)))))

The source is here.

Also, if you don't actually care about Haskell and just want some of its features, you might want to check out Qi (or its successor, Shen), which has s-expression syntax with many modern functional-programming features similar to Haskell.

回复收藏 0 原文

隱形的亼 2024-11-20 03:45:06

您可能对我一直在从事的一个项目感兴趣，husk 方案。

基本上它会让你从 Haskell 调用Scheme代码（S表达式），反之亦然。因此，您可以在程序中混合该代码，然后当您想在 Haskell 端执行某些操作时，将 s 表达式作为本机 Haskell 数据类型进行处理。

不管怎样，它可能对你有用，也可能没用——看看然后自己决定。

回复收藏 0 原文

梦纸 2024-11-20 03:45:06

在大多数遗传编程软件中，程序被表示为抽象语法树（AST），并直接以这种形式进行评估。仅当程序作为源代码输出时，Lisp S 表达式语法才明显。您是否考虑过仅修改所选软件中的输出模块以从 AST 生成 Haskell 源代码？

回复收藏 0 原文

橘味果▽酱 2024-11-20 03:45:06

显而易见的答案是“是”——这并不奇怪，因为 S 表达式的目的是作为一个简单的 & 表达式。解析代码的统一表示。问题是像 Haskell 或 ML 这样的语言往往会遇到一些问题。我曾经做过类似 OCaml 的事情（滥用 CamlP4 并编写了一些函数，将 P4 AST 转换为某种类似 sexpr 的表示），当您遇到具有不同类型的类似 AST 节点时，乐趣就开始了，因为它们并不是真正的相同...例如，有函数应用程序，有一种类似的形式用于模式，还有另一种形式用于类型表达式。

我的猜测是，尝试以这种方式进行遗传编程很可能会遇到太多没有任何意义的垃圾程序。但这对于任何静态类型语言来说也不足为奇——动态类型语言将允许更多垃圾进入。出于人工智能之外的原因，将这两个世界的 WRT 与遗传编程进行比较可能会很有趣......

回复收藏 0 原文