众所周知,您可以很容易地从两个元组构建n元组。field snd : B
n-ple = foldr Twople Unit
(Agda语法,但它将在Idris中工作,并且可以在Haskell,Scala.)从n-ple中提取最右边的项需要O(n)时间,因为您必须在途中解压每个嵌套的Twople。n-ple更像是异构列表,而不是元组。同样,在最坏的
目前,我正在尝试将一些Scala代码移植到Python项目中,我看到了以下Scala代码:weights是一个非常长的项目元组列表及其相关的概率加权。元素经常被添加并从此列表中删除,但是检查有多少元素具有非零概率的可能性相对较少。在我正在移植的代码中,还有一些其他罕见但昂贵的操作,它们似乎从lazy val