gpt4 book ai didi

python - 从 Python 生成和运行 Haskell 代码

转载 作者:行者123 更新时间:2023-12-04 01:35:58 26 4
gpt4 key购买 nike

我们正在编写一个 python 程序,它试图在给定输入输出对的情况下合成一个(简单的)haskell 函数。在程序的整个运行过程中,我们生成 haskell 代码并根据用户提供的示例检查其正确性。假设我们得到输入“1 2”和预期输出“3”。我们会(最终)提出加号功能。然后我们会跑(\x y -> x + y) 1 2 在 haskell 中检查它的计算结果是否为 3。

我们目前做事的方式是运行以下 python 代码:

from subprocess import Popen, PIPE, STDOUT
proccess = Popen(f'ghc -e "{haskell_code}"', shell=True, stdout=PIPE, stderr=STDOUT)
haskell_output = proc.stdout.read().decode('utf-8').strip('\n')

由于我们都不熟悉 ghc、haskell、流程或与这些相关的任何东西,我们希望有人能帮助我们以(更)有效的方式执行此任务,因为这是目前很慢。

此外,我们希望能够执行多个语句。例如,我们想导入 Data.Char 以便我们的函数可以使用“toUpper”。然而,我们目前这样做的方式是发送单个 lambda 函数并附加输入,我们不确定如何在其上方添加导入语句(添加“\n”似乎不起作用)。

总而言之,我们想要最快的(运行时)解决方案,允许我们从 python 测试 haskell 函数(我们没有提前或在某个时间点拥有所有 haskell 函数的代码,而是测试当我们生成代码时),同时允许我们使用多个语句(例如,导入)。

如果其中任何一个是微不足道的或愚蠢的,我们深表歉意,我们将不胜感激。

最佳答案

这似乎是一件奇怪的事情.. 但仍然有趣

这里立即想到两件事。首先是使用 ghci repl 而不是为每次 eval 尝试生成一个新进程。这个想法是将您的 I/O 流式传输到 ghci 进程,而不是为每次尝试生成一个新的 ghc 进程。为每个 eval 启动一个新进程的开销似乎是性能 killer 。我通常会选择 expect,但既然你想要 python,我会调用 pexpect:

import pexpect
import sys
from subprocess import Popen, PIPE, STDOUT
import time


REPL_PS = unicode('Prelude> ')
LOOPS = 100


def time_function(func):
def decorator(*args, **kwargs):
ts = time.time()
func(*args, **kwargs)
te = time.time()
print "total time", (te - ts)
return decorator


@time_function
def repl_loop():
repl = pexpect.spawnu('ghci')
repl.expect(REPL_PS)
for i in range(LOOPS):
repl.sendline('''(\\x y -> x + y) 1 2''')
_, haskell_output = repl.readline(), repl.readline()
repl.expect(REPL_PS)


@time_function
def subproc_loop():
for i in range(LOOPS):
proc = Popen('''ghc -e "(\\x y -> x + y) 1 2"''', shell=True, stdout=PIPE, stderr=STDOUT)
haskell_output = proc.stdout.read().decode('utf-8').strip('n')
# print haskell_output


repl_loop()
subproc_loop()

这给了我非常稳定的 >2x 速度提升。

有关更多信息,请参阅预期文档:https://github.com/pexpect/pexpect/

第二个直接的想法是使用一些分布式计算。我没有时间在这里构建完整的演示,但是互联网和 SO 领域已经有很多很好的例子。这个想法是让多个“python + ghci”进程从公共(public)队列读取eval attempts,然后将结果推送到公共(public)eval attempt checker。我对 ghc(i) 了解不多,但快速检查表明 ghci 是一个多线程进程,因此这可能需要多台机器才能完成,每台机器并行尝试不同的尝试子集。

一些您可能感兴趣的链接:

How to use multiprocessing queue in Python?

https://docs.python.org/2/library/multiprocessing.html

https://eli.thegreenplace.net/2012/01/24/distributed-computing-in-python-with-multiprocessing

关于python - 从 Python 生成和运行 Haskell 代码,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/49813434/

26 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com