Question

我遇到了一个小问题。

我进行了计算，我的所有id都不再相互跟随（因为在微积分期间有一些删除）。不幸的是，为了使我的结果有效，我需要这个订单......：/

因此，为了简化任务，我创建了一个外部函数，它将“重命名”所有ID，但我不知道如何执行此操作。

这是我的功能：

fun setId (W {id, ...}) = 
let 
in
    print( "[" ^ Int.toString (id) ^ "]");
    print( "[" ^ Int.toString (!nextId) ^ "]\n");
    Ref.incr nextId
end

（对于那些徘徊app的人来说，这只是一个自制函数，可以对列表的每个元素执行相同的计算，但这并不重要。）

当我执行此代码时，我在输出中获得：

[0][0]
[1][1]
[2][2]
[3][3]
[4][4]
[5][5]
[6][6]
[7][7]
[8][8]
[9][9]
[10][10]
[11][11]
[12][12]
[13][13]
[14][14]
[15][15]
[16][16]
[17][17]
[18][18]
[19][19]
[20][20]
[21][21]
[22][22]
[39][23]
[40][24]
[41][25]
[42][26]
[43][27]
[44][28]
[45][29]
[46][30]
[47][31]
[48][32]
[49][33]
[50][34]
[51][35]
[52][36]
[53][37]

正如您所看到的，列表中没有以下数字存在很大问题[23] [39]。：/

基本上，我希望函数setId能够修改节点的ID。但我不知道如何：/

以下是用于理解目的的数据类型Node：

    datatype node =
          W of {
              id              : int
            , predId          : int option
            , creationDepcy   : Dependency.depcy
            , nominalDepcies  : Dependency.depcy list ref
            , pattern         : Termstore.store
            , propositions    : Propstore.pstore
            , nominals        : Propstore.pstore
            , diamonds        : Termstore.store
            , boxes           : Termstore.store
            , disjunctions    : Termstore.store
            , nglstore        : Termstore.store
            , lazyProps       : Lazystore.store
            , lazyNoms        : Lazynomstore.store
            , lazyBoxes       : Lazyboxstore.store
            , blockedDiamonds : (Term.index * int) list ref
            , branchPoints    : int list ref
            }

提前感谢您的帮助！

最诚挚的问候。

Answer 1

由于id已键入int，因此无法对其进行修改。如果您将其更改为int ref，则可以对其进行修改，但您还必须更改访问者以取消引用ref。

另一种解决方案是创建一个从旧ID映射到新ID的数组，并使用此数组进行演示，但这似乎更复杂。

Answer 2

由于ints是不可变的 - 您可以获取节点列表并将其替换为新的节点列表：

fun newID (W(x), i) =
           W({
              id               = i
            , predId           =  #predId x
            , creationDepcy    =  #creationDepcy x
            , nominalDepcies   =  #nominalDepcies x
            , pattern          =  #pattern x
            , propositions     =  #propositions x
            , nominals         =  #nominals x
            , diamonds         =  #diamonds x
            , boxes            =  #boxes x
            , disjunctions     =  #disjunctions x
            , nglstore         =  #nglstore x
            , lazyProps        =  #lazyProps x
            , lazyNoms         =  #lazyNoms x
            , lazyBoxes        =  #lazyBoxes x
            , blockedDiamonds  =  #blockedDiamonds x
            , branchPoints     =  #branchPoints x
           });


fun imap _ [] _ = []
|   imap f (x::xs) i = f(x,i):: (imap f xs (i+1));

（imap代表“增量图”）

然后，如果xs是函数调用的节点列表

imap newID xs 0

将生成一个新的节点列表，其中id个字段连续以0开头

免责声明：我当然没有在您的设置上尝试此操作，因为我创建了一个具有id字段并成功使用此方法的记录数据类型。显然，由于所有的复制，这不是你想要做的很多事情，但如果它在你的代码中的某个特定点上应该没问题。

Answer 3

大致相当于John的解决方案，以下是使用折叠而不使用引用来更新节点列表的方法。函数setId是相同的。

fun setIds firstId ws =
    #1 (foldr (fn (w,(ws',nextId)) => (setId w nextId::ws', nextId+1)) ([],firstId) ws)

运行setIds 1 [w1, w2, w3, ...]会产生[w1', w2', w3', ...]。

SML：更改结构中INT的值

3 个答案: