Most books on data structures assume an imperative language such as C or C++.However, data structures for these languages do not always translate well to functional languages such as Standard ML, Haskell, or Scheme.This book describes data structures from the point of view of functional languages, with examples, and presents design techniques that allow programmers to develop their own functional data structures.The author includes both classical data structures, such as red-black trees and binomial queues, and a host of new data structures developed exclusively for functional languages.All source code is given in Standard ML and Haskell, and most of the programs are easily adaptable to other functional languages. This handy reference for professional programmers working with functional languages can also be used as a tutorial or for self-study.
Dr. Okasaki spent three years at Columbia University as an Assistant Professor of Computer Science, where he taught courses in programming languages and advanced data structures. He has also worked as a visiting researcher at the University of Glasgow, and as a consultant for an Internet startup company, developing a compiler for their agent control language. His primary resear...
(展开全部)
funinsert(x,s)=letfuninsE=T(R,E,x,E)|ins(sasT(color,a,y,b)=ifx
——引自第33页
funbalance((B,T(R,T(R,a,x,b),y,c),z,d)|(B,T(R,a,x,T(R,b,y,c)),z,d)|(B,a,x,T(R,T(R,b,y,c),z,d)|(B,a,x,T(A,b,y,T(R,c,z,d))))=T(R,T(B,a,x,b),y,T(B,c,z,d))|balancebody=Tbody
——引自第33页
@成都下水道 原名任黎明,男,毕业于同济医科大学,副主任医师,副教授,新浪微博@成都下水道,医生大V,粉丝量最多及号召力最强的泌尿外科医生,以独树一帜的下氏科普...
《T.S.艾略特文学思想研究》内容简介:本书为国内外首部全方位对20世纪现代派旗帜性诗人、批评家艾略特的文学思想进行整体系统研究
8种实用演讲技巧助你成就卓越人生。财富500强公司金牌口才教练。“我发现托尼的观点是基于在实践和效用上鼓励听众。”——詹姆士
刘杨(@会修图的摄影师刘杨),商业摄影师/修图师,灵动风尚摄影创办人,站酷网推荐摄影师,“1 X”数字影像处理职业技能证书考评组成员,“造像之术”系列修图教程作...
《澄衷蒙学堂字课图说》的创制,得益于二人:一位是“澄衷蒙学堂”的创始人叶澄衷先生(1840~1899)。叶先生是清末沪上巨贾,“五金大王”。热心赈济、救贫和办学...
9-8医之正道 本书特色 本书出自一位有几十年临床经验的医师之手。作者从哲学的高度出发,经中西医两个维度来审视我们的现代医学,明确指出了现代医学在对人体的认识、...
本书致力于介绍图神经网络的基本概念和算法、研究前沿以及广泛和新兴的应用,涵盖图神经网络的广泛主题,从基础到前沿,从方法到应用,涉及从方法论到应用场景方方面面的内...
黄蓓佳,出生于江苏如皋。1973年开始发表文学作品。1982年毕业于北京大学中文系文学专业。1984年成为江苏省作家协会专业作家。现任中国作家协会全国委员会委员...
苏福忠著的《瞄准莎士比亚》是在近三年多得时间里写出来的,而它们的积累,则是我和莎士比亚结缘二十多年的沉淀。全书二十多万字
工作忙、没时间,怎样低时间成本高效减肥?如何不挨饿、吃好又能瘦?减肥药、断食、抽脂等减肥“捷径”究竟能不能走?“每逢佳节胖三斤”,节假日怎样吃好还能控制体重?如...
眼科疾病-百家名医治验实录 本书特色 《眼科疾病》:阅读此套丛书的重点不是说某名医治疗一种病的效果,而是用百家名医的思路来考虑治疗疾病的途径。可以举一反三,起到...
本书主要以合法性信念(价值规范)这一基本问题为切入点,对帝制中国的君权合法性展开研究。首先透过各种纷繁复杂的合法性象征系统和表现形式,对君权合法性进行了“观念还...
曾庆豹(Chin Ken Pa),哲学博士、教授。中国人民大学基督教文化研究所客座教授(2001迄今)、哈佛大学访问学者(2004)、香港汉语基督教文化研究所特...
作品目录题词序言一序言二自序续编自序体例说明主要参考书目导言莎士比亚的生平与创作莎士比亚戏剧和诗歌创作年表莎士比亚戏剧创
曾泰元,美國伊利諾大學香檳校區語言學博士,东吴大学英文学系副教授,国家语委汉语辞书研究中心兼职研究员。學術專長為詞典學,對英文詞彙、中英詞彙翻譯亦有著濃厚的興趣...
作者简介亨利•基辛格(Henry Kissinger),1923年生于德国,当代美国著名外交家、国际问题专家、1973年诺贝尔和平奖得主。 基
在有关算法的书中,有一些叙述非常严谨,但不够全面;另一些涉及了大量的题材,但又缺乏严谨性。本书将严谨性和全面性融为一体,深入讨论各类算法,并着力使这些算法的设计...
医学化学-(第2版) 本书特色 本书为“十二五”职业教育国家规划教材。本书以高等专科教育培养技能型人才的总体目标为依据,以“必需、够用”为原则,精心遴选专业需要...
克利福德·格尔茨,阐释人类学的开创者,当代人类学的代表人物。他以“深描”方法进行“文化解释”的学术实践在人类学、社会学、宗教学、法学、文学等诸多领域影响巨大。
★ 比尔·盖茨无比期待的新知佳作。★ 联合国前助理秘书长、埃博拉病毒发现者彼得·皮奥评价“一定不要错过”。★ 曾光、石正丽、薛澜、万维钢等学者、作家联袂推荐。★...