小编Xop*_*ter的帖子

指定"向上树"Haskell模块

我的理解是,Haskell中模块的虚线语法表示磁盘上的逻辑结构.所以,如果我们有这样的结构:

Main.hs
Foo/
  Bar.hs    -- exports "Bar"
  Quux.hs   -- exports "Quux"
Run Code Online (Sandbox Code Playgroud)

...然后在我们的Main.hs,我们可以做:

import Foo.Bar
import Foo.Quux
Run Code Online (Sandbox Code Playgroud)

(我假设我们只能在文件系统的叶节点上有模块.例如,在上面,我们也无法拥有Foo模块.)

在这个例子中,我们正在遍历树.如果我们想上去怎么办?

lib/
  SomeModule.hs
  XYZ.hs
src/
  Main.hs
Run Code Online (Sandbox Code Playgroud)

那就是,Main.hs我们如何进口SomeModuleXYZ

也许这不会是常见现象Main,但是模块间的依赖关系呢?他们可以合法地需要引用"堂兄"节点.

haskell module hierarchy

5
推荐指数
1
解决办法
202
查看次数

Haskell中的通用函数......我不明白:(

我认为我的问题是,我将我对Haskell多态性的非常有限的知识与其他语言的重载和模板等问题混为一谈.在我之前的问题之后,我认为我对这些概念有了更好的把握,但是再次尝试过,我猜不是!

无论如何,我正在尝试实现通用距离函数.这很简单:

euclidean :: Integral a => [a] -> [a] -> Double
euclidean a b = sqrt . sum $ zipWith (\u v -> (u - v)^2) x y
                where x = map fromIntegral a
                      y = map fromIntegral b
Run Code Online (Sandbox Code Playgroud)

现在我想将它应用于两种向量类型(为了参数,不能重新定义):

type Vector1 = Integer
data Vector2 = Vector2 Integer Integer
Run Code Online (Sandbox Code Playgroud)

在阅读上一个问题的答案后,我想我会选择模式匹配:

d :: a -> a -> Double
d (Vector2 x1 y1) (Vector2 x2 y2) = euclidean [x1, y1] [x2, y2]
d a b = …
Run Code Online (Sandbox Code Playgroud)

polymorphism haskell generic-programming

3
推荐指数
1
解决办法
367
查看次数

用于添加 Google Cloud SDK apt 存储库签名密钥的 Ansible 任务

我正在尝试下载并安装 Google Cloud SDK apt 存储库的签名密钥作为一组 Ansible 任务。(即,将此处概述的手动流程转换为 Ansible)。

这就是我想出的:

- name: Install the Google Cloud SDK package repository signing key
  ansible.builtin.apt_key:
    url: https://packages.cloud.google.com/apt/doc/apt-key.gpg
    keyring: /usr/share/keyrings/cloud.google.gpg

- name: Add Google Cloud SDK package repository source
  ansible.builtin.apt_repository:
    filename: google-cloud-sdk.list
    repo: "deb [signed-by=/usr/share/keyrings/cloud.google.gpg] https://packages.cloud.google.com/apt cloud-sdk main"
    update_cache: yes
Run Code Online (Sandbox Code Playgroud)

然而,我的第一个任务失败了,出现了一个很大的 GnuPG 错误。这是 Ansible 失败 JSON:

{
  "changed": false,
  "msg": "Unable to extract key from '-'",
  "stderr": "gpg: WARNING: no command supplied.  Trying to guess what you mean ...\ngpg: [don't know]: invalid …
Run Code Online (Sandbox Code Playgroud)

apt ansible google-cloud-platform

3
推荐指数
2
解决办法
2541
查看次数

从 Apt 存储库安装特定版本的 R

R 志愿者目前维护 R ~3.5 和 ~4.0 的 Ubuntu 软件包存储库。对于仿生海狸,这些是:

我正在构建单独的 Singularity 容器,我需要在其中安装非常特定版本的 R;这些存储库似乎提供了这些内容。具体来说,我希望构建包含 R 版本 3.6.1、4.0.3 和 4.1.0 的容器;每个版本一个容器。

我在容器构建脚本中执行此操作,首先添加适当的 Apt 源,然后使用固定版本运行安装。我注意到,只有使用包存储库中列出的精确版本号并且包含r-recommended在同一版本中,我才能让它运行。例如,对于 R 3.6.1:

apt install -y r-base=3.6.1-3bionic r-recommended=3.6.1-3bionic
Run Code Online (Sandbox Code Playgroud)

这将正确安装r-baser-recommended在给定的版本上。然而,当我运行容器化 R 时,R 实际上报告自己处于这些存储库提供的最新版本(分别为 3.6.3、4.1.0 和 4.1.0)。据推测,如果r-base是正确的,这甚至可能表明它们处于破碎状态。

查看 Apt 的输出,很明显许多其他r-*软件包默认为最新版本,而不是我指定的版本。为了解决这个问题,我尝试在所有默认为最新版本的包上显式设置版本。再次以 R 3.6.1 为例:

apt install -y r-base=3.6.1-3bionic \
               r-base-core=3.6.1-3bionic \
               r-base-dev=3.6.1-3bionic \
               r-base-html=3.6.1-3bionic \
               r-doc-html=3.6.1-3bionic \
               r-recommended=3.6.1-3bionic
Run Code Online (Sandbox Code Playgroud)

然而,这不起作用,抱怨与它尝试安装的其他包(r-cran-*packages,IIRC)发生冲突。

我不知道这是 Apt 的东西、R 的东西还是与他们的存储库有关的东西。有没有办法可以从官方来源安装这些特定版本,而无需自己构建任何东西?(如果不是,他们将旧版本保留在存储库中有何意义?)

ubuntu apt r singularity-container

3
推荐指数
1
解决办法
3722
查看次数

在Cygwin中从Source构建Vim

我正在尝试从Cygwin下的源包构建Vim,以启用Python支持.我按照这里给出的说明操作,但是当我运行configure脚本时,我遇到了这个错误:

checking --with-tlib argument... empty: automatic terminal library selection
checking for tgetent in -lncurses... no
checking for tgetent in -ltermlib... no
checking for tgetent in -ltermcap... no
checking for tgetent in -lcurses... no
no terminal library found
checking for tgetent()... configure: error: NOT FOUND!
      You need to install a terminal library; for example ncurses.
      Or specify the name of the library with --with-tlib.
Run Code Online (Sandbox Code Playgroud)

Vim源包被下载为/usr/src/vim-7.3.tar.gz,我提取然后尝试使用以下内容构建:

./configure --prefix=/usr/local --enable-multibyte --without-x --enable-gui=no --enable-pythoninterp
Run Code Online (Sandbox Code Playgroud)

SO帖子中prefix提出了该选项,其中OP具有完全相同的问题.但是,我安装了Cygwin软件包(以及它们)以及它们的库等价物,因此我不确定我的问题是什么(即,为什么脚本找不到它们).我试着明确设置的参数(如,,和),但它与像同一个地方失败: …

python vim cygwin build ncurses

2
推荐指数
1
解决办法
2704
查看次数

在 Oracle CONNECT BY 分层查询中引用父列

我有看起来像这样的数据:

KEY1   KEY2      KEY3   LKEY1  LKEY2     LKEY3  FLAG
====== ========= ====== ====== ========= ====== =====
09/10  10000     A1234  09/10  AU000123  A1234  1
09/10  10000     A1234  09/10  AU000456  A1234  1
09/10  10000     A1234  09/10  AX000001  A1234  1
09/10  AX000001  A1234  09/10  AE000010  A1234  0
09/10  AX000001  A1234  09/10  AE000020  A1234  0
09/10  AX000001  A1234  09/10  AE000030  A1234  0
09/10  10000     A1234  09/10  AX000002  A1234  0
09/10  AX000002  A1234  09/10  AE000040  A1234  0
09/10  10000     A1234  09/10  AU000789  A1234  0
Run Code Online (Sandbox Code Playgroud)

这是分层数据,我将查询根复合键(在本例中09/10 …

sql oracle connect-by hierarchical-data

2
推荐指数
1
解决办法
6832
查看次数

在不吹栈的情况下生成素数

我正在学习OCaml(原谅我的风格)并且我正在尝试编写一个函数来生成一个素数列表,直到某个上限.我已经设法以几种不同的方式做到这一点,所有这些都有效,直到你将它们扩展到相对较高的上限.

如何更改这些(其中任何一个)以便递归不会填满堆栈?我以为我的while循环版本会实现这一点,但显然不是!

发电机

let primes max =
  let isPrime p x =
    let hasDivisor a = (x mod a = 0) in
    not (List.exists hasDivisor p) in

  let rec generate p test =
    if test < max then
      let nextTest = test + 2 in
      if isPrime p test then generate (test :: p) nextTest
                        else generate p nextTest
    else p in

  generate [5; 3; 2] 7;;
Run Code Online (Sandbox Code Playgroud)

这是我最成功的解决方案,因为它在运行时不会立即溢出堆栈primes 2000000;;.然而它只是在那里消耗CPU; 我只能假设它最终会完成!以下备选方案都存在堆栈溢出问题:

Eratosthenes的递归筛选

let primes max =
  let rec sieve …
Run Code Online (Sandbox Code Playgroud)

primes ocaml

2
推荐指数
1
解决办法
1064
查看次数

链接`test`和使用`if`语句之间的区别

是否有区别:

[ -f $FOO ] && do_something
Run Code Online (Sandbox Code Playgroud)

...和:

if [ -f $FOO ]; then
  do_something
fi
Run Code Online (Sandbox Code Playgroud)

我认为它们是等价的,因为[它只是一个别名test,当条件通过时它会退出0.但是,在我编写的脚本中,我正在检查是否设置了一些环境变量,如果不设置,则要进行纾困.在这种情况下:

[ -z "${MY_ENV1+x}" -a -z "${MY_ENV2+x}" ] && fail "Oh no!"
Run Code Online (Sandbox Code Playgroud)

...似乎总是纾困; 即使$MY_ENV1$MY_ENV2 设定.但是,if版本正常工作:

if [ -z "${MY_ENV1+x}" -a -z "${MY_ENV2+x}" ]; then
  fail "Oh no!"
fi
Run Code Online (Sandbox Code Playgroud)

......其中fail定义为:

fail() {
  >&2 echo "$@"
  exit 1
}
Run Code Online (Sandbox Code Playgroud)

bash

1
推荐指数
1
解决办法
44
查看次数

如何使用Regex验证用户名

我想user_name使用带有Javascript函数的REGEX 验证该字段我想要user_name填写以下要求

  • user_name 必须以一封信开头
  • user_name 只能包含字母,数字,下划线和句点(.)
  • user_name 不能包含空格
  • user_name 不能超过25个字符

如何根据上述要求制作REGEX表达式.

javascript regex validation

-3
推荐指数
1
解决办法
5158
查看次数