Richard Bird takes a radically new approach to algorithm design, namely, design by calculation. These 30 short chapters each deal with a particular programming problem drawn from sources as diverse as games and puzzles, intriguing combinatorial tasks, and more familiar areas such as data compression and string matching. Each pearl starts with the statement of the problem expressed using the functional programming language Haskell, a powerful yet succinct language for capturing algorithmic ideas clearly and simply. The novel aspect of the book is that each solution is calculated from an initial formulation of the problem in Haskell by appealing to the laws of functional programming. Pearls of Functional Algorithm Design will appeal to the aspiring functional programmer, students and teachers interested in the principles of algorithm design, and anyone seeking to master the techniques of reasoning about programs in an equational style.
【本书目录】谢冕 历史将证明价值——《朦胧诗选》序北岛:回答走吧一切陌生的海滩岛是的,昨天雨夜睡吧,山谷船票宣告结局或开始迷途枫叶和七颗星星界限古寺十年之间噩梦...
每个人心中都会有想要守护的东西。如果这份守护的代价是牺牲一切,你有没有信心抵达终点?《嫌疑人X的献身》中,“神探伽利略”汤川学追求的唯有真相,而这次,他没有止步...
美国记者、幽默专栏作家和小说家,曾就读于密歇根大学,后转至全美顶尖文理学院之一科尔比学院(Colby College)。他是《智族》《马克西姆》《纽约》《花花公...
作品目录导言 8方阵与军团公元前600—公元450年 12概述 14希腊重装步兵 16罗马军团士兵 26罗马的敌人 42征服与骑士制度公元450—
明日将至,杀机隐现未来世界,危如朝露惊险科幻,世界科幻发展动力最强的“发动机”13篇新生代惊险科幻小说,精彩绝伦,手难释卷燕垒生 / 韩松 /《流浪地球》编剧严...
《清华三才子》作者谢泳,曾与余杰、孔庆东等被称为“草原部落”的五匹黑马之一,中国著名公共知识分子,所著《逝去的年代》《西南联大与中国现代知识分子》等在当代中国知...
古龙,本名熊耀华(1937-1985),原籍江西。古龙毕业于台湾淡江大学外文系,是台湾著名新派武侠小说作家。他从1960年创作《苍穹神剑》始,一生共写了近70部...
城市交通地理学 本书特色由美国科学院资深院士苏珊·汉森和美国交通研究会前执行委员会主席吉纳维夫·朱利亚诺主持编著的《城市交通地理学》,是关于*新城市交通问题研究...
精彩摘录“你说,”我问安佳,“如果一个人吃饱了饭没事干,他怎么消磨时间最好?”“睡觉。”“睡过了呢?已经睡得不能再睡了?
沧月,作家,建筑师。浙大建筑学硕士,长居于西子湖畔。金牛座,出生于星相学上被称为“织梦者”的那一天。喜欢阅读、写作、睡眠、旅行、观察和独自发呆。2002年出道,...
村上春树(1949— ),日本著名作家。京都府人。毕业于早稻田大学文学部。1979年以处女作《且听风吟》获群像新人文学奖。主要著作有《挪威的森林》、《世界尽头与...
杰夫•范德米尔Jeff VanderMeer美国科幻文学的中坚力量,拥有一连串的科幻文学荣誉。在创作《遗落的南境》三部曲之前,范德米尔的中长篇《马丁湖的转变》获...
❤超人气美女摄影师罗晓韵/Jolie的冰岛旅行摄影集❤跋涉到世界尽头的冰岛,完成儿时梦想,经历66个奇遇故事,在生死考验中完成自我治愈和蜕变,私密心路历程首度公...
城市轨道交通客流出行可视化技术 本书特色 由刘浩、葛启彬、李民伟、隋莉颖、张勇等等* 的《城市轨道交通客流出行可视化技术》基于北京市轨道交通一卡通刷卡数据,结合...
日语外来语多功能词典-(上册) 本书特色 基本词汇2500条,涵盖日语一级的外来语**词汇。复合词3250条,派生词1500条,例句200余条。外来语的日语对应...
王贵祥清华大学建筑学院建筑历史与文物建筑保护研究所所长,博士生导师、中国营造学社纪念馆馆长、中国建筑学会建筑历史分会,学术委员会委员、中国文物学会古建园林分会,...
可靠性工程基础 内容简介 本书面向21世纪的产品可靠性需求,从“可靠性工程是产品寿命周期中一系列技术与管理活动的集成”这一视角,整合了国外*新的可靠性技术与管理...
精彩摘录有一个每天关在家写小说的作者在网上对我说,她打算拿了这本的稿费去旅游。旅游完了打算出一本当地的旅游书,拿到稿费了
一个有态度的推理作家。2012年度天涯文学“十大作者”和“十佳作品”双榜榜首。已出版《少年股神》、《资本对决》、《禁忌之地》等。在尝试多种题材后,于2012年6...
刘逸生,男,1917年7月生,广东中山县、人。自幼失怙,复无师承,全赖自学。曾在香港《正报》、《华商报》及广州《南方日报》、《羊城晚报》从事编辑工作共三十年。1...