问题[function](coding)

在 SBCL 中，当我描述 lambda 时，我得到了很多细节：

* (setf f (lambda (a b) (* a b)))
#<FUNCTION (LAMBDA (A B)) {535B3C3B}>                                                                                                               
* (describe f)
#<FUNCTION (LAMBDA (A B)) {535B3C3B}>
 [compiled function]
Lambda-list: (A B)
Derived type: (FUNCTION (T T) (VALUES NUMBER &OPTIONAL))
Documentation: T                                                                                                                                                 
Source form: (LAMBDA (A B) (* A B))                                                                                                                            

我如何访问这些对象？具体来说，我想访问 lambda 列表。

谢谢！

我在谷歌表格中。我写了一个公式，将数据输出到两列中。我希望在中间插入一个空白列，因为最终第一列将与第二列合并。我尝试使用输出变量，然后嵌套两个索引函数，每个函数在 {} 之间引用 filterstatus，但没有成功。有什么想法吗？我试图让公式尽可能保持动态。

    =LET(
      filtertype,
        IFERROR(SORT(IFNA(FILTER({Set[CardName], CHOOSE(MATCH(G52,{"All","Base","Master"},0),Set[AllOwn],Set[BaseOwn],Set[MasterOwn])},Set[Player]=F42),"No Match"))),
      filterstatus,
        ArrayFormula(IFNA(IF(G53="All", filtertype, FILTER(filtertype,INDEX(filtertype,0,2)= G53)), "Blank")),
      filterstatus
    )

这是我的问题的一个简单例子：

innerFunc([2, 4, 5]) % works fine
outerFunc(innerFunc, [2, 4, 5]) % doesn't work

function out = innerFunc(my_vec) 
    my_vec % not recogniced when called from outerFunc
    out = -1;
end

function out = outerFunc(func, my_vec) 
    out = func(my_vec);
end

这是代码的输出：

my_vec =

     2     4     5


ans =

    -1

Not enough input arguments.

Error in nested_funcs_bug>innerFunc (line 5)
    my_vec % not recogniced when called from outerFunc

Error in nested_funcs_bug (line 2)
outerFunc(innerFunc, [2, 4, 5]) % doesn't work

>> 

我不知道为什么第二行出现错误？

特别是因为“innerFunc”通常可以工作并且我将 outerFunc 函数中的输入传递给它。

我用 rust 编写了两个空函数，希望用它们来测试向量上 retain 的使用或在迭代器上 filter 的使用，在为每种情况编写空函数后，在运行程序时，我注意到每个函数的持续时间之间存在巨大差异，这意味着在当前空函数中添加任何逻辑都会导致对其执行时间得出错误的结论。

use std::time::Instant;

fn use_filter() {
    
}

fn use_retain() {
    
}

fn run_multiple(f: fn(), times: u64) {
    for _ in 0..times {
        f()
    }
} 

fn main() {
    let iter_count: u32 = 1_000_000_000;
    
    let _start_1 = Instant::now();
    run_multiple(use_filter, iter_count as u64);
    let duration = Instant::now() - _start_1;
    println!("Use Filter duration: {:?}", duration / iter_count);
    
    let _start_2 = Instant::now();
    run_multiple(use_retain, iter_count as u64);
    let duration = Instant::now() - _start_2;
    println!("Use Retain duration: {:?}", duration / iter_count);
}

预期输出

Use Filter duration: xns
Use Retain duration: xns

其中 x 对于两个函数来说都是相同的，因为它们都是空的并且不执行任何操作

实际产量

Use Filter duration: 8ns
Use Retain duration: 10ns

什么可以解释 rust 编程语言中空函数的执行时间差异很大。

所以我有这个代码：

Require Import Unicode.Utf8.
Require Import String.

Inductive AExp :=
| avar : string → AExp 
| anum : nat → AExp 
| aplus : AExp → AExp → AExp 
| amul : AExp → AExp → AExp.

Coercion anum : nat >-> AExp.
Coercion avar : string >-> AExp.
Notation "A +' B" := (aplus A B) (at level 50, left associativity).
Notation "A *' B" := (amul A B) (at level 40, left associativity).

Inductive BExp :=
| btrue : BExp
| bfalse : BExp
| bnot : BExp → BExp
| band : BExp → BExp → BExp
| blessthan : AExp → AExp → BExp
| bgreaterthan : AExp → AExp → BExp.

Notation "A <' B" := (blessthan A B) (at level 80).
Notation "A >' B" := (bgreaterthan A B) (at level 80).
Infix "and'" := band (at level 82).
Notation "! A" := (bnot A) (at level 81).

Inductive Stmt :=
| assignment : string → AExp → Stmt 
| while : BExp → list Stmt → Stmt
| seq : Stmt → Stmt → Stmt
| obj_inst : string → string → Stmt
| method_invoke : string → string → list AExp → Stmt.

Notation "X ::= A" := (assignment X A) (at level 85).
Notation "S1 ;; S2" := (seq S1 S2) (at level 99, right associativity).

Inductive Method :=
| method : string → list Stmt → Method.

Inductive Class :=
| class : string → list (string * AExp) → list Method → Class.

Definition Point :=
  class "Point"
    [("x", anum 0) ("y", anum 0)]
    [
      method "move" [
        assignment "x" (aplus (avar "x") (anum 1));
        assignment "y" (aplus (avar "y") (anum 1))
      ]
    ].

Definition CreatePoint : Stmt :=
  obj_inst "p" "Point".

Definition MovePoint : Stmt :=
  method_invoke "p" "move" [].

Definition SampleProgram :=
  seq CreatePoint MovePoint.

我得到了这个错误：

语法错误：[gallina] 后应为“.”（在 [vernac_aux] 中）。我不确定是否是因为Definition Point.

尝试使用 chatGpt，但没有用。使用它我浪费了很多时间。（我不知道该写些什么，这样 StackOverflow 才会允许我发布这个问题）

我正在用 Python 编写一个程序来查找数组中最短和最长的字符串，例如这是 find_shortest

def find_shortest(words):
 
    N = len(words)
    shortest = words[0]
    i = 1
    while i < N:
        if len(shortest) >= len(words[i]): #Change only this line for find_longest
            shortest = words[i]
        i += 1

    return shortest

我的问题是 find_longest 函数与 find_shortest 函数完全相同，只是 find_longest 使用 <= 符号而不是 >=。我不想复制粘贴 find_shortest 函数来制作 find_longest，但我没有其他选择。在这种情况下，如何避免复制粘贴和冗余？

我有一个功能

fun foo(
    id: String,
    vararg values: Int,
){
  ...    
}

还有这样的呼吁

fun bar1(){
    foo("id_1")
    foo("id_2", 1)
    foo("id_3", 1, 2, 3)
}

现在我明白了我需要向 foo 添加一个参数。但我不想破坏现有的调用，所以我尝试使用默认值添加它：

fun foo(
    id: String,
    attributes: Array<String> = arrayOf("a", "b"),
    vararg values: Int,
){
  ...
}

但

foo("id_2", 1)
foo("id_3", 1, 2, 3)

变得破碎。

有没有办法在不破坏现有调用的情况下添加一个具有默认值的参数？

如果此列的第一个单元格为空白，我会尝试编写一个脚本来删除该列。第 1 行有时有内容，有时为空白。我想要一个宏，当第 1 行的单元格为空白时，该宏将删除整个列并检查下一列，直到第 1 行的单元格不再为空白（例如，如果 A1 为空白，则删除 A 列并转到下一列，直到所有列都已测试）。

我无法弄清楚我在哪里犯了代码错误。

我尝试了一个已有的脚本，用于逐行删除，直到没有带有特定空白单元格的行（我尝试自己修改它，以便也将其用于列）。该脚本可以工作，但什么也没做，我没有任何错误。他在这里：

function delmonth() {
    var spreadsheet = SpreadsheetApp.getActiveSpreadsheet();
    spreadsheet.setActiveSheet(spreadsheet.getSheetByName('CALMON'), true);

    var sheet = SpreadsheetApp.getActiveSheet();
    var e = sheet.getRange('A' + sheet.getMaxColumns())
                 .getNextDataCell(SpreadsheetApp.Direction.NEXT)
                 .getColumn() ;

    for (k = 1; k <= e; k++) {
        if(sheet.getRange('A' + k).getValue() == '') {
            sheet.deleteColumn(k);
            k=1;
            e--;
            if(k==e) {
                break
            };
            SpreadsheetApp.flush();
        }
    }
}

我很确定我在某个地方犯了一个愚蠢的错误（因为我对编码还不熟悉）。

感谢大家的时间和帮助！

我对 haskell 非常陌生，我接到一个任务，要创建一个属性列表，然后创建一个函数，输出适用于输入的属性列表，但由于某种原因，它只给我一个错误。下面是代码片段和错误

properties :: [Predicate Thing]
properties = [isBlue, isThick, isThin, isOrange, isDisc, isSquare, isBig, isSmall]

propertiesOf :: Thing -> [Predicate Thing] 
propertiesOf x = [props | props <- properties, props x == True]

错误如下：

<interactive>:8:1: error: [GHC-39999] * No instance for Show (Thing -> Bool)'arising from a use of print' (maybe you haven't applied a function to enough arguments?) * In a stmt of an interactive GHCi command: print it

我希望输入一个橙色的、圆盘状的、大而厚的“东西”，并接收输出：

>[isBig, isDisc, isOrange, isThick]

我不确定为什么上面列出的功能不起作用。

问题图片

目前，我正在尝试开发图灵机。它应该接受一个序列 k、x1、x2、...、xn，其中 k 是正整数，对于每个 i，xi 是非负整数作为输入。所有数字都将以 的形式编码a^k b a^x1 b a^x2 b ..... b a^xn。

对于输出，它应该输出第k个元素的值。

例如：如果我的输入是 aaababaaaaabaa(k = 3, 第一个元素 = 1, 第二个元素 = 5, 第三个元素 = 2)

在这种情况下，图灵机应将输出显示为 aa(2)。我目前面临的问题是，我不知道如何跟踪数字 k，因为没有计数器/内存来存储值 k。此外，即使我跟踪了第 k 个元素，我也不知道如何输出该值

我曾尝试使用标记符号技术，即每次从 k 中读取 a 时，它都会将其写为 A 并向右查找 b。如果找到 b，则将其写为 B 并返回查找 A。在这种情况下，我可以跟踪每个 A 和 B（我的想法就像用每个 b 取消每个 a）。但最后，当没有更多的 A 和 B 时，我不知道如何转到第 k 个元素并输出值。

希望有人能帮助我。

p/s: 我正在使用 Tuatara 模拟器

谢谢。