2

我正在尝试在 SML 中编写一个函数，该函数接受一个整数列表并输出一个有序整数对的列表。有序对第一个 int 是输入列表中出现的 int，有序对中的第二个 int 是它在输入列表中出现的次数。此外，返回的列表应根据有序对中的第一个 int 升序排列。

例如输入列表[1, 1, 1, 2, 3, 3, 5]将输出为[(1,3), (2, 1), (3, 2), (5, 1)].

到目前为止，我有一个使用的功能foldl

自原始帖子以来更新了代码。

fun turnIntoPairs l = foldl (fn (e, a) => if List.exists (fn (x, _) => x = e) a then x + 1 else a @ [(e, 1)]) [] l;

我在更新列表时遇到了问题，在该列表中找到了已经在列表中的有序对 - 我想在有序对中的第二个 int 中添加一个，而该有序对仍在列表中。

任何帮助将不胜感激！

C:\Program Files (x86)\SMLNJ\\bin\.run\run.x86-win32.exe: Fatal error -- Uncaught exception Error with 0
raised at ../compiler/TopLevel/interact/evalloop.sml:66.19-66.27

[autoloading done]
C:\Users\Localadmin\Desktop\CS 671\Program 3\commonFactors.sml:1.87 Error: unbound variable or constructor: x
C:\Users\Localadmin\Desktop\CS 671\Program 3\commonFactors.sml:1.44-1.110 Error: types of if branches do not agree [literal]
then branch: int
else branch: (''Z * int) list
in expression:
    if (List.exists (fn <pat> => <exp>)) a
    then <errorvar> + 1
    else a @ (e,1) :: nil
[Finished in 0.5s with exit code 1]
4

3 回答 3

1

不太确定如何修复您当前的程序，但您可以通过将其分成两部分来解决此问题：将相等的元素分组，然后对列表进行排序。

(* Groups successive equal elements into a tuples (value, count) *)
fun group (l as (x :: _)) = 
    let val (firstGroup, rest) = List.partition (fn y => x = y) l
    in 
        (x, List.length firstGroup) :: (group rest)
    end
  | group [] = []

(* Now that we have our elements grouped, what's left is to order
   them as required. *)
fun turnIntoPairs xs =
    ListMergeSort.sort (fn ((x, _), (y, _)) => x >= y) (group xs)
于 2013-06-28T21:01:13.360 回答
1

让我们看看你传递给的函数foldl：

(fn (e, a) => if List.exists (fn (x, _) => x = e) a then x + 1 else a @ [(e, 1)])

第一个问题（类型检查器抱怨的）是您的if表达式返回x + 1, or a @ [(e, 1)]，这似乎有问题，因为前者是 type 的值，int而后者是 type (int * int) list。

让我们使用一些我不会定义的辅助函数重写您的代码，看看它是否变得更清晰：

(fn (e, a) => if List.exists (fn (x, _) => x = e) a then increment a e else a @ [(e, 1)])

哪里increment有类型(int * int) list -> int -> (int * int) list。

你能实施increment吗？

于 2013-06-28T22:40:36.043 回答
0

像 Gian 一样，我更愿意将其分为两个函数：一个是折叠的，另一个是插入的辅助函数。顺便说一句，插入函数将接受一个元素和一个存在(int * int) list，就像折叠的累加器函数接受这两个参数一样。

通常我会写一个插入函数curried (ie )，insert x xs但如果我写 uncurried (ie insert (x, xs))，我可以直接将它传递给foldl：

fun insert (x, [])          = [(x,1)]
  | insert (x, ((y,c)::xs)) =
    if x = y then (y,c+1)::xs else (y,c)::insert (x, xs)

fun turnIntoPairs xs = foldl insert [] xs
于 2013-07-21T12:41:28.540 回答