length()函数_奇怪的Haskell实验——length的实现是？

最近在看haskell，由于比较冷门，没找到比较好的教材，也就东看点西看点。反正也没什么目标，能在知乎写点心得算是主要目标了。

最近在Data.List的库里看到length这个函数，就查了它的实现，发现了很多有意思的事。然后，又在自己电脑上试了试，发现更有意思了。

首先是几种实现，有的是网站上给的源码，有的我自己加工的。自己写的测试函数运行时间函数，如果有不对，还请指正（我是新手，虚心接受）。

希望比较的是length, genericLength, myGenLength, myLength1, myLength1In, myLength2, myLength3哪一种更可能是真的length实现，通过观察他们运行testlist的长度计算来得出结论。野生自学者，想着比较要控制变量，有的函数差别体现在是否调用inline函数，和类型声明上。

下面是运行函数

下面是见证奇迹的时刻，我电脑上的运行结果如下

一个可以得到的结论的foldl'比一般的写法要快。

不能明白的是同样运行一次length，时间差那么多，是不是寻找函数要那么长时间，找到了就快了？我尝试了把myGenLength放第一位，也是1点多。

似乎可以判定length应该是由foldl'实现的，希望有明白的大佬能够解惑。

没把它放问题里是太长了，还有有可能是我电脑的问题，并不一定是个general的问题。

注：testlist没取得更长是因为一些实现方案会stack overflow。