[14:33:33] <valexey> https://habr.com/post/433524/
[16:49:27] <Kemet> нинужин
[16:57:05] <Kemet> ну то есть в том виде, как сейчас на нем бизнесы делают. люди не понимают, что если они не вылезут из корпоративного видения, судьба будет такая же как у dec  с alpha. там тоже не понимали, что мир меняется, и корпоративные и академические круги уходят на второй план.
[17:00:10] <geniepro> чойта я не понял -- RISC-V же и так опенсорсный
[17:08:03] <TRUE> а теперь  и мипс опенорсный
[17:10:52] <geniepro> мипс -- архитектура 80-х годов, пора бы уже что-то новое запилить
[17:11:43] <Kemet> geniepro, заголовок у статьи нипаруски
[17:12:21] <Kemet> Поэтому складывается ощущение, что оперсорс против остального мира))
[17:12:54] <Kemet> geniepro, да там нормальная архитекута так- то
[17:13:30] <geniepro> морально устаревшая на фоне того же УВК Самсон, например
[17:13:31] <Kemet> Ну и ты же понимаешь, там разработки не 80-х годов)
[17:13:45] <geniepro> хотя УВК Самсон это тоже 80-е
[17:28:10] <valexey> YBK Samsung?
[17:29:25] <geniepro> valexey: стыдно быть таким малограмотным: http://www.math.spbu.ru/user/ant/history_Samson.pdf
[17:30:02] <valexey> самсунг - знаю. самсонг - нет.
[17:40:45] <geniepro> valexey: теперь знай
[17:40:59] <valexey> не хочу, не буду!
[17:41:11] <geniepro> надо же, вот что значит человек ни разу библию в руках не держал, про библейского самсона не слышал
[17:42:19] <geniepro> Оказалось, что гарантировать корректную работу аппаратуры мы можем только для статических АЯВУ с полным контролем типов в период компиляции таких, как Алгол 68, Паскаль, Модула 2, Ада, но не таких, как С и PL/I. На этих принципах нам удалось создать компактную ЭВМ, мы дали ей имя "Самсон" [8], но не в честь сильного и легковерного библейского героя, а в честь самого большого фонтана у нас в Петродворце.
[17:44:05] <valexey> фигня какая-то
[17:45:16] <geniepro> норм, в ракетных войсках до сих пор юзается эта позднесоветская разработка -- микроэльбрус
[17:46:30] <valexey> нинужна!
[17:46:51] <valexey> я не очень понимаю чем принципиально, с т.з. железки отличается паскакаль от си
[17:49:08] <geniepro> в паскале массивы правильные, ограниченные размером, а не просто куски памяти с указателем, как в сишечке
[17:51:47] <valexey> дык это ж тупо рантайм проверки.
[17:51:59] <valexey> при чем тут статическая типизация вообще?
[18:16:17] <geniepro> valexey: ну у них такая архитектура, что бы убрать рантайм проверки
[18:25:44] <valexey> дык в паскале же ЕСТЬ рантайм проверки!
[18:46:04] <Kemet> Там где гарантировано индекс в диапазоне, проверки не нужны
[18:46:16] <Kemet> Рантаймпроверки
[18:46:50] <valexey> это в циклах с линейным проходом?
[18:47:02] <valexey> таких мест не так то много. так то.
[18:47:13] <geniepro> рантаймпроверки прошлый век! они нинужны!!!
[18:47:34] <Kemet> Это когда массив статический и индекс идвестен на этапе компиляции))
[18:47:35] <geniepro> в паскале есть диапазонные целые числа же
[18:47:59] <geniepro> в паскале зачатки зависимых типов, без арифметики над типами
[18:48:22] <Kemet> Или когда цикл счетчик
[18:50:26] <Kemet> Но там, в общем, говорится о другом, о том, что тип гарантирован, даже если он ссылочный
[18:52:11] <Kemet> Я не помню, в стандартном паскале сильная типизация али как?
[18:52:48] <Kemet> Ну то есть если у нас есть
[18:54:19] <Kemet> type t1 = integer; type t2 = integer;, то переменные этих типов не совместимы
[18:55:46] <valexey> а, то есть существуют ли там реальные типы, или же только алиасы, как в Обероне?
[18:58:36] <Kemet> Да, в дельфи сильная статическая типизация
[18:59:48] <geniepro> Kemet: type в паскале, как и хаскелле, всего лишь синоним для типов, новых типов не вводят
[19:00:01] <geniepro> для новых типов делают что-то типа newtype
[19:00:38] <geniepro> у Вирта были интересные идеи в системе типов паскаля, но он до них так и не дошёл
[19:05:33] <valexey> вот в плюсах с этим всё хорошо. не то что в паскалях каких.
[19:09:59] <geniepro> valexey: плюсы говно же
[19:13:01] <valexey> geniepro: строго типизированное! когда это надо
[19:33:47] <valexey> кстати, про капс. в мире плюсов то тоже баталии идут. юзать капс, или нет
[19:33:58] <valexey> в CmakeLists.txt :-)
[19:34:04] <valexey> раньше всё было капсом
[20:25:29] <Kemet> valexey, капс няшный, сразу видишь, тут чтото важное, раз такие большие буквы, а второстепенное мелким шрифтом)
[20:25:42] <Kemet> Все как в договорах)))
[20:26:05] <valexey> Kemet: это что же, выходит, что в сишных прогах самое важное это макросы?!
[20:26:17] <Kemet> Да
[20:26:46] <Kemet> Ведь без них в це мире нет жизни!
[20:27:11] <valexey> Есть же! Особенно в мире си :-) да и в плюсах тоже.
[20:27:48] <valexey> кстати, реально макросы используются все реже. для них почти полностью отсутствует ниша
[20:28:43] <Kemet> Так хрена ты какой путний проект без них соберешь) они везде! Они размножаются со страшной скоростью
[20:29:23] <valexey> да вроде бы нет. чем дальше, тем их меньше
[20:30:17] <Kemet> Так умирают, без макросов то
[20:31:03] <valexey> хто? как? зачем?
[20:31:13] <valexey> например для констант давно макросы уже не используются
[20:33:38] <Kemet> Проекты умирают, в которых было много макросов. А все почём? Их стало меньше! И это подтверждает теорию о том, что в мире цэ без макросов жизни нет!
[20:34:29] <valexey> без макросов цэ уже не цэ!
[20:35:39] <Kemet> Не хочет ллвм в термуксе собираться(
[20:36:12] <Kemet> Может его нужно специальным образом приготовить
[20:36:45] <Kemet> Ведь бинари то ставятся и работают
[20:37:14] <valexey> а каким боком термукс к ллвм?
[20:37:33] <Kemet> Так ллвм там работает
[20:37:53] <valexey> o_O
[20:38:04] <valexey> llvm же пофигу на эмуляторы терминала
[20:38:28] <Kemet> Раньше и гцц ставился, сейчас в новой версии пока нету
[20:40:40] <Kemet> Ну то есть я вполне  в телефоне разработкой занимался, в термуксе и гиты всякие с себярсионкми и компиляторы, все рабоатет
[20:41:29] <Kemet> Ну или на планшете, штука удобная