问题标签 [tacit-programming]

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

0 投票
2 回答
169 浏览

haskell - 如何使用这种类型签名制作组合器?

我一直在尝试用这种类型签名制作一个组合器:

我浏览过Data.Aviary.Birds和所有我能找到的默认编程帮助网站,但无济于事。此外,如果有一个通用算法来制作这些,将不胜感激,但不是必需的。

0 投票
1 回答
110 浏览

j - 一种默契使用连词和副词的方法?

这是一个简单的斐波那契数列:

这是它的显式一元版本:

问题是:在默认定义中,我能否以某种方式提供最右边的论点来^:连接,例如(在我脑海中):

会产生预期的结果吗?或者,更正确的定义(再次,在我的脑海中):


更一般地说:是否可以在 J 中默认地定义副词和连词,或者是否只有明确的定义才有可能?

我的直觉(以及这个问题的材料)告诉我,我应该去黑暗的一面,了解更多关于动名词和`/`:连词的知识。那是对的吗?如果是这样,我将不胜感激任何关于这个问题的新手友好材料:)

0 投票
1 回答
57 浏览

select - 如何在值数组中使用 jq 进行选择?

[2, 4, 3]我想在像with这样的数组中选择元素 >= 3,jq我该怎么做?

[{Name:"a", Age:2} ...]}当数组包含对象(例如)时,我找到了答案,select (.Age >= 2)但我不知道如何引用值

0 投票
4 回答
417 浏览

haskell - 如何以无点样式编写此函数?

如何以无点样式重写以下函数,x从定义中完全删除参数(其他两个可能保留):

这不是一个任务,只是一个问题。我不知道该怎么做。我可以把它变成一个 lambda 函数

但这不是无点的,因为x仍然存在。请帮忙。

0 投票
1 回答
92 浏览

parsing - 如何在三地址码中表示二进制逻辑

在三个地址代码中,一个分支只能有一个二元关系运算符,

例如

以下如何表示为三地址代码格式:

这是我的解决方案,显然是不正确的:

0 投票
3 回答
263 浏览

haskell - 无点过滤功能

是否存在用于filter在列表中查找对的第一个元素的最小值的函数的无点函数?例如:

如何将findMinimum函数转换为无点:

0 投票
1 回答
124 浏览

j - 等价的默示表达

我对 J 编程语言相当陌生,我对 J 中的等效默认表达式有疑问。

我发现两行 J 是等价的,但是代码 ( ^:) 的参数中的连词是使用括号运算符切换的。

我主要是想知道这个表达方式:

等价于这个表达式:

我会感谢任何 J 程序员解释这两者是如何等价的。

0 投票
2 回答
167 浏览

haskell - 在 Haskell 中使用 2 个以上的参数进行柯里化

我开始学习 Haskell,所以我也需要了解柯里化(这也是我第一次看到这种技术)。我想我知道它在某些情况下是如何工作的,其中 currification 只“消除”了其中一个参数。就像在下一个示例中,我试图计算 4 个数字的乘积。这是未经处理的函数:

这是咖喱函数:

但我不明白我怎么能继续这种动态,例如只用两个参数做同样的函数等等:

0 投票
3 回答
109 浏览

racket - 具有多个 ...s 的球拍语法模式

我正在使用类似于 unix 的管道来研究球拍的语法,如下所示:

这是一个蛮力解决方案,它支持具有 2、1 和 0(额外)参数的过程:

问题是找到下一个管道,因为语法模式不允许多个 ... 模式。宏需要知道下一个管道在哪里关闭第一个管道的表单。除非有办法用不匹配的括号构建部分语法对象?

我可以嵌套椭圆,但是我必须使用额外的括号:

没有额外的括号有没有办法做到这一点?

我知道 clojure 的线程宏,但如果你必须嵌套它们,它们就很难遵循。

编辑:这个问题的解决方案现在可以作为球拍包github获得

0 投票
2 回答
192 浏览

j - 默写 4 : 'x&{.&.;: y'

Conor Hoekstra 最近解决了 APL 中的一个 Leetcode 问题https://youtu.be/QtvvQ7MdwKYx问题是从一个字符串中取出第一个单词y

在 J 中,使用&.(Under) 和;:(Words) 我可以想出一个很好的明确的单线

我遇到的麻烦是找到仍然包含的默认版本&.,主要是因为我认为在动词的创建过程中x需要绑定。{.这也是一个魔术13 :转换没有帮助的例子

;:^:_1我可以通过使用创建逆来默认解决它;:

但这并不像默认版本的那么漂亮4 : 'x&{.&.;: y'
任何人都有一个非常默认的解决方案4 : 'x&{.&.;: y'