两位程序员的数独求解器：设计哲学的碰撞

本文讲述了Ron Jeffries和Peter Norvig两位程序员各自编写数独求解器的经历。Jeffries采用增量式设计，从简单的List[Option[Int]]表示开始，经过多次迭代，最终完成求解器，但代码冗长且不够优雅。Norvig则利用其在搜索领域的专业知识，采用Map[Coord, Set[Int]]表示，代码简洁高效，并展现了约束传播的思想。文章探讨了两种不同设计哲学的优劣，以及程序员的领域知识对其编程风格的影响，引发了对软件设计方法的深入思考。