代码之家 › 专栏 › 技术社区 › Derek Litz

是否有授权编程语言功能列表[[关闭]

language-features programming-languages

Derek Litz · 技术社区 · 15 年前

我在找动态类型、静态类型、弱类型和强类型。

还有反射、静态绑定、动态绑定等。

如果有这样的东西存在,并且将这些概念映射到特定的语言,那就太棒了。

我知道维基百科上已经解释了很多这些特性,但是除非我已经知道这些特性是什么(我记得),或者碰巧找到了一个相互关联的链接,否则这些特性是无法快速访问的。事实上,我唯一一次使用维基百科来做这样的事情,就是我碰巧看到有人引用了一个想法,我需要查一下。

我的主要目标是有一个方法让我快速发现或温习我对这些概念的知识,像这样的权威列表将非常有用。

如果这样的事情不存在,为什么?

2 回复 | 直到 15 年前

Community Mohan Dere 6 年前

Concepts, Techniques, and Models of Computer Programming by Peter Van Roy and Seif Haridi . ( Here's the companion wiki. )CTM(业界俗称)使用 multi-paradigm Distributed Oz programming language 介绍所有主要的编程范例。

彼得·范·罗伊也 this amazing poster that shows the 34 major paradigms and their relations and positions on various axis . 海报基本上是一个令人难以置信的压缩版CTM。文章对那张海报作了更详尽的解释 Programming Paradigms for Dummies: What Every Programmer Should Know 作为一章出现在书中 ,编辑:G。分析AG和A。格索。例如,它非常简洁和容易理解地解释了编程范式实际上是什么 ,什么是编程概念,以及两者之间的关系。

你可以找到 video recordings and course materials from the Spring 2005 course on MIT's OpenCourseWare website . Another recording of the course from MIT's short-lived ArsDigita University project the 2010 course at Berkeley has just finished .

通俗地说,SICP可能是有史以来最好的编程书籍。

SICP和CTM的主要区别在于说教方法:CTM使用一种非常强大的多范式语言来演示大多数主要范式已经支持它们(大部分是分布式的,但也有一些其他的)。西科普托通过用一种不本地支持它们(Scheme的子集)。IOW:CTM将通过在Scheme中实现OO系统来教授OO,即显示用OO语言编写的程序。看到在十几行代码中实现面向对象真是太棒了。

Design Concepts in Programming Languages (by Franklyn A. Turbak and David K. Gifford with Mark A. Sheldon)

Concepts of Programming Languages (by Robert W. Sebesta) 解释了编程语言的概念,从Konrad Zuse的Plankalkl开始,接着是第一个编程语言如FORTRAN、LISP、COBOL、Algol、BASIC和ON to C、C++、java和艾达。

Concepts in Programming Languages (by John C. Mitchell) 是另一本经常被引用但不幸的是我自己还没有读过的书。

Essentials of Programming Languages (作者:Daniel P。弗里德曼和米切尔·旺德)又名 .

Programming Language Pragmatics (by Michael L. Scott) 关于据报道,他们的方式非常容易接近(再说一遍,我还没读过这本书。)

Types and Programming Languages (本杰明C。皮尔斯),或 TaPL公司 就像通常所说的那样。这基本上是这个

为了平衡皮尔斯非常严格的定义,你一定要读《辉煌》 Typeful Programming 卢卡·卡德利。在本文中,他认为使用类型作为建模和结构化结构而不仅仅是安全网的编程本身就是一种编程范式(例如,这与彼得·范·罗伊的海报和书形成了鲜明对比,后者故意完全忽略打字。)

一个非常好的资源是 Lambda the Ultimate 我

user395760 user395760 15 年前

如果你知道如何使用维基百科,你可以用相对较少的搜索工作提供相对较多的信息,在这种情况下,手工浏览分类是必要的。通常,如果一些著名的语言在不同的名称下有相同的概念,反之亦然,则在页面上注明。

OO的概念以及其他范式的概念可以在各自的子类别中找到 http://en.wikipedia.org/wiki/Category:Programming_paradigms

http://en.wikipedia.org/wiki/Category:Programming_constructs

同样地, http://en.wikipedia.org/wiki/Category:Type_theory

等等。。。