易实现的基于位串的压缩算法及Haskell递归实现问询

存在完全符合要求的压缩算法，推荐以下几种：

• LZ77 算法：核心逻辑为滑动窗口匹配历史出现的任意长度重复子串，天然适配递归实现范式，不需要额外转换位串结构为字符列表，重复子串场景下压缩表现优秀，极简实现仅需数十行代码，完全符合Haskell纯函数编码规范。
• LZW 算法：基于动态字典匹配最长重复子串，对重复模式密集的位串压缩率极高，递归实现逻辑简洁，可直接对递归定义的Bits类型做操作，无需引入重型依赖。
• 递归重复因子化算法（Recursive Repeated Factorization）：专为递归定义的符号序列设计的轻量压缩方案，核心逻辑是递归扫描当前位串、替换最长重复子串为索引后继续处理剩余部分，实现体量极小，完全贴合Haskell惯用的递归写法。

相关参考资料可查阅经典数据压缩教材《数据压缩导论》对应算法章节，以及Haskell社区官方Wiki的压缩算法实现范例。

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