- android - 多次调用 OnPrimaryClipChangedListener
- android - 无法更新 RecyclerView 中的 TextView 字段
- android.database.CursorIndexOutOfBoundsException : Index 0 requested, 光标大小为 0
- android - 使用 AppCompat 时,我们是否需要明确指定其 UI 组件(Spinner、EditText)颜色
我们应该如何在保持功能纯净的情况下用 Python 编写文件?通常我会做这样的事情
from typing import Iterable
from io import IOBase
def transform_input(input_lines: Iterable[str]) -> Iterable[str]: ...
def print_pack(input_lines: Iterable[str], output: IOBase) -> None:
for line in input_lines:
print(line, file=output)
def main(*args, **kwargs):
# Somehow we get a bunch iterables with strings and a list of output streams
packs_of_input = ... # Iterable[Iterable[str]]
output_streams = ... # Iterable[IOBase]
packs_to_print = map(transform_input, packs_of_input)
for pack, output_stream in zip(packs_to_print, output_streams):
print_pack(pack, output_stream)
我们可以用这样的东西替换 for
循环
list(map(lambda pack_stream: print_pack(*pack_stream), zip(packs_to_print, output_streams))
但这只会让打印看起来像是功能性完成的。问题是 print_pack
不是一个纯函数,它所有的努力都会产生副作用并且它什么都不返回。我们应该如何编写文件并保持功能纯(或几乎纯)?
最佳答案
本质上,在 Python 中,您需要某处有一个不纯的函数,所以在这个应用程序中没有办法拥有 100% 的纯函数。最后需要做一些IO,而IO是不纯的。
但是,您可以尝试将应用程序中的特定抽象层表示为纯函数,并将产生实际副作用的部分隔离到另一个模块中。您可以以一种特别的方式非常轻松地做到这一点——例如,通过在您的主代码中累积您要作为纯不可变数据结构编写的文件的内容。然后您的副作用代码可以减少大小,因为它需要做的就是将字符串转储到文件中。
我们可以向 Haskell 寻求一种更严格的方法来纯粹地表示具有纯函数和数据结构的副作用操作的全部功能——使用 Monad 抽象。本质上,Monad 是您可以将回调绑定(bind)到的东西,以创建一系列基于纯函数的有效计算。对于 IO monad,一旦您从 main
函数返回 IO 值,Haskell 运行时就会实际执行副作用——因此您编写的所有代码在技术上都是纯函数,而运行时负责 IO。
Effect库(免责声明:我写的)基本上在 Python 中实现了某种风格的 Monad(或非常接近 monad 的东西)。这使您可以将任意 IO(和其他副作用)表示为纯对象和函数,并将这些效果的实际性能放在一边。所以你的应用程序代码可以是 100% 纯的,只要你有一种相对简单的副作用函数库。
因此,例如,要实现一个将行列表写入带有 Effects 的文件的函数,您需要执行如下操作:
@do
def write_lines_to_file(lines, filename):
file_handle = yield open_file(filename)
for line in lines:
yield write_data(file_handle, line)
# alternatively:
# from effect.fold import sequence; from functools import partial
# yield sequence(map(partial(write_data, file_handle), lines))
yield close_file(file_handle)
Effect 库提供了这个特殊的 do
装饰器,让您可以使用命令式语法来描述纯粹的有效操作。上面的功能等同于这个:
def write_lines_to_file(lines, filename):
file_handle_eff = open_file(filename).on(
lambda file_handle:
sequence(map(partial(write_data, file_handle), lines)).on(
lambda _: close_file(file_handle)))
它们都假定存在三个函数:open_file、write_data 和 close_file。假定这些函数返回表示执行这些操作的意图的 Effect 对象。最后,Effect 本质上是一个意图(对请求的操作的一些透明描述),以及一个或多个回调,以便在该操作的结果完成时运行。有趣的区别是 write_lines_to_file 并不实际上将行写入文件;它只是返回将一些行写入文件的意图的一些表示。
要实际执行此效果,您需要使用 sync_perform
函数,例如 sync_perform(dispatcher, write_lines_to_file(lines, filename))
。这是一个不纯的函数,它实际上运行执行者以获得有效计算的纯表示所使用的所有效果。
我可以深入了解需要如何实现 open_file、write_data 和 close_file 的细节,以及“dispatcher”参数的细节,但实际上文档位于 https://effect.readthedocs.org/。在这一点上可能是正确的引用。
我还在 Strange Loop 上发表了关于 Effect 及其实现的演讲,您可以在 YouTube 上观看:https://www.youtube.com/watch?v=D37dc9EoFus
值得注意的是,Effect 是一种非常笨拙的方法来保持代码的纯功能性。通过采用“函数式核心/命令式外壳”方法并尽最大努力将大部分代码编写为纯函数并尽量减少有效代码,您可以在代码可维护性方面取得长足进步。但如果您对更严格的方法感兴趣,我认为 Effect 很好。我的团队在生产中使用它,它帮了很多忙,尤其是在测试 API 方面。
关于Python:以函数式编程风格编写文件,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/33107541/
今天我在一个 Java 应用程序中看到了几种不同的加载文件的方法。 文件:/ 文件:// 文件:/// 这三个 URL 开头有什么区别?使用它们的首选方式是什么? 非常感谢 斯特凡 最佳答案 file
就目前而言,这个问题不适合我们的问答形式。我们希望答案得到事实、引用或专业知识的支持,但这个问题可能会引起辩论、争论、投票或扩展讨论。如果您觉得这个问题可以改进并可能重新打开,visit the he
我有一个 javascript 文件,并且在该方法中有一个“测试”方法,我喜欢调用 C# 函数。 c# 函数与 javascript 文件不在同一文件中。 它位于 .cs 文件中。那么我该如何管理 j
需要检查我使用的文件/目录的权限 //filePath = path of file/directory access denied by user ( in windows ) File fil
我在一个目录中有很多 java 文件,我想在我的 Intellij 项目中使用它。但是我不想每次开始一个新项目时都将 java 文件复制到我的项目中。 我知道我可以在 Visual Studio 和
已关闭。此问题不符合Stack Overflow guidelines 。目前不接受答案。 这个问题似乎不是关于 a specific programming problem, a software
我有 3 个组件的 Twig 文件: 文件 1: {# content-here #} 文件 2: {{ title-here }} {# content-here #}
我得到了 mod_ldap.c 和 mod_authnz_ldap.c 文件。我需要使用 Linux 命令的 mod_ldap.so 和 mod_authnz_ldap.so 文件。 最佳答案 从 c
我想使用PIE在我的项目中使用 IE7。 但是我不明白的是,我只能在网络服务器上使用 .htc 文件吗? 我可以在没有网络服务器的情况下通过浏览器加载的本地页面中使用它吗? 我在 PIE 的文档中看到
我在 CI 管道中考虑这一点,我应该首先构建和测试我的应用程序,结果应该是一个 docker 镜像。 我想知道使用构建环境在构建服务器上构建然后运行测试是否更常见。也许为此使用构建脚本。最后只需将 j
using namespace std; struct WebSites { string siteName; int rank; string getSiteName() {
我是 Linux 新手,目前正在尝试使用 ginkgo USB-CAN 接口(interface) 的 API 编程功能。为了使用 C++ 对 API 进行编程,他们提供了库文件,其中包含三个带有 .
我刚学C语言,在实现一个程序时遇到了问题将 test.txt 文件作为程序的输入。 test.txt 文件的内容是: 1 30 30 40 50 60 2 40 30 50 60 60 3 30 20
如何连接两个tcpdump文件,使一个流量在文件中出现一个接一个?具体来说,我想“乘以”一个 tcpdump 文件,这样所有的 session 将一个接一个地按顺序重复几次。 最佳答案 mergeca
我有一个名为 input.MP4 的文件,它已损坏。它来自闭路电视摄像机。我什么都试过了,ffmpeg , VLC 转换,没有运气。但是,我使用了 mediainfo和 exiftool并提取以下信息
我想做什么? 我想提取 ISO 文件并编辑其中的文件,然后将其重新打包回 ISO 文件。 (正如你已经读过的) 我为什么要这样做? 我想开始修改 PSP ISO,为此我必须使用游戏资源、 Assets
给定一个 gzip 文件 Z,如果我将其解压缩为 Z',有什么办法可以重新压缩它以恢复完全相同的 gzip 文件 Z?在粗略阅读了 DEFLATE 格式后,我猜不会,因为任何给定的文件都可能在 DEF
我必须从数据库向我的邮件 ID 发送一封带有附件的邮件。 EXEC msdb.dbo.sp_send_dbmail @profile_name = 'Adventure Works Admin
我有一个大的 M4B 文件和一个 CUE 文件。我想将其拆分为多个 M4B 文件,或将其拆分为多个 MP3 文件(以前首选)。 我想在命令行中执行此操作(OS X,但如果需要可以使用 Linux),而
快速提问。我有一个没有实现文件的类的项目。 然后在 AppDelegate 我有: #import "AppDelegate.h" #import "SomeClass.h" @interface A
我是一名优秀的程序员,十分优秀!