词条 文学编程

文学编程

文学编程英语:Literate programming)是由高德纳提出的编程方法,希望能用来取代结构化编程范型。

正如高德纳所构想的那样,文学编程范型不同于传统的由计算机强加的编写程序的方式和顺序,而代之以让程序员用他们自己思维内在的逻辑和流程所要求的顺序开发程序。文学编程自由地表达逻辑,而且它用人类日常使用的语言写出来,就好像一篇文章一样,文章里包括用来隐藏抽象的宏和传统的源代码。文学编程工具用来从文学源文件中获得两种表达方式,一种用于计算机进一步的编译和执行,称作“绕出”(tangled)的代码,一种用于格式化文档,称作从文学源代码中“织出”(woven)。。虽然第一代文学编程工具特定于计算机语言,但后来的工具可以不依赖具体语言,并且存在于比编程语言更高的层次中。

文学编程相关文献
编程范型
例子结构化编程对比非结构化编程命令式编程对比宣告式编程消息传递编程对比命令式编程程序编程对比函数式编程Value-levelprogramming对比Function-levelprogramming流程驱动编程对比事件驱动编程纯量编程对比阵列编程基于类编程对比基于原型编程(在面向对象编程的上下文中)Rule-basedprogramming对比Constraintprogramming(在逻辑编程的上下文中)基于组件编程(如OLE)面向方面编程(如AspectJ)符号式编程(如Mathematica)面向表格编程(如MicrosoftFoxPro)管道编程(如Unix命令中的管道)Post-objectprogramming面向主题编程自省编程或称反射编程参见ArsbasedprogrammingMemetics
查看全文
文学编程
概念文学程序是用自然语言(比如英语)写出来的对程序逻辑的解释,程序中交织点缀着宏和传统源代码段。在文学编程的源文件中,宏很简单,它或与标题类似,或是解决编程问题时用人类语言描述抽象的解释性短语。它把代码段或更低层次的宏隐藏了起来,且与计算机科学教学时经常用到的,用伪码写的算法相似。这些任意解释的短语成为新的精确的操作符,操作符由程序员在运行过程中创建,组成了在基本编程语言之上的“元语言”。预处理器用于替换任意层级,说得更准确些是“在"网"和宏之间创建联系”,用命令"tangle"产生可编译源代码,用命令"weave"产生文档。预处理器还提供了写出宏的内容的能力和在文学程序源文件中的任何地方增加已创建的宏的能力,由此不必受传统编程语言强加的那些限制或是打断自己的思路。优点根据高德纳本人所说,文学编程为高质量程序而生,因为它强迫程序员显式描述程序背后的思路,让不充分的设计决策无所遁形。高德纳还...
查看全文
极限编程
历史极限编程的创始者是肯特·贝克、沃德·坎宁安和罗恩·杰弗里斯(英语:RonJeffries),他们在为克莱斯勒综合报酬系统(英语:ChryslerComprehensiveCompensationSystem)的薪水册项目工作时提出了极限编程方法。肯特·贝克在1996年3月成为克莱斯勒系统的项目负责人,开始对项目的开发方法学进行改善。他写了一本关于这个改善后的方法学的书,并且于1999年10月将之发行,这就是《极限编程解析》(2005第二版出版)。克莱斯勒在2000年2月取消了实质上并未成功的克莱斯勒系统,但是这个方法学却一直流行在软件工程领域中。至今2006年,很多软件开发项目都一直以极限编程做为他们的指导方法学。该书阐述了如下的极限编程的哲学思想:一种社会性的变化机制一种开发模式一种改进的方法一种协调生产率和人性的尝试一种软件开发方法把极限编程一般化并用于其它类型的专案称为极限专案管...
查看全文
逻辑编程
历史早在二十世纪七十年代,罗伯特·科瓦尔斯基(英语:RobertKowalski)等人提出了逻辑可以作为程序设计语言的基本思想,把逻辑和程序这两个截然不同的概念协调统一为一个概念,于是诞生了逻辑程序设计。这也是早期自动定理证明和人工智能发展的自然结果。随后,逻辑程序设计得到了迅速发展,特别是基于一阶谓词的逻辑程序设计语言,将逻辑推理对应于计算,具有丰富的表达能力、非确定性等特点,在定理机器证明、关系数据库系统、程序验证、模块化程序设计和非单调推理等都有了广泛的应用。
查看全文
编程语言
概论编程语言原本是被设计成专门使用在计算机上的,但它们也可以用来定义算法或者数据结构。正是因为如此,程序员才会试图使程序代码更容易阅读。编程语言往往使程序员能够比使用机器语言更准确地表达他们所想表达的目的。对那些从事计算机科学的人来说,懂得程序设计语言是十分重要的,因为在当今所有的计算都需要程序设计语言才能完成。目前发明了许多的编程语言,编程语言本身可能修改以匹配新需求,或是和其他的编程语言结合使用,尽管人们多次试图创造可以匹配所有需求的通用编程语言,但以“匹配所有需求”的标准来看,这些尝试都失败了。之所以有那么多种不同的编程语言存在的原因是,编写程序的初衷其实也各不相同;新手与老手之间技术的差距非常大,而且有许多语言对新手来说太难学;还有,不同程序之间的运行成本(runtimecost)各不相同。有许多用于特殊用途的语言,只在特殊情况下使用。例如,PHP专门用来显示网页;Perl更适合文...
查看全文
文学编程相关标签
软件文档
示例代码文章
编程范型
家族谱大览
义城金氏世谱: 文学公派
义诚金氏文学公派世报出版委员会,1982年发行金钟律 仁济大学中央图书馆, 1000-1982 原始祖金阏智,始祖金宜,坡祖金居翼的子孙录
浏览:0
义城金氏世谱:文学公派
义城金氏文学公派世谱出版委员会,1982年发行金钟律 原始祖金阏智,始祖金宜,波祖金居翼 金居翼的子孙录, 1000-1982 仁济大学中央图书馆
浏览:0
2.阴氏族谱, 2, 世系 张里庄中支全册 1世文学公起, 1919
原书: 稿本影印, 民国8[1919]四续. 6册 : 世系表. 注 : 阴氏于明洪武由山右洪洞来肥, 一居张里庄, 一居屯头镇. 张里庄中支始祖(1世) : 阴文学,字功余,号力行. 下一子: 阴缙,字绅廷 张里庄又中支祖(1世) : 阴文孜,字勤轩(文学祖胞兄弟,传二世而绝.下一子: 阴邦奇,字俊彦) ; 阴绪 ; 阴文质 ; 阴朝阳. 张里庄另又中支祖(5世) : 阴足孝,字百原 ; 阴成诰,字仲康 ; 阴启,字佑人 ; 阴德信,字诚斋. 五世以上失考. 张里庄又中支迁居城里祖(7世) : 阴玉,字子美. 下一子: 阴修珍. 张里庄东支祖(2世) : 阴仓,字会五. 始祖失考. 下一子: 阴志安,字静斋. 张里庄又东支祖(3世) : 阴志守,字修缘 ; 阴志水,字注东. 以上失考. 张里庄又又东支祖(6世) : 阴文九. 以上失考. 张里庄西支祖(2世) : 阴廷气,字符太,号兰斋. 始祖失考. 张里庄又西支祖(2世) : 阴廷元. 始祖失考. 张里庄又西支祖(4世) : 阴鳌 ; 阴广. 以上失考. 张里庄又西支祖(6世) : 阴贵伦 ; 阴宏伦 ; 阴振伦. 以上失考. 屯头始祖(1世) : 阴兆学,字为也. 下一子: 阴世卿,字位六. 屯头又支祖(4世) : (清) 阴体泰. 以上失考. 屯头又一支祖(5世) : (清) 阴廷璜,字砺臣. 公孝友端方, 授四川温江县知县, 诰封文林郎; 晋封承德郎配, 诰封孺人. 屯头又支祖(5世) : 阴邦舜. 迁居李留庄. 屯头又支祖(7世) : 阴典舞. 此支亦见智祖出, 但一代失名无考, 故附于其下. 屯头又支祖(7世) : 阴烛,雷鸣祖出 ; 阴京玉 ; 阴德友 ; 阴珍,迁居庄科 ; 以上失考. 屯头又支祖(8世) : 阴国明 ; 阴开三 ; 阴子先. 屯头又一支祖(9世) : 阴峪 ; 阴汝良. 屯头又支祖(11世) : 阴泰平. 散居地 : 山东省肥城县, 平阴县等地. 书名据书衣题编目.
浏览:100
14.周氏重修宗谱, 14, 卷12: 世系 灏公 7世文学公起, 1893
原书: [出版地不详] : 爱莲堂, 清光绪19[1893]重修(方崇垣, 潘兆进梓刊). 14册 : 插图, 世系表. 远祖 : 周朋里,字万成,字䓵山. 原籍河北,本姓姬,以国为氏,遂姓周. 周氏发祥自公始. 始祖(1世) : (宋元之际) 周受六. 淮公(字国盛)第六子. 朋里公94世孙. 与弟周受七. 由江西饶州府鄱阳县板桥里入籍麻城. 派祖(6世) : 周灏. 伯魁公之子. 徙麻邑东门外古城区. 灏公生六子(7世) : 周文忠 ; 周文学 ; 周文玉(未详) ; 周文珍(未详) ; 周文从(迁广东) ; 周文洪,字仲洪. 文忠房下房祖(9世) : 周大武 ; 周大宽 ; 周大钊. 文学房下房祖(9世) : 周大仁. 大武公下支祖(14世) : 周之景 ; 周之秀 ; 周之华. 大宽公下支祖(14世) : 周之弼 ; 周之栋 ; 周之新 ; 周之庠 ; 周之友 ; 周之勋. 大钊公下支祖(10世) : 周廷学. 生一子 : 周朝微,字养微. 大仁公下支祖(10世) : 周廷基. 生一子 : 周朝谟,字启谟. 派语 : 大廷朝时思 之世承重端 志士仍先绪 祈希汝代兴 本宗延序定 振起朴天行 敦厚垂芳久 庭献自家征 从新緜庆瑞 再续继前人. 散居地 : 湖北省麻城县等地. 书名据版心题编目. 书签题及书名页题 : 周氏宗谱
浏览:100
中国文学家列传
中国文学家列传
浏览:0
12.鹤山夏氏宗谱, 12, 鲁分卷首2: 典字集 祖德录 宦迹 传 文学 殉难 节孝 祖墓录 墓图 行述, 1991
原书: [出版地不详] : 会稽堂, 1991年修. 85册 : 插图, 世系表, 人像. 注 : 此谱不全. 缺胜分卷首1, 洪分卷首3, 鲁分卷首1, 树林分卷首2, 卷29. 熙分缺1-5世世系及世传. 远祖 : 夏远,字光庭,号三斗. 原籍浙江会稽. 生三子 : 夏雀? ; 夏深 ; 夏洪,字显清,行三. 迁江州德化常乐里敷平乡水落镇. 宗祖 : 夏正五,行二. 生三子 : 夏德一(居野鹤山,本派始祖) ; 夏德二(居𥐛石岑) ; 夏德三(居鄱塘湖). 野鹤山始祖(1世) : (元明之际) 夏德一,行一,更名得乙. 远公19世孙. 原籍江西省饶州府乐平县. 武洪8年偕弟德二公(居翠石岭) ; 德三公(后解千一公迁夏树林)来蕲. 德一公生五子 : 夏世杰,行一(杰分) ; 夏世仲,行二 ; 夏世偪 ; 夏世倡 ; 夏世侣(侣分). 世仲公下房祖(4世) : 夏思熙,字照亭,行一(熙分) ; 夏思胜,字悟新,行二(胜分) ; 夏思洪,行五(洪分) ; 夏思珩,行八(珩分) ; 夏思鲁,行十(鲁分). 树林1世祖 : 夏千一. 由江西南康府星子县谢事塘,自元季卜居楚北黄州府蕲水县𥐛石潭夏家港. 排行字 : 德世鼎思玉 单天亨继时 乘观国之光 象贤士学起 (继20世) 述志联宗绍 商山源本同 家声知必大 永代庆昌隆. 注 : 排行字母表见卷首六第49页(影像51). 散居地 : 湖北省浠水县野鹤山村等地. 书名据书衣题编目. 版心题 : 鹤山夏氏四修宗谱
浏览:100