[10:37:07] <Kemet> _valexey_, Ну эта часть и называется system, ядро + небольшая обвязка
[10:39:29] <_valexey_> Kemet: а примеры - тоже систем? :-)
[10:40:03] <_valexey_> То есть, что тогда в проекте оберон не System?
[10:40:25] <Kemet> _valexey_, Так примеры это не совсем прожект
[10:41:22] <_valexey_> Ага. Получается, что все что прожект это систем, а что там не систем, то не прожект? :-)
[10:42:05] <TRUE> валексей, новенький в чате. Добавь его.
[10:42:28] <_valexey_> TRUE: через 40 минут смогу
[10:42:41] <Kemet> _valexey_, Ну зайди на сайт прожекта и там есть архив system, здесь есть ассерты,  ес ь другие части итвм нет а сертов
[10:43:59] <_valexey_> TRUE: вроде добавил на этот визит
[10:44:20] <_valexey_> Теперь может писать. Скорее всего :-)
[10:44:32] <_valexey_> Kemet: гляну :-)
[10:44:43] <Kemet> А что теперь в конфу фиг попадешь?
[10:45:20] <TRUE> фиг напишешь. А попасть и читать может любой.
[10:45:45] <_valexey_> И написать модеру в личку можно
[10:45:56] <_valexey_> Kemet:  https://people.inf.ethz.ch/wirth/ProjectOberon/index.html
[10:46:06] <_valexey_> Кто тут систем, а кто нет?
[10:46:51] <Kemet> _valexey_, На сайте прожекта смотри
[10:47:00] <TRUE> а зачем так было сделано. Прецедентов же не было, вроде.
[10:47:15] <_valexey_> TRUE: было.
[10:47:32] <TRUE> спамили?
[10:47:44] <_valexey_> Да
[10:48:19] <_valexey_> Чтобы уменьшить спам, пришлось прятать конфу. Сейчас она в списке есть.
[10:48:47] <_valexey_> Kemet: дык сайт прожекта не официальный :-)
[10:48:59] <_valexey_> Я бы полагался на сайт вирта и книгу.
[10:51:04] <Kemet> _valexey_, че он неофицтальный, если там компаньон Вирта. к тому же это не важно, важно что там правильное разбиение на пакеты, оно примернр так и раньше былр с разными оберонсистемами, включая а2
[10:51:37] <_valexey_> Ну, ок. С компа гляну.
[10:52:52] <Kemet> _valexey_, Адрес не помню, чтото вроде projectoberon.com
[10:53:04] <_valexey_> Да я помню
[10:57:30] <Kemet> test java-java
[10:57:51] <Kemet> Test
[10:57:52] <Жаба> Kemet, passed
[10:58:22] <java-java> приве
[10:59:25] <Kemet> Здарова
[11:00:49] <_valexey_> О! Живой человек!
[11:03:01] <_valexey_> Привет-привет :-)
[11:03:14] <_valexey_> version
[11:03:15] <Жаба> _valexey_,  you have Talkonaut 5.95 on iPhone 7.1.2
[11:03:30] <Kemet> _valexey_, Видимо не очень))
[11:03:32] <_valexey_> version java-java
[11:03:32] <Жаба> _valexey_, java-java have Gajim 0.16.5 on Linux Mint 18.2 Sonya
[11:06:26] <Kemet> java-java, Проблемы?
[11:21:48] <metacore> Version
[11:22:46] <Kemet> version
[11:22:47] <Жаба> Kemet,  you have Talkonaut 5.70.92 on java2me
[11:24:09] <_valexey_> Сплошные талконаффты :-)
[11:25:00] <Kemet> Главное что не алконавты )
[11:25:39] <_valexey_> ;-)
[11:28:31] <Kemet> Лан, пока, свалил работу работать, появятся красивые девочки - завите, у меня хенесси стынет)
[11:32:15] <java-java> никаких проблем)
[11:32:50] <java-java> я живой. да
[11:34:13] <valexey> точно не зомби? :-)
[11:44:36] <valexey> Kemet: на сайте projectoberon есть ровно одно слово System, и это про конкретный модуль.
[11:45:12] <valexey> Ты то что под системом подразумевал?
Inner Core Source?
Outer Core Source?
Tools & Fonts?
[11:45:17] <valexey> вроде больше ничего там и нет
[11:52:10] <Kemet> valexey, не помню, там первый пункт в левом верхнем углу
[11:52:43] <valexey> http://www.projectoberon.com/
[11:52:47] <valexey> не вижу
[11:57:45] <Kemet> valexey, Там же еще компилятор есть, он же часть прожекта, но и в нем нет ассертов
[11:58:10] <valexey> ну, компилятор особником всегда
[11:59:04] <Kemet> Но сайт там конечно показательный))
[11:59:38] <valexey> ы?
[12:00:19] <valexey> А, или ты под System имел в виду всю операционку? Ака The Oberon System?
[12:00:31] <valexey> со шрифтами там, тулами и всем прочим
[12:02:48] <valexey> тогда ответ прост - всей остальных исходников, за пределами Oberon System, там ну очень мало
[12:02:59] <valexey> просто потому, что проект - он про операционку таки :-)
[12:04:51] <Kemet> valexey, прожек это вся хренотень, а ассертв только в ядре оберон5 и некотором обрамлении, наверно это то что там inner core + частично outer core.
[12:05:43] <valexey> короче, вопрос терминологии. но факт что Вирт использует ASSERT
[12:05:50] <valexey> Просто потому. что теперь нет HALT'a :-)
[12:06:00] <valexey> Он либо то либо это юзает
[12:06:21] <valexey> Ну и понятно что без того и этого он жить таки может. Особенно в прикладухе.
[12:07:46] <valexey> использование ASSERTа - это лебединая песня системы поиска и обработки ошибок в статически типизированном языке.
[12:07:49] <Kemet>
Ну халт штука интересная, так как принимает целочисленный аргумент -как раз квалификатор исключения, ну ьо есть номер трапа
[12:09:51] <valexey> да, ассерт в этом плане ущербный какой-то. то есть, наверно, предполагается что рантайм должен самостоятельно предоставить достаточно информации для разбора полетов в случае ассерта
[12:10:02] <valexey> то есть вплоть до строчки кода и состояния системы
[12:10:22] <valexey> а халт - это типо когда рантайм ничего не может, так что только и остается что вывести чиселку что в халте записана
[12:11:35] <Kemet> valexey, Так понятно, что может жить, зачк  ему ассерты, если он пишет по принципу вот 31 символ идентификатора прочитаем, а остальное не ошибка, просто незначащие символы, пропустим их
[12:11:52] <valexey> :-)
[12:12:04] <valexey> ну, у него лично никогда длинных идентификаторов не было :-)
[12:13:28] <valexey> а если вдруг будут - да статическая типизация небось отловит!
[12:13:30] <valexey> может быть
[12:13:32] <valexey> если повезет
[12:15:01] <Kemet> valexey, Ассерт и халт в итоге выводят одно и тоже, тот же стек вызовов и о ладочную инфц, просто у ассерта свой номер трапа и падпись что сработал ассерт, а в остальном одно и тоде, в итоге одна процедура обрабатывает
[12:15:35] <valexey> ну, халта в оберон репорте теперь нет
[12:15:39] <valexey> но небось есть в реализации оси
[12:16:48] <Kemet> valexey, Нету, но в о2 и ао есть
[12:17:32] <valexey> и в КП небось есть
[12:17:45] <valexey> хотя, в КП вроде и ассерт с номером
[12:17:47] <valexey> если не путаю
[12:18:21] <Kemet> valexey, Потому и нет теперь что вроде как лишняя сучность, в ао ассерт также может принимать целый необязательный параметп
[12:19:41] <valexey> угу
[12:19:53] <valexey> блин. что вот мешало в Обероне также сделать? Который последний.
[12:19:58] <valexey> Ну вот удобней же было бы.
[12:20:02] <Kemet> Раньше в ао ассерт мог принимать необязат параметр как числовой так и текстовый, но феликс текстовый выпилил
[12:20:20] <valexey> а о строке с описанием ошибки в ассерте, я даже и не мечтаю..
[12:20:29] <valexey> чтобы значится сразу было юзеру понятно что не срослось
[12:22:07] <Kemet> А . ассерт и халт могли строку пр нимать, теперь только число
[12:22:18] <valexey> :-/
[12:22:22] <valexey> чоэто они?
[12:27:06] <Kemet> valexey, Хз, но так то оно вроде в старом варианте обработчика осталось, просто в компиляторе нема
[12:28:02] <valexey> О! На хабре про Аду: https://habrahabr.ru/company/pvs-studio/blog/329270/
[12:28:12] <valexey> точнее про поиск ошибок. перевод статьи
[12:28:23] <valexey> еще точнее - про написание чекеров для статического анализатора
[12:31:40] <valexey> кстати, для оберонов что-то подобное вообще есть?
[12:31:54] <valexey> наверняка же кто-то очередной дисер на эту тему должен был сделать :-)
[12:33:07] <Kemet> valexey, не видел такого
[13:00:18] <valexey> надо будет для плюсцов попробовать чекер написать кастомный
[14:42:59] <Kemet> valexey, Этожнада кастомный парсер писать
[14:43:27] <_valexey_> Где?
[14:45:51] <_valexey_> И зачем?
[14:54:49] <Kemet> _valexey_, А как ты анализатор делать будешь?
[14:55:55] <_valexey_> Ты про плюсы сейчас, или оберон?
[14:57:05] <Kemet> _valexey_, Ты же для плюсцов собрался делать
[14:57:18] <_valexey_> Угу
[14:57:28] <_valexey_> Дык в clang де все есть
[14:57:37] <_valexey_> Это плагинабельная система.
[14:58:51] <Kemet> _valexey_, Так там и анализатор есть
[14:59:23] <_valexey_> Вот к нему чекеры и можно писать
[14:59:38] <_valexey_> Он же состоит из ядра и уймы чекеров
[14:59:51] <_valexey_> Вот свой чекер написать
[15:00:09] <_valexey_> Никто давно монолитные компиляторы и тулзы не делает :-)
[17:11:31] <valexey__> http://s00.yaplakal.com/pics/pics_original/2/9/4/9335492.jpg
[17:32:04] <Kemet> version
[17:32:07] <Жаба> Kemet,  you have Instantbird 1.5 (libpurple 2.10.7) on
[17:43:17] <Kemet> феликс запилил в а2 Generational Garbage Collection
[18:21:57] <valexey> Kemet: не против ли этого выступали оберонкоровцы? Вроде бы говорили, что такой мусорщик оберону как раз не нужен
[18:22:11] <valexey> за счет того, что оберон сильно меньше мусорит мелкими объектами
[19:39:20] <Kemet> valexey, Ну в а2 много мелкого мусора так какнапример  секвенсор гуйни сообщения по куче гоняет
[19:41:19] <Kemet> А в гуйне сообщений как ты понимаешь дохрена
[19:50:25] <Kemet> valexey, Но может всё ещё проще - новый учебный год и нужно учить всевозможный типам сборщика, а инструмеет менять не хочется