[00:01:34] <_valexey_> vlad2: пулреквест видел?
[00:01:46] <vlad2> Не-а.
[00:02:49] <vlad2> А тест где? ;)
[00:03:02] <vlad2> Там был тест на зарезервированные слова.
[00:08:05] <kpmý> .lem
[00:08:09] <тихий бот> kpmý, Земля подвергается нашествию маленьких роботов которые отлично понимают нас и являются радиоактивными и могут быть уничтожены толпой парней с факелами.
[00:09:23] <vаlexey> vlad2: упс. про тест забыл :-)
[00:10:42] <vlad2> Вот: https://github.com/vladfolts/oberonjs/blob/master/test/input/js_keyword.ob
[00:11:07] <vаlexey> да, тест я видел. поправить забыл
[00:11:26] <vаlexey> (а у себя я вообще уже скомпиленный компилятор правил живьем) :-)
[00:11:53] <vlad2> Да, я тоже так делал, ощущения экстрима!
[00:12:33] <vаlexey> кстати, при сборке некоторого кода выхлоп у компилятора получается не больше чем оберонокода на вход подают
[00:12:44] <vаlexey> то есть с т.з. объема компилит он довольно эффективно :-)
[00:13:00] <vаlexey> ну, или это оберон не эффективен (многословен) относительно js ;-)
[00:15:51] <kpmý> http://thedeemon.livejournal.com/87191.html
[00:18:46] <vаlexey> компиляция в баткод и в натив - таки две разные задачи
[00:19:04] <vаlexey> да еще через gcc и линкер
[00:24:01] <kpmý> ну в общем статья про то, что люди реально замечают, когда компилер компилит быстро
[00:24:18] <kpmý> просто в 21-м веке для них это удивительно и странно
[00:24:21] <vаlexey> скорее они реально замечают когда он работает ООООчень медленно
[00:24:34] <kpmý> вон куда завели индустрию умники
[00:24:38] <vаlexey> ибо 500 строк 30 секунд - это за гранью добра и зла
[00:25:09] <vаlexey> завели индустрию туда, что народ стал удивляться если проект компилится долго? ;-) по моему. в правильное место завели :-)
[00:27:18] <vаlexey> этот адский велосипед из 30 секундный... хз как его можно было написать чтобы 500 строк 30 секунд..
[00:27:29] <vаlexey> хотя, там зависимые типы... это многое объясняет
[00:27:40] <vаlexey> можно считать что это вместо прогона тонны тестов
[00:28:54] <geniepro> если в программе есть зависимые типы, то время компиляции может стать бесконечным -- такие типы тьюринг-полны же, там такие вычисления можно навернуть во время компиляции...
[00:29:18] <vlad2> Это еще в плюсах делали на шаблонах.
[00:29:40] <vlad2> В книжке по mpl даже сводные графики для разных компиляторов приводили: время инстанциации
[00:29:40] <vаlexey> ну, в плюсах таки бесконечности нет. ибо глубина инстанцирования ограничена
[00:29:57] <vlad2> и отжираемая помять
[00:30:13] <vаlexey> но в плюсах таки не зависимые типы.
[00:30:46] <vlad2> Неважно :) В 500 строк можно засунуть достаточно, чтоб компилятр свихнулся :)
[00:30:55] <vаlexey> это да :-)
[00:31:15] <vаlexey> а вообще, обычно же в плюсах бОльшую часть времени занимает компоновка
[00:34:18] <vаlexey> vlad2: Виртов компилятор компиляется за 0.4 секунды :-)
[00:34:20] <vаlexey> у меня
[00:41:02] <vlad2> Э... На чем?
[00:41:02] <vаlexey> что, IMHO, достаточно шустро ;-)
[00:41:24] <vаlexey> vlad2: на ноуте :-) компиляет наш любимый oberonjs
[00:42:03] <vаlexey> из sublime
[00:42:20] <vlad2> Или ты его с помощью oberonjs заставил?
[00:42:22] <vlad2> Вау!
[00:42:31] <vlad2> Да, неплохо.
[00:42:55] <vlad2> А как же SYSTEM и прочие расшиения?
[00:43:24] <vаlexey> ну, LONGINT заменяется на INTEGER
[00:43:44] <vаlexey> А SYSTEM компилятору на самом деле не нужен совсем, то есть нафига Вирт его туда воткнул - хз
[00:43:57] <vаlexey> он даже банально вместо того, чтобы пользовать ORD использует SYSTEM.VAL
[00:44:02] <vаlexey> нафига, спрашивается?
[00:44:43] <vаlexey> то есть эти вещи вполне заменяются.
[00:45:38] <vlad2> А. Круто!
[00:45:55] <vаlexey> Вирт пишет вполне в Си-стиле, компилятор этот :-)
[00:46:10] <vаlexey> Надо придумать как кошерней его кормить исходниками и как из него выхлоп получать
[00:46:25] <vаlexey> ибо оттестировать надо
[00:46:41] <vаlexey> так что если все удастся, то будет пруф :-)
[00:47:13] <vlad2> Угу.
[00:47:58] <vаlexey> ладно, пойду собираться. а то у меня самолет сегодня
[00:49:11] <vlad2> Куда?
[00:49:49] <vаlexey> в Россию
[00:50:28] <vаlexey> сложно присутствовать на конференции в Москве, не приехав в Россию :-)
[01:37:08] <vlad2> Сишный switch не перестает удивлять. Даже после стольких лет.
[01:37:12] <vlad2> Вот это компилируется:
[01:37:48] <vlad2> switch (x)
{
case y:
   break;

some_code;
break;
}
[01:38:11] <vlad2> Вирт плачет.
[01:58:43] <vаlexey> кровавыми слезами :-)
[01:58:58] <vаlexey> а почему оно не должно компиляться? ;-) вполне в сишную идеалогию вписывается :-)
[02:05:14] <vаlexey> вообще, сколь я понимаю, в Си switch/case это просто такая форма области с goto с вычисляемыми метками
[02:05:47] <vаlexey> ну, то есть в Си обычно switch/case не по назначению используется :-D
[02:30:36] <vlad2> В итоге просто выкинул этот some_code.
[02:36:25] <vаlexey> ты безжалостен!
[02:56:24] <vlad2> Даже не стал смотреть по кто накосячил.
[07:46:26] <_valexey_> Готовимся взлететь на воздух :-)
[08:47:23] <geniepro> http://www.marsohod.org/index.php/projects/marsohod2/276-2014-09-04-09-57-27
[09:13:10] <geniepro> говорят неплохое введение в зависимые типы: http://www.cs.ru.nl/~herman/PUBS/IntroTT.pdf
[09:34:58] <geniepro> http://metaclass.livejournal.com/890771.html
[12:59:34] <kpmý> http://jackf.net/bezier-clock/
[13:11:45] <acidtech23> да, на хабре есть про это
[19:31:07] <_valexey_> Vlad2: я пришел к тебе с приветом, рассказать что солнце встало!
[19:31:27] <_valexey_> Я тут кучку багов в компиляторе нарыл пока летел
[19:31:56] <_valexey_> Например у тебя repeat until имеет семантику do while
[19:32:20] <_valexey_> Что работает в точности наоборот :-)
[19:32:42] <vlad2> Хе-хе :)
[19:32:46] <_valexey_> Также строковые литералы не терминированы нулем
[19:33:09] <_valexey_> И еще есть горка багов которые я пока осмыслить не могу :-)
[19:33:12] <vlad2> Это как?
[19:33:26] <vlad2> Когда в масси копируются?
[19:33:27] <_valexey_> У меня посадка в очередной самолет через 15 минут
[19:33:59] <_valexey_> Нет, когда аргументом в функцию идут, тип аргумента - открытый массив чаров
[19:34:29] <vlad2> И нафига там ноль?
[19:34:37] <vlad2> В репорте есть?
[19:34:58] <vlad2> Если в репорте четко не сказано - то нафиг.
[19:35:09] <_valexey_> Иначе функция для обработки строк должны оба варианта смотреть
[19:35:27] <vlad2> Функцтт для обработки строк нули не нужны.
[19:35:29] <_valexey_> В частности у тебя криво работало в раниайме сравнение строк
[19:35:53] <_valexey_> Пришлось править
[19:35:57] <_valexey_> Рантайм
[19:36:01] <_valexey_> Rtl
[19:36:17] <_valexey_> Так, я сажусь на самолет
[19:36:18] <vlad2> Ну может.
[19:36:21] <vlad2> Удачи!
[19:36:28] <_valexey_> Сейчас связь кончится
[19:36:37] <_valexey_> Спасибо :-)
[20:07:55] <kpmý> связь пропала как с малазийским бортом
[22:23:25] <geniepro> kpmý: дык он на нём и летит небось ))
[22:29:08] <Jordan> Племяннице купил пару дисков с мультиками. Говорю, у меня есть для тебя подарок и протягиваю диски. Она на них так помотрела и говорит. Это не подарок!
[22:50:16] <geniepro> Jordan: )) а какие мульты-то хоть? )
[22:50:22] <geniepro> и скока ей лет?
[22:50:43] <Jordan> мульт ральф и пару дисков смешариков.
[22:50:59] <Jordan> 5 лет
[22:51:47] <Jordan> 5 с половиной точнее
[22:54:14] <Jordan> Сейчас проще всё в интернете скачать, чем покупать. Потому и такая реакция. В компах соображает уже с 3,5 лет. Телефоны, планшеты. Всё понимает.
[22:57:59] <Jordan> Первый раз когда включил ей на компе, в эмуляторе сеговские игры. Еле от джостика оторвал. Всё кричала, хочу играть в гномиков. Игра вроде об астериксе.
[23:46:27] <_valexey_> Не дождетесь!
[23:46:43] <_valexey_> :-)
[23:52:28] <_valexey_> /me прилетел
[23:56:41] <ilovb> _valexey_: Прошиваю плату из исходников

[23:56:45] <ilovb> это жесть
[23:56:50] <ilovb> нихера не работает
[23:58:01] <_valexey_> Не собирается?
[23:58:15] <_valexey_> А смысл из исходников собирать?
[23:58:25] <ilovb> у меня крыса не пашет
[23:58:42] <ilovb> думаю что таки тот пром на B1 сделан
[23:58:50] <_valexey_> Думаешь это из за шитья?
[23:58:55] <ilovb> я ведь купил мультиметр блеать
[23:58:58] <ilovb> все проверил
[23:59:02] <_valexey_> Нет, он на а2
[23:59:04] <ilovb> спаяно все правильно
[23:59:13] <_valexey_> Я же тем же шился
[23:59:18] <ilovb> Ты же 1000 прошивал
[23:59:21] <ilovb> а у меня 200
[23:59:27] <ilovb> другой образ
[23:59:35] <_valexey_> А они не из одних исходников?
[23:59:41] <ilovb> хз
[23:59:48] <ilovb> вот и хочу сам собрать
[23:59:55] <_valexey_> Там только число вентилей разное и объем флегма