我想通过将List一个看作从Int到A的映射来为不等大小的列表提供转置的定义。首先,我认为在引用的文章中定义的转置是有问题的。问题的根源在于转置的定义不尊重与元素相关的精确指标(在编制内部列表时存在元素的隐式“转移”)。因此,我建议将不等大小的列表( list [List一个])上的转置更抽象地看作是对MapInt,地图[国际]的操作。def listOfListsToMapOfMaps[A]( l : List[List[A]] )
在F#中,如何使列表转置函数与整型列表兼容?let rec transpose = | (_::_)::_ as M -> List.mapList.head M :: transpose (List.mapList.tail M)看起来这只适用于int listlist。但是,我对最内层的列表进行了进一步的分组,以生成int list