f# - 区分联合列表 F# 的两个值的总和

Question

我有练习提出函数，将相同类型的每个值从受歧视的联合列表中求和，如下所示:

type volume =
     | Litre of float
     | Galon of float
     | Bucket of float
     | Bushel of float

let list = [Litre(20.0);Litre(30.0);Galon(2.0);Bucket(5.0);Litre(5.0);Galon(3.0)];

输出应如下所示:

[Litre(55.0);Galon(5.0);Bucket(5.0)]

我带来了部分解决方案:

let rec sumSameTypes (list:volume list) =
    match list with
    | a::b::t -> if a.GetType() = b.GetType() then // and there is part where I don't know how to sum two of these elements
    | [] -> failwith "EMPTY"

Answer 1

由于这看起来更像是一个学习问题，我将尝试给出一些提示而不是完整的答案。

虽然 GetType可以(在这种情况下)用于检查两个可区分的联合值是否相同，这不是特别的功能风格。您将需要使用模式匹配来检查您的情况，这还允许您提取数值:

match a with
| Litre(n) -> // Do something with 'n'
// Add all the other cases here

我认为首先要考虑的是你想得到什么结果 - 我想最简单的选择是得到四个数字，代表升、加仑、桶和蒲式耳的总数。

let rec sumSameTypes (list:volume list) : float * float * float * float =
    match list with
    | [] -> 
        // For empty list, we just have 0 of everything
        0.0, 0.0, 0.0, 0.0
    | x::xs ->
        // For non-empty list, process the rest recrsively
        // and pattern match on `x` to figure out which of 
        // the numbers you need to increment

这是非常基本的方法，但我认为这是最好的入门方法。通常，您可能会使用类似于 map 的东西(从单位到值)，但是使用看起来更像的类型也是有意义的:

type Unit = Litre | Galon | Bushel | Bucket
type Volume = { Amount : float; Unit : Unit }

这将使它变得更容易，因为您可以使用 Map<Unit, float>作为结果。