主要观点：详细介绍了字符串搜索的 Knuth–Morris–Pratt（KMP）算法，通过逐步构建和可视化来阐述其原理，强调了水平和垂直方向的朴素算法、Morris–Pratt 算法以及 KMP 算法的发展过程和关键特性。
关键信息：

• 标准的 KMP 算法解释困难，常见教材多解释 Morris–Pratt 算法。
• 水平朴素算法逐行匹配，垂直朴素算法用集合表示列，存在内存消耗等问题。
• Morris–Pratt 算法利用列的结构，将列表示为循环图，实现线性时间算法。
• KMP 算法进一步优化，在匹配失败时跳过一定的列，提高效率。
  重要细节：
• 用图片展示各算法的步骤和结构，如水平和垂直朴素算法的图示。
• 介绍了不同算法中使用的函数如 scanl、any 等的作用。
• 提及 Haskell 语言在处理循环数据结构方面的便利性，以及惰性求值的作用。
• 通过参考其他研究和实现，如 Racket 代码，验证算法的正确性和性能。