F# Bjorklund算法：while转递归时的类型约束问题排查

项目基础背景 #

• 开发者具备多年C风格命令式编程经验，当前正深入学习F#语言
• 目标实现为生成欧几里得节奏的Bjorklund算法：该算法可在二进制串中对1元素实现旋转意义下的最均匀分布，典型转换效果为将1111100000000转换为1001010010100
• 初期参考JS版本逻辑，编写了带mutable变量的while循环实现，功能运行正常

遇到的编译与范式适配问题 #

• 为练习函数式编程，尝试移除while循环、将核心逻辑改写为递归函数时，在使用bpat.[0]索引数组元素的位置触发编译报错：索引运算符作用于先前无法确定类型的对象，需要添加进一步类型约束
• 对比编译器推导的函数签名发现：同一套比较逻辑，在while循环版本中Seq.compareWith的签名被推导为char list -> char list -> int，在递归函数版本中却被推导为char list -> seq<char> -> int
• 两个版本的输入数据除可变性差异外类型完全一致，暂不明确该签名差异的产生原因，以及对应编译报错的根本来源
• 当前可运行的递归实现仍保留了mutable变量，既需要弄清上述编译报错、类型推导偏差的根本原因，也需要掌握符合F#函数式范式的无副作用优化实现方式

内容的提问来源于stack exchange，提问作者user49011