※ [本文转录自 ComGame-Plan 看板] 作者: godfat (godfat 真常) 看板: ComGame-Plan 标题: [申请新板] PLT 时间: Tue Feb 20 19:31:46 2007 v1.1 修订处以黄色标记 　板主名单　：godfat 　看板类别　：研讨 看板中文名称：程式语言理论 看板英文名称：PLT 　　　　注１：Programming Language Theory 开板理念： 何谓 PLT? 请读： http://en.wikipedia.org/wiki/Programming_language_theory 简单地说，就是对於「程式语言」的研究，请注意， 是研究而非使用。是故与目前 CompScience 的各个类别为「程设」的看板， 有着关键性的不同。不是研究程式设计，而是研究程式语言本身。 而我们也都知道，程式本身由程式语言描述，所以程式语言的研究 将直接冲击程式设计的方法，其重要性绝不亚於程式设计本身。 以下皆将「程式语言的理论、设计与实作」简称「程式语言」。 程式语言本身牵扯范围极广（大部份的领域皆然）， 可是综观 CompScience 各板，曾有何处在讨论程式语言这个领域？ 目前就我所知，CSSE 一开始有着一点点的讨论， 但是後来的讨论大多都与程式语言无关。 基於专板专用的理念，PLT 有其开板的意义。 与 CSSE 的关系将於「与现有板面的区隔」讨论，这里不再多谈。 唯一比较可惜之处是，个人并无正式学习过 PLT, 是故会有很多地方不了解，或是有所误解。 个人以为，这种情况下并不适合担任板主， 但考量到板主需要处理一些琐事，而这些琐事跟 PLT 也无关， 所以暂时性的担当，应不至於过於不当。 所谓抛砖引玉，望对此领域有一定认识之人能够现身担当此大任。 另外有一点需要额外被提出来讨论的是，各个语言间的比较。 由於评估各个语言间的异同、使用状况、设计理念等， 对於程式语言本身的设计有举足轻重的影响力。（放眼过去，展望未来） 所以本看板另一个理念是提供各个语言间比较的战场。 我想这点很容易引起纷争，毕竟语言有时候也如同信仰般的存在， 而有些人的信仰是绝对、深远、且不可动摇的，如此一来， 纷争则无法免除。 但个人以为，只要大家能够理性讨论，排除所有情绪上的用词与各种不当 或无意义的言论，还是能够促进程式语言理论的丰富性与深远性。 关於如何定义恰当的言论与非恰当的言论，将於下列初版板规处说明。 最後一点是，我们知道程式语言的种类极其繁多， 而许许多多「少数民族」所使用的语言，难以在网路上找到专板。 所以在不过份的情况下，本看板将收容此等少数民族。 过不过份的定义也将於初版板规处说明。 总归起来，以下三大主题将视为符合本板宗旨： 1. (程式语言|编译器|直译器)的理论、设计与实作 2. 各个程式语言间的设计与实作比较 3. CompScience 内暂无专板的程式语言相关讨论 另外如 CompScience 内有某程式语言专板的看板收摊， 则其与板面上优文，将直接收录於本看板少数民族语言内。 可以的话，保留一份原本的编排，再另外与本看板内的编排合并。 与现有板面的区隔： CSSE 由於 CSSE 的定义过於广泛，不容易让人望文生义。 假若要促进某方面的讨论，还是需要某方面的专板。 如 PLT 板终将关闭，合并於 CSSE 是一个方式。 Programming 联合转信板管理上非常困难，且此板较为倾向程式设计而非程式语言上的研究。 Prob_Solve 大抵上而言为演算法的研究，和程式语言没有非常直接的关系。 初版板规： 一般性： 1. 请遵守成文或不成文的网路礼仪。 2. 不符合本板宗旨的文章将删除并备份於。 3. 判定准则皆为板主自由心证，辅以板友意见。 程式语言的比较之主题： 1. 不可针对人类发出批评。如：使用 OO 语言的人都是白痴。 2. 不可光提出批评而不发表理由。如：反正 OO 语言就是烂。 3. 以上违反者将直接删除该文并备份於，同时视情况给予警告或是水桶不定天数。 少数民族语言的相关主题： 1. CompScience 内有专板者不可单独讨论，违反则删除并备份於。 2. 同一个语言的相关主题在二日内，合并计算不可超过三十篇。 　 超过则暂时锁定，低於三十篇後重新开放。 3. 避免讨论 IDE, 或是任何形式的编辑器或开发环境。视情况处理。 　 补充说明： 　 例如：「如何建立专案？」、「如何开启新档？」、「编译的按钮在哪？」 　 此等主题离题太远，视为不符合看板宗旨。 　 比较微妙的部份是，IDE 直接涉入程式语言的部份， 　 例如 code generator 的应用，勉强可以算是符合看板宗旨。 初步架构表： 0. 本板资讯 　1. 略 1. 程式语言理论 　1. type theory 　2. formal semantics 　3. run-time systems 　4. paradigm 　5. features 　6. history 　7. etc. 2. 编译器/直译器设计与实作 　1. front-end 　2. middle-end 　3. back-end 　4. etc. 3. 程式语言的比较 　1. 有关 OO 语言与… 　2. 有关 XX 语言与… 　3. etc. 4. 少数民族语言 　1. OO 语言 　2. XX 语言 　3. etc. 5. 其他看板的精华文件 　1. 略 6. 备份区 　1. 违反板规「一般性：2」者 　2. 违反板规「比较主题：1」者 　3. 违反板规「比较主题：2」者 　4. 违反板规「少数民族：1」者 　5. etc. -- #!/usr/bin/ruby [露比] /Programming (Kn|N)ight/ 看板《Ruby》 # if a dog nailed extra legs that http://webptt.com/cn.aspx?n=bbs/Ruby/index.html # walks like an octopus, and Welcome ~Ruby@ptt~ # talks like an octopus, then ◢█◣ http://www.ruby-lang.org/ # we are happy to treat it as █ http://www.ruby-doc.org/ # if it were an octopus. ◥ ◤ http://www.rubyforge.org/ --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 220.135.28.18 ※ 编辑: godfat 来自: 220.135.28.18 (02/20 19:32) --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 61.228.195.92