Steps Toward the Reinvention of Programming

科学使用模型不仅仅是为了代表理论，而是为了思考。 如果模型足够强大，能够捕捉现象，并且足够小，可以理解，那么模型是最有用的。 这在权宜的计算世界中做得还不够，在计算世界中，工件往往是功能性的，而不是可理解的。 今天的许多编码使用60年代的技术，通常会产生数百万行代码。 但直觉熵的感觉坚持认为，与代码大小相比，数学内容是微不足道的。 环境不仅是使用的，也是生活和学习的。 因此，自我解释的进步将提升软件工程（一个可解释的系统对实际编程有很大的用处）和计算机科学（对可理解性和公开性的要求自然会导致更好和更高层次的计算结构的发明）。 这些反过来又会提升设计（各级可见系统应该干净，紧凑，强大，简单，漂亮，而不是肮脏和笨重）。 PI长期而杰出的研究生涯结合了计算机科学（面向对象编程，反射整个系统和网络），UI（重叠窗口和图标），教育（特别是儿童），设计（追求美观和解决问题）和计算机工程（学习如何有效地制作整个硬件/软件系统）的兴趣和发明。 与标准做法相比，他开发的替代系统规模较小。 例如，Squeak涵盖了大部分个人计算（包括它自己的应用程序、操作环境、UI和开发工具等）。大约2.8MB的代码（大约200，000行）。 通过仔细的新设计，PI相信它可以小10倍或更多。 在这个项目中，PI和他的团队将设计和构建一个非常紧凑和实用的整个个人计算系统模型，包括操作系统，开发工具，图形用户界面，应用程序，媒体，最终用户编程和互联网通信。共享和媒体（类似于web++）-作为一个“探索馆”本身，可以很容易地理解的青少年上。 动态架构的每一部分都将使用全新的或新改编的强大思想，这些思想应该有助于促进对如何从金属到UI和应用程序设计和构建整个系统的理解;大部分小模型大小将来自于将“多”抽象为“一”和其他特殊的数学方法。 这笔资金用于支持这一大型项目的核心部分（该部分被划分，以便仅通过NSF的支持就可以产生完整和有趣的系统）。 开发的软件将在多个平台上免费传播，并将在中小学和大学进行广泛的用户测试。 一个关键的平台将是动力不足的“100美元笔记本电脑”，这是对系统实用深度的严峻考验。更广泛的影响：大多数编程的早期学习是以一种不可扩展的方式完成的，有点相当于用钉子和木板敲打一个狗窝。 学到的东西不能很好地扩展到5倍，更不用说100倍以上了。 更关键的是，计算机领域最强大的思想的更深层次的类似数学的性质，通过论文描述和学习的都很糟糕，即使读过，也往往很难理解。 制作一个设计良好的系统，也是促进学习和促进变化的工具，将对计算的许多领域产生巨大的积极影响。 它将构成一个“系统就是课程”的例子，用于学习许多重要而强大的思想，特别是对青少年和大学生来说，他们构成了明天的程序员，他们将找到方法来充分利用更简单但更强大的个人计算方法。

Science uses models not just to represent theories, but to think with. The models are most useful if they are powerful enough to capture the phenomena, and small enough to be comprehensible. This is not done enough in the expedient world of computing, where the artifacts tend to be functional rather than understandable. Much coding today uses techniques from the 60s, often resulting in millions of lines of code. But one's sense of intuitive entropy insists the mathematical content is tiny compared to the code size. Environments are not just used, but also lived in and learned. So advances in self-explanation would lift both software engineering (a disclosable system would be of great utility for practical programming) and computer science (the requirements for understandability and disclosure would naturally lead to the invention of better and higher level computational structures). These in turn would lift design (the visible system at all levels should be clean, compact, powerful, simple, and pretty, not dirty and ponderous). The PI's long and illustrious research career has combined interests and inventions in computer science (object-oriented programming, reflective whole systems, and networking), UI (overlapping windows and icons), education (particularly for children), design (striving for beauty as well as problem solving), and computer engineering (learning how to efficiently make whole hardware/software systems). The alternative systems he has developed have been small in comparison with standard practice. Squeak, for example, covers much of personal computing (including its own applications, operating environment, UI and development tools, etc.) in ~2.8MB of code (about 200,000 lines). With a careful new design the PI is confident it could be smaller by a factor of 10 or more. In this project the PI and his team will design and build an extremely compact and practical model of an entire personal computing system from the metal upwards, including the equivalents of an operating system, development tools, graphical user interface, applications, media, end-user programming, and internet communications, sharing and media (analogous to the web++) - as an "Exploratorium" for itself that can be readily understood by teenagers on up. Each part of the dynamic architecture will use wholly new or newly adapted powerful ideas that should help advance understanding of how to design and build whole systems from the metal up through UI and applications; much of the small model size will derive from abstracting "the many" into "the one" and other special mathematical approaches. This funding is for support of the central part of this large project (which is partitioned so that a complete and interesting system will result from the NSF support alone). The software developed will be freely disseminated on multiple platforms, and extensive user testing will be conducted in schools and universities. A key platform will be the under-powered "$100 laptop", an acid test of the pragmatic depth of the system.Broader Impacts: Most early learning of programming is done in a non-scalable way, somewhat equivalent to banging together a doghouse with nails and planks. What is learned doesn't scale well by a factor of 5, let alone by factors of 100+. Even more critically, the deeper mathematics-like nature of the most powerful ideas in computing is poorly described and learned via papers, which even if they are read are often difficult to understand. Making a well-designed system that is also instrumented to promote learning and to facilitate changes will have a dramatic and positive impact on many areas of computing. It will constitute an example of "the system is the curriculum" for learning many important and powerful ideas, especially by teenagers and university students who comprise tomorrow's programmers, and who will find ways to make great use of a simpler yet stronger approach to personal computing.