时间戳

首页 > 解决方案 > 在 SML 中解析具有多种数据类型的元组列表

sml - 在 SML 中解析具有多种数据类型的元组列表

问题描述

所以我想要一个包含 int 键和 int 或布尔值的元组列表：

[(0, 1), (1, 2), (2, true), (3, 4), ...]

我一直在尝试编写将元组添加到列表中的函数，以及返回给定键的值。例如：

getValue(2, [(0,1),(1,true),(2,3),(3,4)]); -> returns 3
getValue(1, [(0,1),(1,true),(2,3),(3,4)]); -> returns true
addValue([(0,1),(1,true),(2,3),(3,4)], (4, false)); -> [(0,1),(1,true),(2,3),(3,4),(4,false)]
addValue([(0,1),(1,true),(2,3),(3,4)], (2, 5)); -> [(0,1),(1,true),(2,5),(3,4)]

这是我到目前为止生成的代码，在严格使用 int 或 bool 时可以正常工作。当我将它们组合起来时，它给了我错误“运算符和操作数不同意”。

fun getValue (key1, list) =
  let
    fun parse [] = 0
      | parse ((key, v)::list) =
          if key1 = key then v
          else parse list;
  in
    parse list
  end;

fun addValue([], (key1, v1)) = [(key1, v1)]
  | addValue((key, v)::a, (key1, v1)) =
        if key1 = key then (key1, v1)::a
        else (key, v)::addValue(a, (key1, v1));

我对 SML 很陌生，这甚至可能是不可能的。只是想问问周围。谢谢！

编辑

这不起作用的原因是什么？

datatype denotable_value =  Boolean of bool 
                          | Integer of int;

fun accessStore ( loc1, (env, s : (int * denotable_value) list) ) =
    let
        val msg = "Error: accessEnv " ^ Int.toString(loc1) ^ " not found.";

    fun aux [] = error msg
      | aux ( (loc, v)::s ) =
            if loc1 = loc then v
            else aux s;
    in
        aux s
    end;

accessStore(0, ([], [(0, 1), (1, true), (2, 3)]));

标签： smlsmlnj

解决方案

确实，您所描述的不可能；标准 ML 专门使用静态类型，这意味着每个表达式都需要具有唯一且定义明确的类型，以便在运行时理解该值。[(0, 1)]没问题，并且有类型(int * int) list；并且[(2, true)]没问题，并且有类型(int * bool) list；但[(0, 1), (2, true)]不行，因为像(List.nth ([(0, 1), (2, true)], i)（它采用列表的第i个元素）这样的表达式必须是int * int或int * bool取决于 的值i，而这不是类型系统的工作方式。

相反，您要做的是为需要为整数或布尔值的值定义一个新的代数数据类型：

datatype intOrBool = INT of int | BOOL of bool

并使用适当的构造函数将这些值包装在该类型中：

[(0, INT 1), (1, INT 2), (2, BOOL true), (3, INT 4)] : (int * intOrBool) list

（当然，与、 和相比intOrBool，您会希望使用更好的名称——更适合您的应用程序；但希望以上内容能给您带来想法。）INTBOOL

推荐阅读