Question

我现在正努力学习F＃的乐趣。

在C＃中，我处理来自数据库的复杂数据，这些数据通常必须在一个元素中包含整数，双精度数，字符串。 System.Collections.Generic List<T>是完美的。

我试图在F＃中探索并行性，但需要一个不可变的List<T>来实现。这可能吗？语法是否类似于C＃var x = new List<T>？

感谢。

我要编辑它以使其更清晰：

在F＃中，我想创建一个不可变的类或记录列表（应该命名），就像我在C＃中使用List一样。这样我就可以使用相同元素中的分组字符串，整数，双精度数。希望这很简单。

Answer 1

我没有投票，但如果没有更多细节，很难回答你的问题。

在F＃中，不可变列表是最常用的数据结构。您经常使用cons构造函数(::)和空列表[]构建列表。例如，[1; 2; 3]是1::2::3::[]的语法糖。您可以按照@Brian建议的链接阅读有关基本列表处理的更多信息。

一旦习惯了F＃列表，就可以使用high-order functions和列表理解来创建新列表。在您的情况下，可以按如下方式生成随机数列表：

let genRand =
    let rand = System.Random()
    fun () -> rand.NextDouble()

/// Creating a list using high-order functions
let genRandList n = List.init n (fun _ -> genRand())

/// Creating a list using list comprehension
let genRandList' n = [ for i in 1..n -> genRand() ]

我不熟悉蒙特卡罗模拟;但是通过this article阅读，一旦生成随机数列表，您就会在列表元素上统一应用多个List.map函数。出于并行目的，我建议您使用Array而不是List，这样可以提供更好的加速。数组允许对元素进行随机访问，因此不同的线程可以轻松地并行访问数组的不相交部分。虽然数组是可变的，但由于high-order functions和数组理解，你可以以无副作用的方式使用它们。

为了使每个元素的任务都很重要，您应该将一系列Array.map合并为一个，并将Array.map更改为Array.Parallel.map以获得并行性。您还可以并行化mean函数;但是，它不太可能给你任何加速。看看this snippet，了解解决方案与数组的关系。

<强>更新：

创建记录列表：

type RandPair = { First: float; Second: float}
let genRandPairs n = [ for i in 1..n -> 
                          { First = genRand(); Second = genRand() } ]

您可以对classes执行类似操作。

Answer 2

在回答如何使用列表之前，您可能需要确保为什么要使用列表。

这不是微不足道的，因为我们在计算机科学中称之为列表是一个非常精确的结构，其意义不同于，例如序列，更多地与“list”的随意使用相对应。在C＃中，这称为IEnumerable，在F＃中为别名 seq （它们是相同的BCL类型）。

这个序列的一般功能概念可以在类型中看到，如数组，列表，集合，字典，地图等......任何可以枚举的

为了让您了解不同的结构，这里是动物学的示例列表（错误序列）：

设置本身是无序的，但即使它不是第一次使用也可以枚举
列表是一个结构，其中每个元素都有一个指向下一个元素的指针，允许扫描和o（n）随机访问。在F＃中它是不可变的，你只能创建新的，而不是添加元素。您可以使用链接列表进行单向遍历，使用双向链接列表进行双向遍历。
数组是一个连续的内存块，允许o（1）随机访问，如果您事先知道集合的大小，那就很好
字典就像一个数组，但是由一些不是整数的键索引
ResizableArray 类似于您知道的c＃列表，因为您可以在其中添加元素

关于List本身的一切都在这里

http://en.wikibooks.org/wiki/F_Sharp_Programming/Lists

如果你了解你的程序，你应该能够事先证明为什么你使用这个结构而不是另一个。

如果你的程序有一天太慢，那么去找看它们是o（n）的结构上的'find'。也就是说，相当于数据库中的“全扫描”。获得正确的结构将使您的程序飞行

Answer 3

你可以看看

http://en.wikibooks.org/wiki/F_Sharp_Programming/Lists

或

http://msdn.microsoft.com/en-us/library/dd233224.aspx

Answer 4

我认为，在这个问题的上下文中应该说F＃immutable结构对你没什么帮助，因为如果你按照其他答案中的描述创建不可变的F＃列表，你只能确定您的列表未被修改，而它所持有的引用可能指向不可变的对象。

尽管如此，即使它们是，并行化也不会自动发生。 F＃不是纯语言，所以不能确定你的对象引入了什么样的副作用，并且不能自己并行化任何东西（即使它可能，它可能不是非常有效的解决方案，因为自动并行化是不那么容易）。

以下问题很好地描述了它：Does F# provide you automatic parallelism?

当然，这一切都很普遍，因为我们不知道你问题的细节。

List <t>的F＃不可变版本？</t>

4 个答案: