Anatoly Levenchuk (ailev) wrote,
Anatoly Levenchuk
ailev

Новости vpri.org -- итоги первого года проекта STEPS

Опубликован progress report первого года проекта STEPS (STEPS Towared The Reinvention of Programming) -- http://vpri.org/pdf/steps_TR-2007-008.pdf (этот проект как только не назывался раньше! Например, FONC).

Проект STEPS предпринят чтобы создать "софтверный Закон Мура": разработать софтверную систему большого охвата и диапазона с на 3-4 порядка меньшим кодом, чем в текущей практике. А то, как заметил Николас Негропонте "Энди [Мур] даёт, а Билл [Гейтс] убирает!".

Фотографии исследователей. Благодарность за поддержку в 2007 году от SAP, Nokia Labs, Sun Labs и Applied Minds.

Сравнение текущего состояния софтостроения и написания законодательства ("три кубических мили of case law"). Заявка на разбирательство при помощи дюжины принципов ("мощные идеи"):

около "батареек"
1. Real objects, really networked
2. Explicit models of Time
3. "Golden box" metarecursive self describing kernel
4. Universal graphic primitives

"чудо в центре"
5. Very expressive intentions & meanings
6. Separation of meanings from optimizations
7. Set of support for all meanings
8. Working models of environments

около "конечного пользователя"
9. Model T programming
10. Universal end-use object
11. CostumeView graphics
12. Sideways composition
13. Typical elements programming

Далее рассказываются реальные чудеса -- типа реализации универсального компилятора в 1000 строк, стека TCP/IP в двести строк, компилятора Пролог в сто строк, полноценной вычислительной системы с поддержкой Morphic на Javascript в 10тыс. строк (300Kb загрузочный код, причем плагина не нужно -- а графическая среда реализована после этого прямо на странице браузера. Можно программировать "внутри интернет-страницы", без HTML, только обращаясь по HTTP. Приводится как пример невыразительности JavaScript -- мол, 10000 строк на полноценную IDE с графикой это много) и т.д.

Они таки пошли в железо: сделали "крошечный компьютер" на FPGA (силами сотрудника Microsoft, как ни странно), 100 строк на Verilog.

В следующем году обещают еще больше чудес.
* * *
Дополнительно на vpri.org выложен текст про проект TileScript, который должен позволять столь же простое программирование выкладкой "кафеля" (tiles), как у Scratch, но быть при этом столь же мощным, сколь развитые скриптовые языки (и даже мощнее) -- http://vpri.org/pdf/scalable_scripting_TR-2008-001.pdf
* * *
Проект Lively Kernel (один из результатов проект STEPS, http://research.sun.com/projects/lively/) позволяет забыть разницу между толстым и тонким клиентом.
The Lively Kernel allows you to do pretty much everything that you would expect to do in a conventional desktop programming environment. The main difference is that in the Lively Kernel everything takes place in a web browser.

Utilizing the features described above, you can build conventional, desktop-style applications that run on the web. Utilizing the capabilities of the Morphic user interface framework, you can also build desktop-like environments and systems in which numerous applications and widgets run simultaneously in a regular web browser.
Так и хочется повторить вслед за Аланом Кеем: компьютерная революция еще не началась!
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

  • 34 comments