小编jmi*_*ite的帖子

我有一个使用多个显示器的程序.该程序在第二台显示器上显示特殊可视化.有一次,程序使用Windows shell函数将文件发送到回收站.但是,当它执行此操作时,删除确认对话框位于我的可视化之上.这特别成问题,因为当鼠标在第二个监视器上时,我的程序使用鼠标钩来捕获所有鼠标输入,因此用户甚至无法单击确认对话框.

有可能以某种方式告诉Windows只在特定显示器上放置对话框吗？

我正在使用python,但是如果我必须调用C WinAPI函数那应该不是问题

我接管了一个相当大的项目的代码.我正在尝试保存程序状态,并且有一个大型对象存储了几乎所有其他对象.我试图挑选这个对象,但是我得到了这个错误:

pickle.PicklingError:不能发泡:它没有被发现为builtin .module

从我在谷歌上可以找到的,这是因为某个地方我正在导入python init之外的东西,或者一个类属性引用一个模块.所以,我有两个问题:

1. 任何人都可以确认这就是为什么会出现这个错误的原因吗？我在代码中寻找正确的东西吗？

2. 有没有办法找到哪一行代码/对象成员导致pickle的困难？回溯仅给出发生错误的pickle中的行,而不是被pickle对象的行.

我正在编写一个程序，我需要查看字符串是否与特定模式匹配。现在我已经在 Prolog 中实现了它作为规则匹配模式（S），有超过 20 种不同的定义。

我最终通过模式检查谓词将所有二进制字符串运行到​​一定长度。该程序相当慢（就像 Prolog 经常一样），并且由于有很多不同的定义，我理想地希望对它们进行排序，以便最匹配的那些在排序中最早，因此首先由 Prolog 匹配，避免回溯为尽我所能。

我现在正在使用 SWI Prolog，但我可以访问 SICStus，所以我愿意使用它或我可以免费获得的任何 Prolog 解释器。

我正在编写一个在线游戏,我在服务器端后端使用Haskell,在前端/渲染时使用Elm.

现在我把我的GameState作为一个大的ADT,这个类型很简单,我也可以在Elm中使用它.我希望避免使用JSON,并简单地将Elm输出"show"输出到数据上,然后我可以将其解析回Elm中的ADT.

我想知道,有没有相当于haskell的"读取",它可以自动查看show输出的字符串,并将其解析回数据？如果没有,是否有任何现有的解析器库可供Elm使用？

如果我最终使用JSON,有没有办法自动将其转换为ADT？(或许类似于Aeson的FromJSON？)

要使用此处描述的 TravisCI API 获取构建列表，它表示您需要将存储库 ID 放在请求地址中。

我想知道，这个 ID 是什么，我在哪里可以找到它？它是否与存储库 slug 不同，后者是username/reponame?

除了具有隐式参数之外,Agda还允许您省略显式参数的值,并将其替换为由_字符表示的元变量,然后通过与隐式分辨率相同的过程确定其值.

Idris是否具有类似的功能,或者是隐式参数是将元变量引入程序的唯一方法？

我正在寻找一种工具，可以从某些给定的输入生成方法存根。我已经看到 了astpackage，但它似乎代表了一个已经解析的 AST，它包含有关源文件中所有位置的信息。重要的是，您需要提供源信息

我正在考虑以编程方式生成源文件，所以我不知道我的 AST 节点将在最终文件中的哪个位置结束。

我很好奇：

• 是否有更好的 AST 工具可以让您生成代码而不提供源文件位置信息？
• 如果我为ast包裹中的位置提供虚拟信息，它是否会正确打印（即忽略位置信息）？

我意识到我可以通过文本生成来完成这一切，但这似乎不安全且难以处理。

有没有办法使用Go 中的反射库从类型名称到其类型表示？

我有一个库，用户需要在其中为某些代码生成提供类型表示。我知道这一定是可能的（在某种意义上），因为他们可以创建一个该类型的变量并调用TypeOf 函数，但是有没有办法绕过这个并从名称中获取表示？

我一直在寻找各种SMT求解器,主要是Z3,CVC4和VeriT.他们都有模糊描述他们用量词解决SMT问题的能力.他们的文档主要是基于示例的(Z3),或由学术论文组成,描述可能或可能不实际实现的可能变更.

我知道有一阶逻辑的可判定片段,例如:

• 有限限定量词
• Monadic一阶逻辑

我想知道的是,哪些(如果有的话)FOL类是保证完整的各种SMT求解器？我怎么知道我正在看的问题是否在他们完成的片段中？

我正在尝试编译一个 Agda 文件，但是我无法让它找到标准库。我在这里看过文档。

我使用 Stack 来安装它：

> which agda
/home/joey/.local/bin/agda

我已经为我的 Agda 目录设置了环境变量：

> echo $AGDA_DIR
/home/joey/.agda

其中填充了正确的文件：

/home/joey/agda/agda-stdlib/standard-library.agda-lib

> cat "$AGDA_DIR"/libraries
/home/joey/agda/agda-stdlib/standard-library.agda-lib

> cat "$AGDA_DIR"/defaults
standard-library

> cat /home/joey/agda/agda-stdlib/standard-library.agda-lib
name: standard-library
include: src

但是，当我去编译 Agda 文件时，出现以下错误：

Failed to find source of module Function in any of the following
locations:
  /home/joey/agda/AutoInAgda/src/Function.agda
  /home/joey/agda/AutoInAgda/src/Function.lagda
  /home/joey/.stack/snapshots/x86_64-linux-nopie/lts-8.14/8.0.2/share/x86_64-linux-ghc-8.0.2/Agda-2.5.2/lib/prim/Function.agda
  /home/joey/.stack/snapshots/x86_64-linux-nopie/lts-8.14/8.0.2/share/x86_64-linux-ghc-8.0.2/Agda-2.5.2/lib/prim/Function.lagda
when scope checking the declaration
  open import Function

我如何告诉 Agda 去哪里寻找标准库？这是因为堆栈的问题吗？

我在 Ubuntu 17.10 上，如果这有区别的话。