Comments | ailev: Вышел отчет проекта STEPS Towards Expressive Programming Systems за 2011 год

ailev

Вышел отчет проекта STEPS Towards Expressive Programming Systems за 2011 год

Nov 09, 2011 00:00

Не пропустите, вышел пятый отчёт проекта STEPS (http://www.vpri.org/pdf/tr2011004_steps11.pdf) -- в нём сообщается, что заявленная в прошлом году система уже работает, хотя в ней еще можно найти следы использования Си. Система воспроизводит основную функциональность ( Read more... )

Comments 22

talgaton November 8 2011, 22:18:34 UTC

все что было нужно - не использовать кобл!

justy_tylor November 9 2011, 02:51:27 UTC

"браузинга веба" у них нет. Делать свой браузер - слишком дорогая задача, даже с применением мощных языковых технологий. Насколько реализован остальной функционал - по документам сказать сложно ( ... )

ailev November 9 2011, 06:35:31 UTC

Браузинг веба есть -- только это не тот вымороченный веб, который браузится мозиллой и оперой, а "настоящий веб" :-)

С графикой у них активные эксперименты: у того же Nile два погружения в другие языки. Заметки их по "зачистке зоопарка" относятся как раз к вычищению Си для формальной квалификации "от пользователя до железа" с одной стороны, и назначению какого-то оптимума для их языков портирования языков (ибо у них любой язык пишется в любом -- просто by definition для их способа разработки).

Язык Nile более-менее документирован, но в этой документации нужно разбираться. Ибо его документация -- "математическая статья", исполняемые примитивы. Тут не столько документация нужна, сколько объяснение дизайн-выборов, а это уже другой жанр.

justy_tylor November 9 2011, 06:55:57 UTC

Браузить такой "настоящий веб", в котором ни один сегодняшний сайт не будет корректно отображаться это уровень студенческого курсовика. :)

Что касается графики, то есть разница между подъёмом уровня абстракции (как, например, делает Conal Elliot, которого сейчас в той же рассылке fonc упоминают) и оккультным синтаксисом для вполне обычных вещей (Nile). Проще надо быть.

avlasov November 9 2011, 20:45:54 UTC

Хотя мог бы использовать тот же C++ вместо самописной экзотики, с тем же уровнем абстракции и компактности кода, но большей читаемостью.

У парней стоит задача показать что всю систему можно уместить в 20 тыщ строчек кода. Т.е. чтобы можно было во всей системе разобраться за разумное время.
А язык с++ настолько сложен и запутан, что уже в нем самом замучаешься разбираться. Грубо говоря, если бы они пошли путем С++, то это было бы наслоение сложного и запутанного над сложным и запутанным с помощью сложного и запутанного. Ну т.е. как современный софт и строится. А задача - продемонстрировать что можно по другому - а именно в тысячу раз короче.

Thread 17

avlasov November 9 2011, 12:00:32 UTC

крутые чуваки, чо
идея о том что все могло быть проще и компактнее - это хорошо, но если они ее еще и реализовали, то вообще гениально :)

kom2006 November 10 2011, 05:42:39 UTC

Язык становится проще и компактнее при понятийном сдвиге, когда, например, вырабатывается такое понятие языка, кторое снимает в себе сотню других, простых для этого нового языка понятий. Тогда одну и туже мысль, или действие можно записать короче (копактнее). Но как тогда надо сдвинуть мозги (мышление), чтобы научиться говорить, писать и пр. на таком новом языке (языке программирования).

ailev November 10 2011, 06:03:11 UTC

Вот-вот, именно так: http://ailev.livejournal.com/960827.html?thread=9637435#t9637435

kom2006 November 10 2011, 07:08:48 UTC

Я же это понимаю, и поэтому говорю то же самое, что и Вы, но немного в другом языке.
Правда, есть отличие, я акцентирую внимание на выполнении работы по построению новых понятий, а уже потом на построении языка, в котором эти понятия могут "правильно" применяться как средства для... А, далее интересный вопрос, а для чего применяются понятия языка? И чем они отличаются от знаний, которые тоже имеются в языке (и язык программирования работы компьютера, здесь не исключение).