[18:13:18] <coopht> hola!
[18:23:42] <yeo> бонжёрно
[19:53:58] <vgodunko> Hi!
[20:00:12] <coopht> =)
[20:00:36] <coopht> Что интересного твориться в мире Ады. А то я че-то выпал из жизни)
[20:29:56] <coopht> видимо ничего
[21:16:44] <yeo> даже не знаю, из старого нового - muen - виртуализотор формально доказанной корректностью http://www.adacore.com/press/muen-separation-kernel/ Из того что поновее gnoga - хрень для создания веб приложений на аде http://sourceforge.net/projects/gnoga/
[21:16:46] <yeo> :)
[22:27:00] <vgodunko> Из безумных идей - транслятор из Ada в JS
[22:27:14] <subj_rs> да сразу в петон
[22:27:28] <vgodunko> В него не нужен :-)
[22:27:46] <vgodunko> По крайней мере - мне не нужен.
[22:27:52] <subj_rs> а обратно? )
[22:31:57] <vgodunko> А зачем?
[22:32:12] <subj_rs> ну стока либ понаписано)
[22:32:18] <vgodunko> Хочется сделать программу, которая будет в серверной части написана на Ada
[22:32:45] <vgodunko> Но при этом нехилый кусок её будет исполняться на стороне браузера.
[22:33:07] <vgodunko> Варианты: сопровождать два "идентичных" кода: на Ada и JS
[22:33:25] <vgodunko> или же иметь только код на Ada и транслировать его в JS
[22:33:45] <vgodunko> Мне второй вариант очень нравится.
[22:34:06] <vgodunko> Сопровождать JS код "как есть" помоему нереально для серьёзного проекта.
[22:34:31] <vgodunko> А использовать тучу инструментов - ещё и с ними приключения искать.
[22:34:48] <vgodunko> А так - контроль в наших руках.
[22:35:05] <subj_rs> у нас питонидзе сплошные)
[22:35:35] <subj_rs> чота кодят, а чо хз, результатов не видел толком
[22:35:42] <vgodunko> Ну пользователи питона наверное могут нашипеть себе компилятор в JS сами