为什么这段F#代码这么慢？
为什么这段F#代码这么慢？
提问于 2011-05-24 07:33:30
一个C#和F#的Levenshtein实现。对于两个大约1500个字符的字符串，C#版本的速度要快10倍。C#：69ms，F#：867ms。为什么？据我所知，他们做的是完全一样的事？无论它是发行版还是Debug版本。
编辑:如果有人专门来这里寻找Edit Distance实现，那么它就失败了。工作代码是here。
C#
private static int min3(int a, int b, int c)
{
return Math.Min(Math.Min(a, b), c);
}
public static int EditDistance(string m, string n)
{
var d1 = new int[n.Length];
for (int x = 0; x < d1.Length; x++) d1[x] = x;
var d0 = new int[n.Length];
for(int i = 1; i < m.Length; i++)
{
d0[0] = i;
var ui = m[i];
for (int j = 1; j < n.Length; j++ )
{
d0[j] = 1 + min3(d1[j], d0[j - 1], d1[j - 1] + (ui == n[j] ? -1 : 0));
}
Array.Copy(d0, d1, d1.Length);
}
return d0[n.Length - 1];
}F#
let min3(a, b, c) = min a (min b c)
let levenshtein (m:string) (n:string) =
let d1 = Array.init n.Length id
let d0 = Array.create n.Length 0
for i=1 to m.Length-1 do
d0.[0] <- i
let ui = m.[i]
for j=1 to n.Length-1 do
d0.[j] <- 1 + min3(d1.[j], d0.[j-1], d1.[j-1] + if ui = n.[j] then -1 else 0)
Array.blit d0 0 d1 0 n.Length
d0.[n.Length-1]回答 1
Stack Overflow用户
回答已采纳
发布于 2011-05-24 07:46:41
问题是min3函数被编译为使用泛型比较的泛型函数(我以为这只使用IComparable，但实际上更复杂-它将对F#类型使用结构化比较，而且逻辑相当复杂)。
> let min3(a, b, c) = min a (min b c);;
val min3 : 'a * 'a * 'a -> 'a when 'a : comparison在C#版本中，该函数不是泛型的(它只接受int)。您可以通过添加类型注释来改进F#版本(以获得与C#中相同的功能)：
let min3(a:int, b, c) = min a (min b c)通过将min3设置为inline来...or (在这种情况下，在使用时它将专门用于int )：
let inline min3(a, b, c) = min a (min b c);;对于长度为300的随机字符串str，我得到以下数字：
> levenshtein str ("foo" + str);;
Real: 00:00:03.938, CPU: 00:00:03.900, GC gen0: 275, gen1: 1, gen2: 0
val it : int = 3
> levenshtein_inlined str ("foo" + str);;
Real: 00:00:00.068, CPU: 00:00:00.078, GC gen0: 0, gen1: 0, gen2: 0
val it : int = 3页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/6104221
复制相关文章
相似问题