问题标签 [continuation]

多年来，我一直是 Trilinos LOCA (c++) 中伪弧长延续、非线性求解器的用户，但我最近遇到了 python 包 petsc4py。这大大简化了我的编程，速度略有下降。

petsc4py 唯一缺少的类是伪弧长延续求解器。PETSC 有一个伪时间步进求解器，但这并不像转折点分解算法那么有用。

Trilinos LOCA 有一个 PETSC 包装器，但我一直在寻找一个解决方案，其中问题是在 python（来自 petsc4py）而不是 c 或 c++ 中指定的。

因此，我正在寻找一个用 petsc4py 编写的类，或者可以从 petsc4py 调用，实现伪弧长延续。

非常感谢你。

（GNU sed 版本 4.0.7 - 为 Win32 编译 - 来自http://unxutils.sourceforge.net）

要在大型 txt 文件的顶部添加一行，以下单行批处理脚本可以正常工作：

但是，为了清楚起见，将文本字符串拆分为多行来格式化批处理脚本会很有用，可能是这样：

不幸的是，执行上述批处理脚本失败：

'longheader1' 不是内部或外部命令、可运行程序或批处理文件。

用换行符替换^也\失败。

关于“行继续”脚本为何失败以及潜在的简洁解决方法的任何建议？

__philippe

我完全迷失了 Scheme 中的通话继续。有人可以帮我这个例子吗？

我了解第一个结果（3），但我不了解 2017 年的结果。

所以我正在开发一个函数来从 int 列表中找到对目标数字的一些有效算术运算。不允许使用 throw/callac。这里只有 add 和 mul 是有效的算术运算，它们是左关联的。

该功能应如下所示：

给定列表 [1,1,2,~1] 和目标编号 ~4，可接受的操作列表应该是 [ADD,ADD,MULT] 或 [ADD,MULT,MULT]，因为 ((((1+1)+2 )*~1) = ((1+1) 2 ~1) = ~4。但是 [MULT,ADD,MULT] 将无效，因为 (((1*1)+2)*~​​1) = ~3。

我很困惑如何检查返回的结果是否是 k()。使用 = 来检查返回值是不可能的，因为它是多态的。有什么方法可以处理这个吗？

我正在尝试在 Ruby 中运行一个 Continuation-heavy 项目，它非常慢......我什至尝试在代码中的关键点插入 GC.start 行以加快速度，假设内存被堵塞了，但事实并非如此没救 我尝试运行 Maglev，但我使用了太多与它不兼容的 gem。

有任何想法吗？

考虑ReStructuredText中的以下列表：

当列表在Sphinx中编译时，注释后面的数字被重置为1：

note知道如何在一节之后继续编号列表吗？

假设我有一个多行命令：

在一个if块中，我可以在其中一个条件旁边添加注释，方法是使用括号来换行：

而且，事实上，它与PEP 8 指南推荐的这样做方式一致：

包装长行的首选方法是在括号、方括号和大括号内使用 Python 的隐含行继续。通过将表达式括在括号中，可以将长行分成多行。这些应该优先使用反斜杠来继续行。

但是，有时您需要使用延续。例如，长的、多个 with 语句不能使用隐式延续。那么，如何在特定行旁边添加评论？这不起作用：

更一般地说，是否有一种通用方法可以在特定续行旁边添加评论？

在准备考试时，我正在为 F# 中的一些作业而苦苦挣扎。

作业说：

考虑以下 F# 声明：

的类型f是int -> int list -> int list。表达式f 10 [0;1;2;3]返回值[10;12;14;16;14]。

该函数f不是尾递归的。声明使用累加参数的尾递归变体 , fA。f

和

声明一个基于延续的尾递归变体fC, f。

到目前为止，我已经尝试过类似的东西：

但我就是不明白为什么它不能与这些一起使用。我知道我错过了对此的一些更深入的了解，所以现在我在这里尝试所有的大脑。

我正在尝试使用以下代码（在操场上）测试 Pharo 中的延续设施：

但是，只要我调用保存在cont（替换cont.为cont value.）中的延续，图像就会立即冻结，我必须按下atl+.才能重新获得控制权。

虚拟机版本：VM: NBCoInterpreter NativeBoost-CogPlugin-GuillermoPolito.19 uuid: acc98e51-2fba-4841-a965-2975997bba66 May 15 2014 NBCogit NativeBoost-CogPlugin-GuillermoPolito.19 uuid: acc98e51-2fba-4841-a965-2975997bba66 May 15 2014 https://github.com/pharo-project/pharo-vm.git Commit: ed4a4f59208968a21d82fd2406f75c2c4de558b2 Date: 2014-05-15 18:23:04 +0200 By: Esteban Lorenzano <estebanlm@gmail.com> Jenkins build #14826

法罗版：[version] 4.0 #40614

谢谢。

编辑：我是愚蠢的，没有考虑到这一点......

我想用这样的类型创建一个自动机类型：

我知道这是Automata 箭头的类型，但我不是在寻找箭头。我想让它成为一个单子，所以大概它会有一个像

具有这样的功能：

因此，当我从 Auto monad 中调用“yield”时，“runAuto”函数会返回一个由“yield”参数和延续函数组成的对。当应用程序调用延续函数时，参数会在 monad 中作为“yield”的结果返回。

我知道这将需要一些延续单子的味道，但尽管过去曾与延续争论过，但我看不出如何编写这个代码。

我也知道这很像 Michael Snoyman 的Conduit monad，除了他将“yield”和“await”分开。对于每个输入，这个 monad 必须只有一个输出。

背景：我正在编写一些以复杂方式响应 GUI 事件的代码。我希望能够编写接受一系列输入的代码，而不是将其变成手动编码的状态机，以换取在用户交互进行时对屏幕进行更新。

编辑

这一切都被证明是微妙的错误。我编写了 Petr Pudlák 在他的回复中建议的代码，它似乎可以工作，但是“yield”操作总是会产生上一个yield 的输出。这很奇怪。

在盯着屏幕看了很久之后，我终于发现我需要粘贴在这里的代码。关键的区别在于 AutoF 类型。将下面的一个与 Petr 提出的一个进行比较。