[08:26:28] <valexey> vlad2: зацени: http://forum.oberoncore.ru/viewtopic.php?p=81051#p81051
[09:08:35] <valexey> .
[09:13:58] <Kemet> valexey: в АО появилась няшная процедура TRACE
[09:19:03] <valexey> а что это? стек вызовов выдает?
[09:29:17] <Kemet> не, эта процедура принимает неограниченное количество переменных простых типов и выводит имя и значение в область трассировки - в файл, на экран ..., отладка сильно упрощается
[09:36:09] <мистический_олень> няшные расширения поверх оберона ;)
[09:39:46] <valexey> Kemet: некий аналог printf'a?
[09:40:27] <Kemet> принтф форматный же, а тут просто список
[09:41:39] <valexey> принтф с предопределенным форматом :-)
[09:41:52] <Kemet> угу
[09:42:42] <Kemet> ви димо парней самих задолбали сложности с отладкой, теперь это поддерживается компилятором
[09:43:32] <valexey> да, когда язык беден, приходится втыкать костыли в компилятор, вместо того, чтобы написать либу :-)
[09:45:24] <valexey> позор в прямом эфире: https://www.youtube.com/watch?v=9jQ_tPm0J2E
[09:47:25] <мистический_олень> кстати у смолтока грамматика много короче обероновой
[09:47:44] <мистический_олень> ибо там все операторы - это один нетерминал
[09:47:55] <мистический_олень> а в обероне - куча нетерминалов
[09:48:13] <мистический_олень> и соотв. парсер у него много проще
[09:48:17] <Kemet> valexey: это стало уже обыяным явлением
[09:48:33] <valexey> но чтобы в прямом эфире на всю страну...
[09:49:17] <valexey> мистический_олень: у динамически типизированных языков обычно грамматика существенно короче языков со статической типизацией.
[09:49:36] <Kemet> valexey: так прогресс не стоит на месте !
[09:50:17] <мистический_олень> я рассматриваю стат.типизацию как некий вариант юнит-тестов
[09:51:44] <valexey> а я рассматриваю стат. типизацию как вариант формальной верификации приложения.
[09:51:49] <мистический_олень> хотя у стат.типовых переменных и констант намного короче RT code flow
[09:52:26] <мистический_олень> юнит тесты это тоже формальная верификация
[09:52:33] <valexey> также стат. типизация документирует код. это полезно и компилятору и человеку читающему код
[09:54:00] <мистический_олень> юнит тесты - это тоже документация
[09:54:12] <valexey> хреновая.
[09:54:17] <мистический_олень> почему. некая
[09:54:48] <valexey> так. ладно. рассуждения это хорошо, но код сам себя не напишет. пойду работать.