`
liuxinyu95
  • 浏览: 31413 次
  • 性别: Icon_minigender_1
  • 来自: 北京
社区版块
存档分类
最新评论

AlgoXY, Why another algorithm book ?

阅读更多
相信一定有人问?我们有这么多经典优秀的算法书:
- TAOCP: Donald E. Knuth, The art of computer programming;
- CLRS: Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest and Clifford Stein. ``Introduction to Algorithms, Second Edition''
- Robert Sedgewick: 的Algorithms in XXX Language系列

甚至一些讲授计算机体系结构,以及编程的好书也有大量的算法介绍:
- SICP: Hal Abelson and Gerald Jay Sussman. Structure and interpretation of Computer programs
- Jon Bentlay 的 Programming Pearls
- Rob Pike, Brian Kernighan. The practice of programming
- TCPL: Dennis Ritchie, Brian Kernighan. The C programming language
...

为什么还要写AlgoXY这样一本算法书?重复发明轮子么?

我写AlgoXY的的目的其实已经和初衷不一样了:当我最初学习函数式编程的时候(先是C++ template meta programming,然后是Scheme/Lisp然后是Haskell)我觉得函数式编程好玩。但是总写Toy code很没有意思。一旦开始严肃的编写程序,我发现世界上所有的函数式编程初学者都会面临一个问题:如何实现算法?

我们在学校学习过算法,我们读过上面所有的算法书,并且认真完成了大作业和练习题。可是一旦我们开始用函数式编程,并且遇到算法题目,我们却不知道如何实现?(你也许不相信,尝试用一个纯粹的FP语言,写个红黑树试试看)。

Dijkstra 认为 programing = algorithm + data structure,不解决函数式算法和数据结构的问题,我们就不能真正意义上进行函数式编程!

有读者会问:我不相信你是第一个遇到这个问题的人,并且世界上一定早有聪明人解决这个问题了。

是的,函数式编程的先驱们已经有一些成果了:
- Chris Okasaki的Purely Data structures
- Richard Bird的Peals of functional algorithm design
都是非常优秀的(虽然小众)的经典。

AlgoXY做的,是想把这两类经典之间,架起一座桥梁:让来自传统编程世界的人,知道如何一一将他掌握的算法和数据结构,用函数式的方式实现出来。
随着AlgoXY近4年时间的写作。我逐渐意识到算法可以完全用另外一种方式表达:数学公式.
我们的传统教科书用伪代码或者流程图(有的还配上真实代码片段)来表述算法和数据结构,使我们根深蒂固地认为,算法是一门独特的科学。他和我们从初中、高中到大学学习的数学不一样。举个例子(来自Joe Armstrong的Programing in Erlang)
中学时,我们定义
x = 1
x + y = 3
我们推导出y = 3 - x = 2

可是,我们第一堂计算机课,却看到这样的东西:
x = 1
x = x + 1
这怎么可能?这不是意味着 0 = 1么?

但是AlgoXY打算告诉读者,算法是数学的一个分支。AlgoXY的所有算法,都用纯数学公式加以定义。AlgoXY的写作,是一个回归数学的过程。
AlgoXY介绍给读者另外一种计算机模型:除了图灵机模型之外的在1930年代由Alonzo Church(邱奇)给出的lambda演算模型。
它使得我们可以用数学公式描述计算机程序。

AlgoXY有力作不能及的地方:
  -- 对于逻辑式编程的领域没有涉及;
  -- 对于计算模型本身的讨论没有涉及;
  -- 对于类型系统的实现和原理没有涉及;
  -- 对于编译原理和操作系统都没有涉及;

AlgoXY没有写完,恐怕还要经过些年,具体时间我说不好。

AlgoXY这个词有什么意思么?AlgoXY = Algorithm X Y, X, Y是我们在中学数学课上最先接触的变量。所以AlgoXY的意思是elementary algorithms。
也就是最最基础的算法的意思。

有读者问AlgoXY为什么用英文写作?并且没有中文版?因为我的时间非常有限,我只能维护一个语言的版本。我经过权衡,认为如果英文版写得足够好,它被翻译成中文的可能性,比中文版写得好,被翻译成英文的可能性大得多。

面临严肃的函数式编程,有人浅尝辄止:又回到传统编程领域了(或者使用新的传统范式语言,如go等等),我决心继续走下去。
分享到:
评论

相关推荐

    Building Machine Learning Systems with Python

    Why does one algorithm outperform another one in a given scenario? We know that there is much more to learn to be an expert in the field. After all, we only covered some of the "hows" and just a tiny ...

    微软内部资料-SQL性能优化5

    A clustered index is like a telephone directory in which all of the rows for customers with the same last name are clustered together in the same part of the book. Just as the organization of a ...

    Matlab环境下决策分类树的构建、优化与应用

    内容概要:本文详细介绍了如何利用Matlab构建、优化和应用决策分类树。首先,讲解了数据准备阶段,将数据与程序分离,确保灵活性。接着,通过具体实例展示了如何使用Matlab内置函数如fitctree快速构建决策树模型,并通过可视化工具直观呈现决策树结构。针对可能出现的过拟合问题,提出了基于成本复杂度的剪枝方法,以提高模型的泛化能力。此外,还分享了一些实用技巧,如处理连续特征、保存模型、并行计算等,帮助用户更好地理解和应用决策树。 适合人群:具有一定编程基础的数据分析师、机器学习爱好者及科研工作者。 使用场景及目标:适用于需要进行数据分类任务的场景,特别是当需要解释性强的模型时。主要目标是教会读者如何在Matlab环境中高效地构建和优化决策分类树,从而应用于实际项目中。 其他说明:文中不仅提供了完整的代码示例,还强调了代码模块化的重要性,便于后续维护和扩展。同时,对于初学者来说,建议从简单的鸢尾花数据集开始练习,逐步掌握决策树的各项技能。

    《营销调研》第7章-探索性调研数据采集.pptx

    《营销调研》第7章-探索性调研数据采集.pptx

    Assignment1_search_final(1).ipynb

    Assignment1_search_final(1).ipynb

    美团外卖优惠券小程序 美团优惠券微信小程序 自带流量主模式 带教程.zip

    美团优惠券小程序带举牌小人带菜谱+流量主模式,挺多外卖小程序的,但是都没有搭建教程 搭建: 1、下载源码,去微信公众平台注册自己的账号 2、解压到桌面 3、打开微信开发者工具添加小程序-把解压的源码添加进去-appid改成自己小程序的 4、在pages/index/index.js文件搜流量主广告改成自己的广告ID 5、到微信公众平台登陆自己的小程序-开发管理-开发设置-服务器域名修改成

    《计算机录入技术》第十八章-常用外文输入法.pptx

    《计算机录入技术》第十八章-常用外文输入法.pptx

    基于Andorid的跨屏拖动应用设计.zip

    基于Andorid的跨屏拖动应用设计实现源码,主要针对计算机相关专业的正在做毕设的学生和需要项目实战练习的学习者,也可作为课程设计、期末大作业。

    《网站建设与维护》项目4-在线购物商城用户管理功能.pptx

    《网站建设与维护》项目4-在线购物商城用户管理功能.pptx

    区块链_房屋转租系统_去中心化存储_数据防篡改_智能合约_S_1744435730.zip

    区块链_房屋转租系统_去中心化存储_数据防篡改_智能合约_S_1744435730

    《计算机应用基础实训指导》实训五-Word-2010的文字编辑操作.pptx

    《计算机应用基础实训指导》实训五-Word-2010的文字编辑操作.pptx

    《移动通信(第4版)》第5章-组网技术.ppt

    《移动通信(第4版)》第5章-组网技术.ppt

    ABB机器人基础.pdf

    ABB机器人基础.pdf

    《综合布线施工技术》第9章-综合布线实训指导.ppt

    《综合布线施工技术》第9章-综合布线实训指导.ppt

    最新修复版万能镜像系统源码-最终版站群利器持续更新升级

    很不错的一套站群系统源码,后台配置采集节点,输入目标站地址即可全自动智能转换自动全站采集!支持 https、支持 POST 获取、支持搜索、支持 cookie、支持代理、支持破解防盗链、支持破解防采集 全自动分析,内外链接自动转换、图片地址、css、js,自动分析 CSS 内的图片使得页面风格不丢失: 广告标签,方便在规则里直接替换广告代码 支持自定义标签,标签可自定义内容、自由截取、内容正则截取。可以放在模板里,也可以在规则里替换 支持自定义模板,可使用标签 diy 个性模板,真正做到内容上移花接木 调试模式,可观察采集性能,便于发现和解决各种错误 多条采集规则一键切换,支持导入导出 内置强大替换和过滤功能,标签过滤、站内外过滤、字符串替换、等等 IP 屏蔽功能,屏蔽想要屏蔽 IP 地址让它无法访问 ****高级功能*****· url 过滤功能,可过滤屏蔽不采集指定链接· 伪原创,近义词替换有利于 seo· 伪静态,url 伪静态化,有利于 seo· 自动缓存自动更新,可设置缓存时间达到自动更新,css 缓存· 支持演示有阿三源码简繁体互转· 代理 IP、伪造 IP、随机 IP、伪造 user-agent、伪造 referer 来路、自定义 cookie,以便应对防采集措施· url 地址加密转换,个性化 url,让你的 url 地址与众不同· 关键词内链功能· 还有更多功能等你发现…… 程序使用非常简单,仅需在后台输入一个域名即可建站,不限子域名,站群利器,无授权,无绑定限制,使用后台功能可对页面进行自定义修改,在程序后台开启生 成功能,只要访问页面就会生成一个本地文件。当用户再次访问的时候就直接访问网站本地的页面,所以目标站点无法访问了也没关系,我们的站点依然可以访问, 支持伪静态、伪原创、生成静态文件、自定义替换、广告管理、友情链接管理、自动下载 CSS 内的图。

    《Approaching(Almost)any machine learning problem》中文版第11章

    【自然语言处理】文本分类方法综述:从基础模型到深度学习的情感分析系统设计

    基于Andorid的下拉浏览应用设计.zip

    基于Andorid的下拉浏览应用设计实现源码,主要针对计算机相关专业的正在做毕设的学生和需要项目实战练习的学习者,也可作为课程设计、期末大作业。

    P2插电式混合动力系统Simulink模型:基于逻辑门限值控制策略的混动汽车仿真

    内容概要:本文详细介绍了一个原创的P2插电式混合动力系统Simulink模型,该模型基于逻辑门限值控制策略,涵盖了多个关键模块如工况输入、驾驶员模型、发动机模型、电机模型、制动能量回收模型、转矩分配模型、运行模式切换模型、档位切换模型以及纵向动力学模型。模型支持多种标准工况(WLTC、UDDS、EUDC、NEDC)和自定义工况,并展示了丰富的仿真结果,包括发动机和电机转矩变化、工作模式切换、档位变化、电池SOC变化、燃油消耗量、速度跟随和最大爬坡度等。此外,文章还深入探讨了逻辑门限值控制策略的具体实现及其效果,提供了详细的代码示例和技术细节。 适合人群:汽车工程专业学生、研究人员、混动汽车开发者及爱好者。 使用场景及目标:①用于教学和科研,帮助理解和掌握P2混动系统的原理和控制策略;②作为开发工具,辅助设计和优化混动汽车控制系统;③提供仿真平台,评估不同工况下的混动系统性能。 其他说明:文中不仅介绍了模型的整体架构和各模块的功能,还分享了许多实用的调试技巧和优化方法,使读者能够更好地理解和应用该模型。

Global site tag (gtag.js) - Google Analytics