forum.opennet.ru

Форум Разговоры, обсуждение новостей
Вариант для распечатки		Пред. тема \| След. тема
Режим отображения отдельной подветви беседы		[ Отслеживать ]

Оглавление

Instagram открыл код MonkeyType, системы аннотации типов для..., opennews (??), 22-Дек-17, (0) [смотреть все]

Жаль что эти аннотации не проверяются в debug-рантайме Или уже запилили , Аноним (-), 11:57 , 22-Дек-17, (1) +2 //

Есть библиотеки, которые на основе аннотаций строят дополнительные проверки вход, Аноним (-), 19:24 , 25-Дек-17, (140)

сначала долго объясняли преимущества динамической типизации, уверяя, что она не , Аноним (-), 12:51 , 22-Дек-17, (3) +5 //

потому динамическая типизация постоянная попоболь ибо никогда нельзя доверять, анонимбр (?), 12:53 , 22-Дек-17, (5) +2 //

Ломание кода - проблема организации процесса разработки, а не языков Нужны юн, Undefined (?), 14:25 , 22-Дек-17, (11) //

1 Баг, пойманный на ревью или тестами всё ещё дороже бага, пойманного на этвпе , Crazy Alex (ok), 16:20 , 22-Дек-17, (18) +10

если вы позволяете разработчику публиковать код для review до того как пройдут х, Аноним (-), 16:45 , 22-Дек-17, (22) –1

Это вам примерещилось что-то 1 для динамики приходится писать больше тестов для, Crazy Alex (ok), 19:24 , 22-Дек-17, (41) +5

Можно Например так cat warm_plus_soft py class Warm object def __init__ , M i M (?), 17:28 , 22-Дек-17, (27) +2

Ох лол Если предусмотреть возможность сложения тёплого с мягким, то конечно мож, Аноним (-), 21:46 , 22-Дек-17, (52)
Можно, но не нужно изобретать квадратные колеса, анонимбр (?), 20:14 , 23-Дек-17, (97)

Работал я как-то на большом и нагруженном питон-проекте В итоге дошло до того ч, qsdg (ok), 21:07 , 22-Дек-17, (49) +2

Вот и мне это осточертело Плюс для автодополнения в IDE все равно нужен тип, но, анонимбр (?), 20:13 , 23-Дек-17, (96)

Это как бы давно очевидно Шутка с Питоном в том, что его активно внедрять стали, Vkni (ok), 17:30 , 22-Дек-17, (28) //

Индустрии не подошла сложность ML-языков Она, чёрт возьми, индустрия, ей надо м, Crazy Alex (ok), 19:29 , 22-Дек-17, (42)
Вот ни хрена в ML ах нету той же самой гибкости 1 Перегрузки нет В OCaml е хоч, Ф (?), 00:47 , 23-Дек-17, (59) +1

1 Да, по-хорошему, нужны классы типов 2 Для этого есть модули 3 Совершенно не, Vkni (ok), 05:56 , 27-Дек-17, (142)

1 Классы типов - хитрая штука, и ни разу не замена питону В ML ях хотя бы было, Ф (?), 12:50 , 28-Дек-17, (143)

Не Классы типов, если нормально написаны, это свойство практически не рушат Кр, Vkni (ok), 07:54 , 29-Дек-17, (144)

Умные программисты встречаются весьма редко, а делать и продавать гoвнoпродукт н, Anonymoustus (ok), 02:55 , 23-Дек-17, (64) +2

Очень интересно, какие хипстерские фреймворки и в каком самолете были использова, Аноним (-), 04:10 , 23-Дек-17, (70)
В целом согласен, но про самолёты хотелось бы пруфов , Аноним (-), 13:19 , 23-Дек-17, (80)

Он ошибся, не самолеты а спутники , Аноним (-), 13:42 , 23-Дек-17, (81)

Не ошибся, просто привёл в пример первое пришедшее на ум Так-то эта проблема им, Anonymoustus (ok), 14:55 , 23-Дек-17, (83)

Чтобы умничать - надо хоть немного разбираться как это устроено Что такое CAN и, Аноним (-), 18:38 , 23-Дек-17, (90) +1

https www viva64 com ru b 0439 Распедальте несведущим читателям, что на чём и , Anonymoustus (ok), 20:33 , 23-Дек-17, (98) –1

И где в твоей рекламной ссылке написано про модные фреймворки, Linux, QNX или б, Аноним (-), 21:30 , 23-Дек-17, (102)
Там висят рассуждизмы и реклама Дяденька, у меня QNX вотпрямща в виртуалке запущ, Аноним (-), 22:09 , 23-Дек-17, (103)

Пофисил, не стоит благодарности Нет таких интуитивных человеческих рефлексов , Анонимм (??), 22:29 , 23-Дек-17, (105)

Это нормальное поведение обычного индивида - если надо резко тормозить, значит н, Аноним (-), 00:40 , 24-Дек-17, (116)

Тут все дело в том, что на достаточно сыпучем грунте перед заблокированными коле, Анонимм (??), 01:21 , 24-Дек-17, (119)

Большинство автомобилистов предпочитает ездить по асфальту или какому-то его под, Аноним (-), 02:42 , 24-Дек-17, (128)
Согласен Снег ведь всегда убирают вовремя, а за МКАДом жизни нет Или автомобил, Аноним (-), 05:39 , 24-Дек-17, (130)
Представляешь, по умолчанию предполагается что автомобили ездят по асфальту Бол, Аноним (-), 21:27 , 24-Дек-17, (138)

Не интересовался данным вопросом, но уверен, что тормоза и рулевое вообще не сид, лютый жабист__ (?), 01:31 , 24-Дек-17, (121) –1

Ничуть В авто с ABS и контролем курсовой устойчивости через CAN связаны тормоза, Аноним (-), 02:15 , 24-Дек-17, (125)

Пещерные чудаки с тазиками никак не могут взять в толк что мир изменился и архит, Аноним (-), 02:40 , 24-Дек-17, (127)

Чувак на хабре довольно основательно разреверсил свою машину и подробно описал т, Аноним (-), 02:35 , 24-Дек-17, (126)

Сперва хотел ответить, что легко гуглится, но это в самом деле не та тема, котор, Anonymoustus (ok), 14:48 , 23-Дек-17, (82)

А можно взять и сделать иначе - МК для низкоуровневого управления и обработки ср, Аноним (-), 00:56 , 24-Дек-17, (117) +1
Покажи-ка такой станок не собранный Васяном в гараже, а за миллион долларов , к, Аноним (-), 12:58 , 24-Дек-17, (132)

Вот ещё из коментов к статьям по ссылкам, что я написал http www-users math u, Anonymoustus (ok), 16:23 , 23-Дек-17, (86)

Просто софт стал сложнее Как и везде, с ростом масштабов увеличивается процент р, Crazy Alex (ok), 16:24 , 22-Дек-17, (20) //

SML Ocaml же , Vkni (ok), 17:32 , 22-Дек-17, (29) //

Шутишь, да Так и представил себе всех этих миддлов, клепающих на окамле Вот , Crazy Alex (ok), 19:30 , 22-Дек-17, (43)

А что там такого сложного Особенно после SICP Вот, скажем, Введение в Стандар, Vkni (ok), 01:54 , 24-Дек-17, (122)

Когти в клавиатуре застряли - Хотя можно и дядюшку Фрейда приплести - гнусная , Crazy Alex (ok), 19:32 , 22-Дек-17, (44)

И то, и другое, кстати, более чем естественно - С другой стороны, есть минима, Vkni (ok), 23:56 , 23-Дек-17, (112)

Самое время задаться вопросом почему Автомобили, самолёты, сложнейшие станки, о, Anonymoustus (ok), 15:12 , 23-Дек-17, (84) //

Почему палку-копалку заменили более сложной лопатой А потом и самосвалы с экска, Аноним (-), 19:42 , 23-Дек-17, (93)

Оно и видно, дружок, что ты не знаешь о том, что Cx 0,18 то есть практически до, Anonymoustus (ok), 20:49 , 23-Дек-17, (101)

А теперь вопрос на миллион попробуй это чудо массово произвести по технологиям , Аноним (-), 22:22 , 23-Дек-17, (104)
Чё Ты хоть читал статью, на которую ссылаешься Ничего эти диды не сделали, они, Ordu (ok), 22:46 , 23-Дек-17, (108)

А сейчас на си пишут даже фирмвари для микроконтроллеров И даже железо порой си, Аноним (-), 01:07 , 24-Дек-17, (118)
Вообще-то всё было не так Дело происходило уже после того, как Bell Labs прекра, Аноним (-), 13:17 , 24-Дек-17, (133)

Освежил память педивикией -- да, ты прав Именно так и было Заказ был спущен св, Ordu (ok), 13:38 , 24-Дек-17, (134)

Что за бред Юникс переписали на C, чтобы обеспечить портируемость ядра и софта , black fang (?), 17:12 , 24-Дек-17, (135)

Ты думаешь, что хипстерство определяется целями человека Ты не прав, хипстерств, Ordu (ok), 18:03 , 24-Дек-17, (136)
Все течет, все меняется Насчет си врать не буду, но натыкался на списки рассы, Аноним84701 (ok), 18:52 , 24-Дек-17, (137)

Боюсь, PDP не был никогда на острие рокет саенса Это же рабочая лошадка , Vkni (ok), 23:58 , 23-Дек-17, (113) +1

а потом обнаружили что вебмакаки постоянно присваивают что попало как попало и о, Аноним (-), 02:09 , 23-Дек-17, (60) +2 //

Да-да, это вебмакаки написали шестой перл, третий питон, системду и Windows 10 П, Anonymoustus (ok), 03:02 , 23-Дек-17, (65) –1 //

Машина должна работать, а человек - думать Принцип IBM Если его усвоили даже м, Аноним (-), 04:21 , 23-Дек-17, (71) +1

Что-то многие знания и жизненный опыт мне подсказывает, что горе-админ, прилож, Anonymoustus (ok), 10:14 , 23-Дек-17, (77)

А что, эникейщики уже научились цунами запускать Тогда пора строить хижину в го, Аноним (-), 19:01 , 23-Дек-17, (91) +2

Так это утопил флотилию спутников, дитя ЕГЭ , Anonymoustus (ok), 20:40 , 23-Дек-17, (100) –2

Это дедушки которые это кодили вымерли, видимо не очень утруждая себя проектной , Аноним (-), 22:30 , 23-Дек-17, (106) +2

Мир, вообще-то, не ограничен вашими виртуальными представлениями о вещах, но сил, Anonymoustus (ok), 15:16 , 23-Дек-17, (85) +2

А миллион мартышек с палкой-копалкой могут заменить экскаватор Мы изменили все , Аноним (-), 19:28 , 23-Дек-17, (92)

Какой гиперактивный аноним Так что конкретно ты сделал, дружок, для всеобщего с, Anonymoustus (ok), 20:36 , 23-Дек-17, (99) –2

Я освоил CADы и научился запиливать разные интересные вещицы, на Linux и не толь, Аноним (-), 22:37 , 23-Дек-17, (107)

Гы Только в теории и мечтах юных нагибаторов Потому что на практике из-за стресс, Анонимм (??), 23:30 , 23-Дек-17, (110)

В тестах дохраналиона автомобильных изданий Но ABS это недостаточно хардкорно, , Аноним (-), 01:26 , 24-Дек-17, (120)

Сколько экспрессии и эмоций Ух Хотите рассказать мне, насколько вкусны апельси, Анонимм (??), 05:22 , 24-Дек-17, (129)

Тогда в чем проблемы Хочется потроллить Или посмотреть на мир где всякие нубы , Аноним (-), 23:30 , 24-Дек-17, (139)

Казалось бы, причем тут вообще системда Но нет, кто о чем, а сектанты все норов, Аноним (-), 17:49 , 23-Дек-17, (87) +1

Об этом расскажут коллеги из фирмы Pengutronix Которые грамотно попросили в сис, Аноним (-), 02:13 , 24-Дек-17, (124)

Не понятно только на фига тогда писать на Python, если нужна статическая типизац, анонимбр (?), 12:52 , 22-Дек-17, (4) //

Парсер JSON там хороший , Аноним (-), 13:26 , 22-Дек-17, (7) //

Так и знал, что все преимущества бидона заключаются в чём-то подобном , Аноним (-), 19:57 , 22-Дек-17, (47) +1
Ну уж этого добра везде хватает , Vkni (ok), 23:59 , 23-Дек-17, (114)

Да так же, как у мордокниги с похапе сначала понакодили миллионы строк, потом з, Аноним (-), 14:03 , 22-Дек-17, (10) –3 //

так ведь инстаграмм принадлежит мордокниге , Аноним (-), 18:18 , 22-Дек-17, (34) //

То-то у меня дежавю , Аноним (-), 20:48 , 22-Дек-17, (48)
Они его купили уже когда инстаграм был оче популярным , Аноним (-), 21:53 , 22-Дек-17, (54)
так и то и другое поначалу было сделано в хипстерском стиле, а когда взлетело - , Аноним (-), 02:13 , 23-Дек-17, (61)

Потому что им нужен был быстрый MVP minimal valuable product На скриптовых я, Василий Топоров (?), 17:13 , 22-Дек-17, (25)
В условиях стартапа статические языки не рентабельны , Аноним (-), 19:15 , 22-Дек-17, (39) //

Ну я работал в стартапах и поднимал стартапы Скорость написания одна и та же, н, qsdg (ok), 21:24 , 22-Дек-17, (50) +1 //

Эпичное неосиляторство , Аноним (-), 22:43 , 22-Дек-17, (56) –2
Боже, и ведь эти люди нынче пишут системный софт и прошивки для промышленных АСУ, Anonymoustus (ok), 03:08 , 23-Дек-17, (66) +5

Ну, блин, ты же не написал системный софт, прошивки и АСУ правильно Пришлось др, Аноним (-), 04:24 , 23-Дек-17, (72)

Пусть вас такие же врачи лечат, которые 171 уж как умеют 187 Что, уже калеч, Anonymoustus (ok), 10:18 , 23-Дек-17, (78) +2

Они так и лечат, собственно Что в пределах возможностей - то и делают А ты мож, Аноним (-), 19:48 , 23-Дек-17, (94)

Посмотрел на заголовок, угадал лицензию Молодцы Вторая компания за неделю, кот, Аноним (-), 13:01 , 22-Дек-17, (6) –12 //

Всё таки не зря я обращаю на это внимание Люди начинают понимать какие лицензии, Тот_Самый_Анонимус (?), 18:30 , 22-Дек-17, (36) –5 //

В стаде monkey послышались возбужденные голоса , Аноним (-), 04:25 , 23-Дек-17, (73) +3 //

Ого monkey умеют жать минус , Stop (?), 07:12 , 24-Дек-17, (131)

Статическая типизация не нужна, говорили они Динамическая типизация ускоряет и у, Пользователь Debian (?), 13:44 , 22-Дек-17, (8) +4 //

Так не врали же Про поддержку rовн чужого кода никто не заикался , Аноним (-), 17:01 , 22-Дек-17, (24) +3 //

своего тоже Разработал и забил зато быстро, да , пох (?), 18:02 , 22-Дек-17, (33)

Ага, то же самое говорили про Schemaless в база данных А по факту получилось ч, qsdg (ok), 21:28 , 22-Дек-17, (51) +1 //

Ты в любом случае будешь поддерживать схему сам, ибо искуственный интеллект кото, Аноним (-), 04:25 , 23-Дек-17, (74)

Что только люди ни делают, лишь бы на C C не писать , Аноним (-), 13:51 , 22-Дек-17, (9) +1 //

показывай свой код на c c , трепло, Аноним (-), 14:46 , 22-Дек-17, (13) //

Что, ты искренне считаешь, что писать код на Си могут лишь избранные и Аноним лж, A.Stahl (ok), 15:10 , 22-Дек-17, (15) +4 //

Но не все потом смогут на этот код смотреть так, что при этом не хватил Кондрати, Филипп Филиппович (ok), 15:59 , 22-Дек-17, (17)

Ну да, например, Поттеринг не может, Crazy Alex (ok), 17:24 , 22-Дек-17, (26)
Смотреть в завтрашний код смогут не только лишь все , Аноним (-), 21:55 , 22-Дек-17, (55) +2

мало кто сможет это делать с , ыы (?), 17:49 , 23-Дек-17, (88)

Писать то может Нормально писать - уже не каждый Макаки не понимают указателей, Аноним (-), 04:00 , 23-Дек-17, (67)

Дык Если можно не писать на C C , лучше не писать , Vkni (ok), 17:33 , 22-Дек-17, (30) –2 //

Специально для вас есть monkey-что-то-там Но ощущать себя обезьяной при написан, Аноним (-), 04:01 , 23-Дек-17, (68) //

Спасибо, но Питон вместо C - это только по большой нужде Для меня есть ghc и , Vkni (ok), 23:52 , 23-Дек-17, (111)

Заменить плюсы питоном можно разве что при полном пофиге на скорость работы этог, Аноним (-), 02:03 , 24-Дек-17, (123)

Не в этом основная проблема - продолб по скорости там ну раз в 10 Это практичес, Vkni (ok), 06:23 , 26-Дек-17, (141)

C C - слабо-типизированные языки, позволяющие и провоцирующие написание ненадё, Онаним (?), 00:11 , 23-Дек-17, (58) //

i На C C практически невозможно написать программу без багов i - программа , eganru (?), 11:27 , 23-Дек-17, (79)
Так уже правильно, остальные буквы лишние , Аноним (-), 23:03 , 23-Дек-17, (109)

Дались вам эти аннотации в пайтоне Если сомневаешься, используй assert assert i, Аноним (-), 17:59 , 22-Дек-17, (32) //

Красота, и весь код в таком , Crazy Alex (ok), 19:33 , 22-Дек-17, (45)

Интересно, в Инстаграмме тоже начали на Go мигрировать, потому выбрасывают все н, Аноним (-), 18:55 , 22-Дек-17, (37) +1
Практически каждый проект в какой-то момент сталкивается с тем, что есть существ, eganru (?), 19:23 , 22-Дек-17, (40) +3 //

Идет время, проект растет И то что хорошо для мелкого проекта который накидывае, Аноним (-), 04:30 , 23-Дек-17, (75) //

i Ну там например для системных вызовов - там уж такой интерфейс, какой есть , eganru (?), 10:06 , 23-Дек-17, (76) //

Ну, блин, твоя операционная система только тебе и нужна А в полезном на практик, Аноним (-), 19:56 , 23-Дек-17, (95) –1

Зачем это сейчас, когда в Python 3 6 уже есть специальная стандартная синтаксиче, Онаним (?), 19:38 , 22-Дек-17, (46) +2 //

Подскажите, про какой способ говорите , Аноним (-), 21:52 , 22-Дек-17, (53)
Признайся, ты прочитал ведь только заголовок новости, так , Ordu (ok), 22:58 , 22-Дек-17, (57)

Какой глубокий символизм в названии , Anonymoustus (ok), 02:44 , 23-Дек-17, (62)

Сообщения [Сортировка по времени | RSS]

3. "Instagram открыл код MonkeyType, системы аннотации типов для..." +5 +/–

Сообщение от Аноним (-), 22-Дек-17, 12:51

сначала долго объясняли преимущества динамической типизации, уверяя, что она не является источником ошибок. ветер изменился?

Ответить | Правка | Наверх | Cообщить модератору

5. "Instagram открыл код MonkeyType, системы аннотации типов для..." +2 +/–

Сообщение от анонимбр (?), 22-Дек-17, 12:53

потому динамическая типизация == постоянная попоболь ибо никогда нельзя доверять коду который раз и сломался:)

Ответить | Правка | Наверх | Cообщить модератору

11. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Undefined (?), 22-Дек-17, 14:25

"Ломание кода" - проблема организации процесса разработки, а не языков. Нужны юнит-тесты, ревью, документация, культура какая-то.
Алсо вангую, опять сейчас начнут путать статическую типизацию со строгой. В Питоне, в отличие от того же JS, нельзя, грубо говоря, сложить теплое с мягким. Данные должны быть одного типа, приведены в явном виде, если потребуется.

Ответить | Правка | Наверх | Cообщить модератору

18. "Instagram открыл код MonkeyType, системы аннотации типов для..." +10 +/–

Сообщение от Crazy Alex (ok), 22-Дек-17, 16:20

1) Баг, пойманный на ревью или тестами всё ещё дороже бага, пойманного на этвпе компиляции - на него времени больше потрачено
2) Типы - это гарантированно верная документация кода. И это упрощает сопровождение.

Ответить | Правка | Наверх | Cообщить модератору

22. "Instagram открыл код MonkeyType, системы аннотации типов для..." –1 +/–

Сообщение от Аноним (-), 22-Дек-17, 16:45

если вы позволяете разработчику публиковать код для review до того как пройдут хотя бы базовые тесты - мне вас жаль.
Искренне жаль.

Ответить | Правка | Наверх | Cообщить модератору

41. "Instagram открыл код MonkeyType, системы аннотации типов для..." +5 +/–

Сообщение от Crazy Alex (ok), 22-Дек-17, 19:24

Это вам примерещилось что-то.
1) для динамики приходится писать больше тестов для покрытия вот этих глупых кейсов с типами. Это время на написание и поддержку. И на то, чтобы в ревью ещё и этот аспект отсмотреть.
2) теоретически юнит-тесты, конечно, должны быть быстрыми, но на практике они частенько ни хрена не быстрые, и времени на их прогон у разработчика уходит прилично, ещё до CI.
3) система типов перекрывает проблемы с типами гораздо надёжнее и не умеет "случайно пропустить" какой-то случай.

Ответить | Правка | Наверх | Cообщить модератору

27. "Instagram открыл код MonkeyType, системы аннотации типов для..." +2 +/–

Сообщение от M i M (?), 22-Дек-17, 17:28

> В Питоне, в отличие от того же JS, нельзя, грубо говоря, сложить теплое с мягким.
> Данные должны быть одного типа, приведены в явном виде, если потребуется.
Можно. Например так:
$ cat warm_plus_soft.py
class Warm(object):
    def __init__(self, temperature):
        self.temperature = temperature
    def __add__(self, other):
        if isinstance(other, Soft):
            return Body(self.temperature, other.softness)
        raise TypeError()

class Soft(object):
    def __init__(self, softness):
        self.softness = softness

class Body(Warm, Soft):
    def __init__(self, temperature, softness):
        Warm.__init__(self, temperature)
        Soft.__init__(self, softness)
    def __add__(self, other):
        raise NotImplementedError()
    def __str__(self):
        return 'Body: temperature — {}, softness — {}'.format(
            self.temperature, self.softness
        )

if __name__ == '__main__':
    warm = Warm(100)
    soft = Soft(500)
    body = warm + soft
    print(body)
$ python3 warm_plus_soft.py
Body: temperature — 100, softness — 500

Ответить | Правка | К родителю #11 | Наверх | Cообщить модератору

52. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Аноним (-), 22-Дек-17, 21:46

Ох лол. Если предусмотреть возможность сложения тёплого с мягким, то конечно можно.

Ответить | Правка | Наверх | Cообщить модератору

97. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от анонимбр (?), 23-Дек-17, 20:14

Можно, но не нужно изобретать квадратные колеса

Ответить | Правка | К родителю #27 | Наверх | Cообщить модератору

49. "Instagram открыл код MonkeyType, системы аннотации типов для..." +2 +/–

Сообщение от qsdg (ok), 22-Дек-17, 21:07

> Нужны юнит-тесты, ревью, документация, культура какая-то.
Работал я как-то на большом и нагруженном питон-проекте. В итоге дошло до того что каждая, абсолютно каждая строчка должна была быть покрыта юнит-тестами, иначе именно в ней всё обвалится. Соотношение строчек тесты/код у нас было больше единицы. И знаете, мы-таки заколебались поддерживать эти юнит тесты!
Потом нам выделили ресурсы переписать всё на Жабе, там много всего было, конечно, но соотношение строчек тестов/кода упало до 0.8 или типа того. Мы наконец перестали покрывать тестами синтаксис вместо логики.
Компания большая, силиконовая, всем известная, культура кода и ревью на высоком уровне, так что это не играло роли.

Ответить | Правка | К родителю #11 | Наверх | Cообщить модератору

96. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от анонимбр (?), 23-Дек-17, 20:13

Вот и мне это осточертело. Плюс для автодополнения в IDE все равно нужен тип, но через ()().
"""
:type val:путь к классу
"""
На Java добро не дают:(

Ответить | Правка | Наверх | Cообщить модератору

28. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Vkni (ok), 22-Дек-17, 17:30

> потому динамическая типизация == постоянная попоболь ибо никогда нельзя доверять коду который
> раз и сломался:)
Это как бы давно очевидно. Шутка с Питоном в том, что его активно внедрять стали относительно недавно, а языки с a-hoc полиморфизмом известны уже лет 35 (семейство ML).
Т.е., если сразу взять что-то типа Ocaml'а или SML'я (к 95-му были быстрые реализации), можно было иметь ту же самую гибкость и полный вывод типов в статике. Но индустрия решила пойти по граблям.

Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

42. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Crazy Alex (ok), 22-Дек-17, 19:29

Индустрии не подошла сложность ML-языков. Она, чёрт возьми, индустрия, ей надо много и предсказуемо, а здесь чем проще - тем лучше. В результате вывод типов мы получили, но совсем не в ML, а вовсе даже в плюсах, и что важнее - в Go и C#.
Больше того, при увеличении масштаба даже вывод типов (во всяком сулчае массовый) становится рискованным с точки зрения быстрого понимания горы незнакомого кода тем, кто его поддерживает. Примерно поэтому, к примеру, в плюсах его рекомендуют использовать с оглядкой.

Ответить | Правка | Наверх | Cообщить модератору

59. "Instagram открыл код MonkeyType, системы аннотации типов для..." +1 +/–

Сообщение от Ф (?), 23-Дек-17, 00:47

Вот ни хрена в ML'ах нету той же самой гибкости.
1) Перегрузки нет. В OCaml'е хочешь напечатать int - используй print_int, хочешь напечатать string - используй print_string. Даже для float'ов все операции свои (+., -., *., /.). Прям офигенная экономия от того, что не надо писать типы.
2) Хочешь иметь объект "клиент" с полем "имя" и объект "продавец" с полем "имя"? Поля начинают друг друга херачить, потому что они функции в глобальном неймспейсе. Приходится называть поля "имяКлиента" и "имяПродавца". Зато язык не требует указывать типы, да.
3) Наконец, самое главное - если ты не указываешь типы нигде, то при нестыковках компилятор может заругаться на самое удивительное место и самый простой способ понять, что он хочет - поставить везде типы.

Ответить | Правка | К родителю #28 | Наверх | Cообщить модератору

142. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Vkni (ok), 27-Дек-17, 05:56

1. Да, по-хорошему, нужны классы типов.
2. Для этого есть модули.
3. Совершенно не обязательно - есть такая конструкция failwith "Привет". Это вроде undefined в Хаскеле. Кроме того, народ работает над улучшением диагностики.
----------------
В любом случае, Питон до более-менее надёжных программ такой длины, при которой возникают эти проблемы, просто не добирается. А С++ этак раза в 2-3 медленнее в разработке.

Ответить | Правка | Наверх | Cообщить модератору

143. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Ф (?), 28-Дек-17, 12:50

1. Классы типов - хитрая штука, и ни разу не замена питону. В ML'ях хотя бы было такое свойство: программа либо вообще не компилируется, либо имеет одну главную типизацию, из которой все остальные выводятся как частные случаи. Классы типов рушат это свойство, и программа может перестать работать (но продолжать компилироваться), если стереть аннотации типов.
2. типа
import Клиент as К
import Продавец аs П
... К.имя...
... П.имя...
?
ну ладно, пусть так
3. я не про exceptions, я про то, что программа не компилируется из-за неправильных типов, но ошибка выдается не там, где она есть, а где-то глубоко внутри функции, которая сама-то правильная, но типы явно не прописаны.
----------
вот поэтому ынтырпрайз пишет на джаве

Ответить | Правка | Наверх | Cообщить модератору

144. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Vkni (ok), 29-Дек-17, 07:54

> 1. В ML'ях хотя бы было такое свойство: программа либо вообще не
> компилируется, либо имеет одну главную типизацию, из которой все остальные выводятся
> как частные случаи. Классы типов рушат это свойство, и программа может
> перестать работать (но продолжать компилироваться), если стереть аннотации типов.
Не. Классы типов, если нормально написаны, это свойство практически не рушат. Кроме того, я совершенно не уверен, что отсутствие аннотаций типов вот так уж и хорошо. См. исходники компилятора Ocaml'а - там же без поллитра вообще не разберёшься.
> 2. типа
> ну ладно, пусть так
Ну да, примерно так.
> 3. я не про exceptions, я про то, что программа не компилируется
> из-за неправильных типов, но ошибка выдается не там, где она есть,
> а где-то глубоко внутри функции, которая сама-то правильная, но типы явно
> не прописаны.
Это я описал практический приём отладки вот таких проблем. В Хаскеле ставится заглушка undefined, дальше компилируется. В ocaml'е вместо неё можно ставить failwith "unimplemented"; кроме того, ставятся аннотации типов там, где нужно. После этого всё сводится, а главное - работает.

Ответить | Правка | Наверх | Cообщить модератору

64. "Instagram открыл код MonkeyType, системы аннотации типов для..." +2 +/–

Сообщение от Anonymoustus (ok), 23-Дек-17, 02:55

Умные программисты встречаются весьма редко, а делать и продавать гoвнoпродукт надо каждый день. Так что индустрия решила нанимать обезьян с модными молодёжными фреймворками для быстрой разработки. Катастрофические последствия чего мы наблюдаем повсеместно. И самолёты, кстати, от этого уже падают.

Ответить | Правка | К родителю #28 | Наверх | Cообщить модератору

70. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Аноним (-), 23-Дек-17, 04:10

> Умные программисты встречаются весьма редко, а делать и продавать гoвнoпродукт надо каждый
> день. Так что индустрия решила нанимать обезьян с модными молодёжными фреймворками
> для быстрой разработки. Катастрофические последствия чего мы наблюдаем повсеместно. И
> самолёты, кстати, от этого уже падают.
Очень интересно, какие хипстерские фреймворки и в каком самолете были использованы? А то авиаторы насчет надежности достаточно повернуты и у них можно поучиться софт писать и делать надежно.

Ответить | Правка | Наверх | Cообщить модератору

80. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Аноним (-), 23-Дек-17, 13:19

> И самолёты, кстати, от этого уже падают.
В целом согласен, но про самолёты хотелось бы пруфов.

Ответить | Правка | К родителю #64 | Наверх | Cообщить модератору

81. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Аноним (-), 23-Дек-17, 13:42

Он ошибся, не самолеты а спутники!

Ответить | Правка | Наверх | Cообщить модератору

83. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Anonymoustus (ok), 23-Дек-17, 14:55

Не ошибся, просто привёл в пример первое пришедшее на ум. Так-то эта проблема имеет место во всей сложной технике. Включая, опять же для примера, автомобили, а которых может «сойти с ума» бортовой компьютер, управляющий, в числе прочего, тормозной системой, отчего счастливый водитель может уехать в больницу или на кладбище — и всё лишь потому, что фанатично верующие в свой модный фреймворк макаки убедили компанию сделать компьютер под линукс, а не под QNX, и сэкономить три копейки «прямо щяс», впоследствии потеряв на судебных исках миллионы.

Ответить | Правка | Наверх | Cообщить модератору

90. "Instagram открыл код MonkeyType, системы аннотации типов для..." +1 +/–

Сообщение от Аноним (-), 23-Дек-17, 18:38

> примера, автомобили, а которых может «сойти с ума» бортовой компьютер, управляющий,
> в числе прочего, тормозной системой,
Чтобы умничать - надо хоть немного разбираться как это устроено. Что такое CAN и кто на нем висит. ECU и ABS никто не пишет на супер-фреймворках. Мелкий аккуратный сишечка, вылизанный от и до - ошибки дорого обходятся.
> отчего счастливый водитель может уехать в больницу или на кладбище —
С практической точки зрения водятел быстрее попадет на кладбище на примитивной механике, потому что тормозить с эффективностью ABS-а - контринтуитивно и против человеческих рефлексов вида "тапка в пол". Очень опытные водятлы вырабатывают грубую аппроксимацию но ABS с датчиками намного лучше чувствует начало юза и держит коэффициент трения на максимуме.
Поэтому тормозной путь с ABS - заметно короче чем без него. Очень способствует тому чтобы на кладбище не попасть лишний раз.
> не под QNX, и сэкономить три копейки «прямо щяс», впоследствии потеряв
> на судебных исках миллионы.
Там в критичных местах никакого QNX, простые микроконтроллеры. Писюки вообще к реалтаймным делам подпускать нельзя.

Ответить | Правка | Наверх | Cообщить модератору

98. "Instagram открыл код MonkeyType, системы аннотации типов для..." –1 +/–

Сообщение от Anonymoustus (ok), 23-Дек-17, 20:33

https://www.viva64.com/ru/b/0439/
Распедальте несведущим читателям, что на чём и кто на ком висит, и почему отзывают машины «из-за ковриков».

> Там в критичных местах никакого QNX, простые микроконтроллеры. Писюки вообще к реалтаймным делам подпускать нельзя.
Дружок, ты точно знаешь, что такое QNX и что такое бортовой компьютер?

Ответить | Правка | Наверх | Cообщить модератору

102. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Аноним (-), 23-Дек-17, 21:30

И где в твоей рекламной ссылке написано про модные фреймворки, Linux, QNX или "бортовой компьютер"? И что ты, сеошник карповский, в этом смыслишь?

Ответить | Правка | Наверх | Cообщить модератору

103. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Аноним (-), 23-Дек-17, 22:09

> Распедальте несведущим читателям, что на чём и кто на ком висит,
Там висят рассуждизмы и реклама.
> Дружок, ты точно знаешь, что такое QNX и что такое бортовой компьютер?
Дяденька, у меня QNX вотпрямща в виртуалке запущен. Ибо реверс античного индустриального хлама на который все забили. Если ты меня хочешь поучить этому, с твоим характерным уровнем экспертизы - а ну тебя в пень.

Ответить | Правка | К родителю #98 | Наверх | Cообщить модератору

105. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Анонимм (??), 23-Дек-17, 22:29

> и против человеческих домкратов вида "тапка в пол"
Пофисил, не стоит благодарности!
Нет таких "интуитивных человеческих рефлексов".
Для появления условного рефлекса нужно его нарабатывать/тренировать. Т.е. раз за разом повторять похожую ситуацию. Только вот в отличие от профессионалов, у любителей обычно нет на это ни средтств, ни тренажеров, ни желания.

> Поэтому тормозной путь с ABS - заметно короче чем без него. Очень способствует тому чтобы на кладбище не попасть лишний раз.
Тормозной путь с АBS отличается вообще-то заметно лучшей управляемостью.
А уж длиннее или короче - зависит от конкретной ситуации. На снегу, песке, гравии и прочем - заметно длиннее. На сухом асфальте особой разницы не будет. На мокром - да, короче. Но опять же, ценна как раз возможность управления.

Ответить | Правка | К родителю #90 | Наверх | Cообщить модератору

116. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Аноним (-), 24-Дек-17, 00:40

> Нет таких "интуитивных человеческих рефлексов".
Это нормальное поведение обычного индивида - если надо резко тормозить, значит надо максимально жать на педаль. А вот что зависимость может быть нелинейной и после некоторого порога вжатия может стать только хуже - нихрена не очевидно.
> повторять похожую ситуацию. Только вот в отличие от профессионалов, у любителей
> обычно нет на это ни средтств, ни тренажеров, ни желания.
Быть собакой Павлова вообше удовольствие на любителя. А машины справляются с рутинной работой лучше и реагируют быстрее, что ни говори.
> Тормозной путь с АBS отличается вообще-то заметно лучшей управляемостью.
> А уж длиннее или короче - зависит от конкретной ситуации.
Тут дело в том что коэффициент трения максимален ДО срыва резины в скольжение. Когда началось скольжение, коэффициент трения падает. ABS балансирует на максимальном коэффициенте трения, не допуская срыва в скольжение. Эффектные следы резины на асфальте кроме всего прочего гаранитруют длинный тормозной путь, больше чем с ABS.
> На снегу, песке, гравии и прочем - заметно длиннее. На сухом асфальте особой
> разницы не будет. На мокром - да, короче. Но опять же, ценна как раз возможность управления.
Ценна автоматическая оптимизация процесса торможения, достаточно втопить педаль и дальше машина сама разбирается как максимально круто затормозить. Не срываясь в юз. Потеря управляемости часть проблемы. Вторая часть проблемы в том что трение скольжения ниже максимального трения. И таки большинство тестов недвусмысленно показывает что ABS сокращает тормозной путь. И при том сохраняет управляемость. Очень полезная штука. Может быть, профессиональным гонщикам или внедорожникам и будет мешаться в экзотичных ситуациях, но это больше исключения.

Ответить | Правка | Наверх | Cообщить модератору

119. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Анонимм (??), 24-Дек-17, 01:21

>> На снегу, песке, гравии и прочем - заметно длиннее. На сухом асфальте особой
>> разницы не будет. На мокром - да, короче. Но опять же, ценна как раз возможность управления.
> Вторая часть проблемы в том что трение скольжения ниже максимального трения. И таки большинство тестов недвусмысленно показывает
> что ABS сокращает тормозной путь.
Тут все дело в том, что на достаточно сыпучем грунте перед заблокированными колесами быстро образуется вал этого самого грунта. И он таки обеспечивает очень неплохое трение и тормозной эффект.
Ваш Кэп

Ответить | Правка | Наверх | Cообщить модератору

128. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Аноним (-), 24-Дек-17, 02:42

> Тут все дело в том, что на достаточно сыпучем грунте перед заблокированными
> колесами быстро образуется вал этого самого грунта.
Большинство автомобилистов предпочитает ездить по асфальту или какому-то его подобию, знаете ли. Из асфальта сделать резинкой вал довольно проблематично. А про всяких внедорожников и гонщиков вроде там было написано.

Ответить | Правка | Наверх | Cообщить модератору

130. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Аноним (-), 24-Дек-17, 05:39

>> Тут все дело в том, что на достаточно сыпучем грунте перед заблокированными
>> колесами быстро образуется вал этого самого грунта.
> Большинство автомобилистов предпочитает ездить по асфальту или какому-то его подобию,
> знаете ли. Из асфальта сделать резинкой вал довольно проблематично. А про
> всяких внедорожников и гонщиков вроде там было написано.
Согласен. Снег ведь всегда убирают вовремя, а за МКАДом жизни нет. Или автомобилей с АBS.

Ответить | Правка | Наверх | Cообщить модератору

138. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Аноним (-), 24-Дек-17, 21:27

> Согласен. Снег ведь всегда убирают вовремя, а за МКАДом жизни нет.
Представляешь, по умолчанию предполагается что автомобили ездят по асфальту. Более того, круглый год снег лежит на этой планете лишь сильно местами. Можно конечно вспомнить мужиков на шишиге которые речку по пояс переезжают, но это не массовый сценарий. Да и они несмотря на mad skillz периодически валяются по склонам, так их что даже убрать никто оттуда не может.
> Или автомобилей с АBS.
Комплексы автотазера лучше оставить при себе.

Ответить | Правка | К родителю #130 | Наверх | Cообщить модератору

121. "Instagram открыл код MonkeyType, системы аннотации типов для..." –1 +/–

Сообщение от лютый жабист__ (?), 24-Дек-17, 01:31

>Что такое CAN и кто на нем висит. ECU и ABS никто не пишет на супер-фреймворках.
Не интересовался данным вопросом, но уверен, что тормоза и рулевое вообще не сидят на CAN. Только может быть датчики самодиагностики например ЭУРа.
Это в обычых шушлайках.
А вот в каких-нибудь гиковых Теслах.... хзхз...
>потому что тормозить с эффективностью ABS-а - контринтуитивно и против человеческих рефлексов вида "тапка в пол"
Surprise! Самое быстрое торможение, это тапка в пол. Эффективнее АБС. Гугли реальные тесты, а не "знакомый шумахер на форуме подсказал". Правда управляемость теряется, но рулить при аварийной ситуации всё равно ПДДой запрещено.

Ответить | Правка | К родителю #90 | Наверх | Cообщить модератору

125. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Аноним (-), 24-Дек-17, 02:15

>Не интересовался данным вопросом, но уверен, что тормоза и рулевое вообще не сидят на CAN. Только может быть датчики самодиагностики например ЭУРа.
Ничуть. В авто с ABS и контролем курсовой устойчивости через CAN связаны тормоза, датчики поворота руля, датчики ускорения и блок управления двигателем, причем все это в реалтайме.
Возьми хотя бы Volvo S40 II 2003 года или Ford Focus 2 2005, там по кану это все жестко завязано.

Ответить | Правка | Наверх | Cообщить модератору

127. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Аноним (-), 24-Дек-17, 02:40

> Возьми хотя бы Volvo S40 II 2003 года или Ford Focus 2
> 2005, там по кану это все жестко завязано.
Пещерные чудаки с тазиками никак не могут взять в толк что мир изменился и архитектура "компьютерная сеть и куча компьютеров" теперь основа мира. Теперь так летают самолеты и ракеты, ездят самолеты и поезда. И это такая же эпоха в развитии техники как смена механических семафоров и стрелок с ручным управлением на электрику. А это next-gen относительно того уровня. Мир в котором машины стали умными.

Ответить | Правка | Наверх | Cообщить модератору

126. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Аноним (-), 24-Дек-17, 02:35

> Не интересовался данным вопросом, но уверен, что тормоза и рулевое вообще не
> сидят на CAN.
Чувак на хабре довольно основательно разреверсил свою машину и подробно описал топологию. Там было 2 CAN - развлекательно-сервисный и критичный. В критичном сегменте всякие ABS, ECU, подушки и проч, в сервисно-развлекательном - штуки типа замков, стеклоподъемников и прочего управления без которого жить можно.
А если ты такой паникер - прочитай про FADEC, современные системы управления поездами и проч. Будешь пешком ходить. Компьютеры управляют моторами самолета и ракетами, считают допустимую скорость поезда на основании знания их положения на путях и проч.
> Только может быть датчики самодиагностики например ЭУРа.
> Это в обычых шушлайках.
ECU - это немного не "датчик самодиагностики". Без него ты вообще не уедешь. И ABS, внезапно, бывает отключаемым. Скорее всего пулянием команды по этому CAN процом который ввод юзера обрабатывает.
> А вот в каких-нибудь гиковых Теслах.... хзхз...
Любая иномарка являет собой сеть на колесах. Их даже законодательно обязали разъемы диагностики ставить. Регуляторов интересовали в основном выхлопы и экология, но раз уж система есть, на нее навесили и много чего еще.
> Surprise! Самое быстрое торможение, это тапка в пол. Эффективнее АБС. Гугли реальные тесты,
И вот тесты и и говорят что с ABS дистанция короче чем в случае тапки в пол и черных следов на асфальте. Это отлично согласуется с учебником физики, где недвусмысленный график силы трения от ситуации. Когда начинается скольжение, сила трения падает и уже не максимальна. С фига там будет быстрое торможение? У мегаводятлов альтернативные законы физики?
> а не "знакомый шумахер на форуме подсказал". Правда управляемость теряется,
> но рулить при аварийной ситуации всё равно ПДДой запрещено.
Кроме управляемости падает коэффициент трения, чудило.

Ответить | Правка | К родителю #121 | Наверх | Cообщить модератору

82. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Anonymoustus (ok), 23-Дек-17, 14:48

Сперва хотел ответить, что легко гуглится, но это в самом деле не та тема, которая легко гуглится. Но кое-что есть даже в первой странице выдачи:
https://habrahabr.ru/post/139199/
https://geektimes.ru/post/76002/
https://tjournal.ru/55010-aircraft-software
https://habrahabr.ru/company/pvs-studio/blog/330762/
Всё это, конечно, частности. Причина же всех бед, концептуально, в недопустимости переноса подходов, принятых в производстве макаками десктопного или серверного гoвнoкода, на программирование аппаратуры, используемой в критических задачах. Макакам должна быть закрыта дорога даже в аэродромную обслугу.
Типичная опеннетовская или лоровская обезьяна в силу отсутствия систематического образования  и глубокого ума не понимает, например, почему для управления станком стоимостью в миллион долларов лучше использовать DOS с его простыми, но эффективными средствами и написанную для этого специализированную алгоритмически простую программу, а не ОС общего назначения и жирные фреймворки поверх неё, в которых-де макаке проще творить нетленки гoвнoкода.

Ответить | Правка | К родителю #80 | Наверх | Cообщить модератору

117. "Instagram открыл код MonkeyType, системы аннотации типов для..." +1 +/–

Сообщение от Аноним (-), 24-Дек-17, 00:56

> стоимостью в миллион долларов лучше использовать DOS с его простыми, но
> эффективными средствами и написанную для этого специализированную алгоритмически простую
> программу, а не ОС общего назначения и жирные фреймворки поверх неё,
> в которых-де макаке проще творить нетленки гoвнoкода.
А можно взять и сделать иначе:
- МК для низкоуровневого управления и обработки срочных/аварийных ситуаций. Они намного предсказуемее, точнее и быстрее чем крап с досом. И не уйдут в себя на неопределенное время по SMI# в неведомый ring -1 и хзкакой обработчик в проприетарном BIOS. В мк все обработчики - которые я пропишу и ни битом больше. Но о таких мелочах умники с DOS'ом обычно не в курсе. Как и про jitter от кэша, тормозной IO и прочю. И это, SMI# был еще с 80386. На что убегать? На 286 чтоли? Самый лажовый микроконтроль за бакс делает писюк по части реакции на критичные события, надежности и предсказуемости всего этого. Можно по тактам блин worst case посчитать. До единиц циклов тактового генератора. Неопределенность порядка десятков-сотен наносекунд. Удачи с этим на PC.
- Одноплатник с линем для общей координации активности, UI, навороченной обработки типа поедания всяких форматов файлов, протоколов и прочей байды. Даже если он повиснет, наиболее критичные моменты обыграют МК. Хотя некоторые и весьма реалтаймные критичные вещи на линухе гоняют.
Заодно дизайн системы разделен на несколько простых независимых компонентов. Каждый из которых проще валидировать чем огроменное досовое месиво с проприетарным биосом и прочими радостями. Но я понимаю что система где есть пяток процессоров и каждый занимается тем что у него лучше получается - совсем не в духе ушлепанства с досом. Где есть голимый UI, голимый эрзац реалтайма, кривой IO, 640 кило которых хватит всем и прочие характерные прелести.

Ответить | Правка | Наверх | Cообщить модератору

132. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Аноним (-), 24-Дек-17, 12:58

> для управления станком стоимостью в миллион долларов лучше использовать DOS с его простыми, но эффективными средствами и написанную для этого специализированную алгоритмически простую программу, а не ОС общего назначения
Покажи-ка такой станок (не собранный Васяном в гараже, а за миллион долларов), который управляется досом. И ещё расскажи, с каких пор дос перестал быть операционкой общего назначения.

Ответить | Правка | К родителю #82 | Наверх | Cообщить модератору

86. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Anonymoustus (ok), 23-Дек-17, 16:23

Вот ещё из коментов к статьям по ссылкам, что я написал: http://www-users.math.umn.edu/~arnold/disasters/disasters.html

Ответить | Правка | К родителю #80 | Наверх | Cообщить модератору

20. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Crazy Alex (ok), 22-Дек-17, 16:24

Просто софт стал сложнее.
Как и везде, с ростом масштабов увеличивается процент расходов на разноообразную "бюрократию", нужную бля простого выживания системы. И если до какого-то момента можно с матами и скрипом без явных типов обходиться, то потом вдруг оказывается, что дешевле починить всю существующую гору кода на этот предмет, чем терпеть. В этом плане фейсбук нашёл довольно красивое решение, обычно просто  сбегают на те языки, которые дают больший контроль. Другое дело, что это несложно предвидеть было и брать не питон, а что-то статически типизируемое, но, может, не нашлось ничего подходящего...

Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору

29. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Vkni (ok), 22-Дек-17, 17:32

> Другое дело, что это несложно предвидеть было и брать не питон, а
> что-то статически типизируемое, но, может, не нашлось ничего подходящего...
SML/Ocaml же.

Ответить | Правка | Наверх | Cообщить модератору

43. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Crazy Alex (ok), 22-Дек-17, 19:30

Шутишь, да? Так и представил себе всех этих миддлов, клепающих на окамле... Вот go - тот да, был бы подходящим выбором, пожалуй.

Ответить | Правка | Наверх | Cообщить модератору

122. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Vkni (ok), 24-Дек-17, 01:54

> Шутишь, да? Так и представил себе всех этих миддлов, клепающих на окамле...
А что там такого сложного? Особенно после SICP. Вот, скажем, "Введение в Стандартный ML" у меня лежит, там 48 страниц - это базовый язык, ну и оставшиеся до 95-ти - язык описания модулей.
> Вот go - тот да, был бы подходящим выбором, пожалуй.
Ох. Была чудесная фраза про go про молодых программистов, не способных понять более выразительный язык.

Ответить | Правка | Наверх | Cообщить модератору

44. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Crazy Alex (ok), 22-Дек-17, 19:32

Когти в клавиатуре застряли :-) Хотя можно и дядюшку Фрейда приплести - гнусная тенденция на самом деле, с ростом системы приходится тратить всё больший процент ресурсов на то, чтобы она просто не развалилась, и это не лечится. Что, кстати, далеко не все осознают.

Ответить | Правка | К родителю #29 | Наверх | Cообщить модератору

112. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Vkni (ok), 23-Дек-17, 23:56

> с ростом системы приходится тратить всё больший процент ресурсов на то,
> чтобы она просто не развалилась, и
> это не лечится. Что, кстати, далеко не все осознают.
И то, и другое, кстати, более чем естественно. :-) С другой стороны, есть минимальный размер каждой конкретной системы, при котором она жизнеспособна (вообще нужна). Т.е. ограничения есть как снизу, так и сверху.
Но, реально, архитектурно спроектировать что-то действительно большое, да ещё так, чтобы оно долго жило и развивалось безумно сложно.

Ответить | Правка | Наверх | Cообщить модератору

84. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Anonymoustus (ok), 23-Дек-17, 15:12

> Просто софт стал сложнее.
Самое время задаться вопросом: почему?
Автомобили, самолёты, сложнейшие станки, оптические системы и ядерные реакторы успешно проектировали и в те времена, когда PDP был на острие рокет саенса. И даже в те времена, когда никаких PDP не было ещё и в замысле.

Ответить | Правка | К родителю #20 | Наверх | Cообщить модератору

93. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Аноним (-), 23-Дек-17, 19:42

> Самое время задаться вопросом: почему?
Почему палку-копалку заменили более сложной лопатой? А потом и самосвалы с экскаваторами придумали. Один экскаваторщик заменяет толпу мартышек с копалками. Это же происходит и в софте.
> Автомобили, самолёты, сложнейшие станки, оптические системы и ядерные реакторы успешно
> проектировали и в те времена, когда PDP был на острие рокет саенса.
Только аэродинамика и дизайн автомобилей были как у кирпича, а сложнейшие станки зависели от того не бухнул ли токарь. Да и ядерный реактор типа РБМК подкинул в 1986-м сюрпризов.
> И даже в те времена, когда никаких PDP не было ещё и в замысле.
И все это было штучным, медленным в проектировании, сложным в производстве, зависящим от набуханости токаря и мало влияло на жизнь людей. Десяток статусных игрушек на всю планету мало что меняет в жизни людей.

Ответить | Правка | Наверх | Cообщить модератору

101. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Anonymoustus (ok), 23-Дек-17, 20:49

Оно и видно, дружок, что ты не знаешь о том, что Cx 0,18 (то есть практически достижимый для автомобиля максимум) сделали диды (правда, не твои) безо всяких компьютеров на кульманах и с трубой ещё в тридцатые годы: https://en.wikipedia.org/wiki/Mercedes-Benz_T80#Technical_data
А другие диды (Керниган и Ритчи) написали на PDP целый юникс, причём в свободное от основной работы время.
Ну а плохому танцору, что ж поделать, всегда как не кульман, то палка-копалка мешают.

Ответить | Правка | Наверх | Cообщить модератору

104. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Аноним (-), 23-Дек-17, 22:22

> Оно и видно, дружок, что ты не знаешь о том, что Cx
> 0,18 (то есть практически достижимый для автомобиля максимум) сделали диды (правда,
> не твои) безо всяких компьютеров на кульманах и с трубой ещё
> в тридцатые годы: https://en.wikipedia.org/wiki/Mercedes-Benz_T80#Technical_data
А теперь вопрос на миллион: попробуй это чудо массово произвести по технологиям тридцатых, во.
Впрочем, кому массово нужен этот недосамолет? И если уж мы об этом, сейчас аэродинамику в специализированных средах моделирования считают и многократно быстрее и гораздо осмысленнее чем хрены с кульманами. И не ради штучного блин рекорда. А в 30-е прикидочно в аэродинамической трубе дули, методом слепого котенка. Убивая сотни времени на то чтобы просто отсеять неудачные дизайны. Которые сначала надо в железе запилить, только для того чтобы узнать что вышло г-но.
> А другие диды (Керниган и Ритчи) написали на PDP целый юникс, причём
> в свободное от основной работы время.
Они и ЯП написали. Неплохо дедки зажгли, на цитаты расхватали. Но вот пользоваться K&R C и юниксом их времен - это вы без меня.
> Ну а плохому танцору, что ж поделать, всегда как не кульман, то
> палка-копалка мешают.
Ну ты черти себе на кульмане и копай палкой, а я в CAD'е буду. И вместо юникса у меня будет Linux. И си хотя-бы 99-й. Мне так проще, быстрее и это для меня намного лучше работает. А то что сорц када весит больше чем весь первобытный юникс - ну да, и что? Зато я могу в каде сказать лазерному резаку как луч гнать. А на кульмане... лазерный резак не понимает этот формат ввода.
Компьютеры - это такой же усилитель возможностей как экскаватор для рук. Но только для мозга.

Ответить | Правка | Наверх | Cообщить модератору

108. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Ordu (ok), 23-Дек-17, 22:46

> ты не знаешь о том, что Cx 0,18 (то есть практически достижимый для автомобиля максимум) сделали диды
Чё? Ты хоть читал статью, на которую ссылаешься? Ничего эти диды не сделали, они только заявили, что сделали тачку, которая побъёт все рекорды. Но реально эта тачка никуда не ездила и никаких рекордов не била. Вообще никаких. Более того, заявленные её ТТХ были превзойдены позже, причём с эмпирическим подтверждением, а не пустыми словами типа "мы тут запилили чудо машину".
> А другие диды (Керниган и Ритчи) написали на PDP целый юникс, причём в свободное от основной работы время.
Во-первых, про свободное от работы время -- это враньё. Томпсон работал в исследовательском подразделении Bell Labs, и сверху ему был спущен заказ на multics. Томпсон взял палку-копалку -- ассемблер, и запилил unix (вместо MULTiplexed Informational and Computer Service, он создал UNiplexed Informational and Computer Service, потому что мультиплексирования не осилил). А в-вторых, самая мякотка: через пару лет они поняли, что пилить ОС палками-копалками -- это задача для обезьян, и они, как истинные хипстеры, перепилили большую часть unix'а на C. Это шороху навело как если бы сейчас ядро linux перепилили бы на python'е, потому что в то время выглядело безнадёжным идиотизмом пилить системные вещи на высокоуровневом ЯП. Но они-таки запилили, и лет через двадцать идея писать системные вещи на ассемблере даже в мире микрокомпьютеров (в частности на айбиэмовских персоналках) выглядела ретроградской.

Ответить | Правка | К родителю #101 | Наверх | Cообщить модератору

118. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Аноним (-), 24-Дек-17, 01:07

А сейчас на си пишут даже фирмвари для микроконтроллеров. И даже железо порой синтезируют из субдиалектов C. Мало желающих рожать хардварный декодер какого-нибудь H.264 путем отрисовывания схемы по транзисторам, блин. Таким макаром весь Интел за 20 лет этот блок не нарисует.

Ответить | Правка | Наверх | Cообщить модератору

133. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Аноним (-), 24-Дек-17, 13:17

> Во-первых, про свободное от работы время -- это враньё. Томпсон работал в
> исследовательском подразделении Bell Labs, и сверху ему был спущен заказ на
> multics. Томпсон взял палку-копалку -- ассемблер, и запилил unix (вместо MULTiplexed
> Informational and Computer Service, он создал UNiplexed Informational and Computer Service,
> потому что мультиплексирования не осилил).
Вообще-то всё было не так. Дело происходило уже после того, как Bell Labs прекратил работу над Multics. Как побочный эффект, у Кена не стало машины, где бы он мог запускать написанное в свободное время игрушку. И он, опять-таки в свободное время, написал операционку для имевшейся под рукой убогонькой (даже по тем временам) PDP-7.

Ответить | Правка | К родителю #108 | Наверх | Cообщить модератору

134. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Ordu (ok), 24-Дек-17, 13:38

>> Во-первых, про свободное от работы время -- это враньё. Томпсон работал в
>> исследовательском подразделении Bell Labs, и сверху ему был спущен заказ на
>> multics. Томпсон взял палку-копалку -- ассемблер, и запилил unix (вместо MULTiplexed
>> Informational and Computer Service, он создал UNiplexed Informational and Computer Service,
>> потому что мультиплексирования не осилил).
> Вообще-то всё было не так. Дело происходило уже после того, как Bell
> Labs прекратил работу над Multics. Как побочный эффект, у Кена не
> стало машины, где бы он мог запускать написанное в свободное время
> игрушку. И он, опять-таки в свободное время, написал операционку для имевшейся
> под рукой убогонькой (даже по тем временам) PDP-7.
Освежил память педивикией -- да, ты прав. Именно так и было. Заказ был спущен сверху, затем отозван, но работа продолжалась в несколько ином направлении. Менеджеры Bell Labs снова подключились позже, когда им понадобились roff и текстовый редактор для правки патентных заявок.

Ответить | Правка | Наверх | Cообщить модератору

135. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от black fang (?), 24-Дек-17, 17:12

> А в-вторых, самая мякотка: через пару
> лет они поняли, что пилить ОС палками-копалками -- это задача для
> обезьян, и они, как истинные хипстеры, перепилили большую часть unix'а на
> C. Это шороху навело как если бы сейчас ядро linux перепилили
> бы на python'е, потому что в то время выглядело безнадёжным идиотизмом
> пилить системные вещи на высокоуровневом ЯП.
Что за бред? Юникс переписали на C, чтобы обеспечить портируемость ядра и софта на другие платформы, а не потому, что авторы были хипстерами. Наоборот, портируемость воспринималась как прорыв.
In 1972, Unix was rewritten in the C programming language.[18] The migration from assembly to the higher-level language C resulted in much more portable software,[19] requiring only a relatively small amount of machine-dependent code to be replaced when porting Unix to other computing platforms.

Ответить | Правка | К родителю #108 | Наверх | Cообщить модератору

136. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Ordu (ok), 24-Дек-17, 18:03

> Что за бред? Юникс переписали на C, чтобы обеспечить портируемость ядра и
> софта на другие платформы, а не потому, что авторы были хипстерами.
> Наоборот, портируемость воспринималась как прорыв.
Ты думаешь, что хипстерство определяется целями человека? Ты не прав, хипстерство -- это способ действия, включающий в себя отказ от сложившихся технологий и разработку новых им на замену, сопровождающийся утверждениями о том, что новые технологии более совершенны и позволяют делать больше, лучше, качественнее, быстрее и проще. А цели человека при этом могут быть различными.
Также ты не прав насчёт того, как восприняли идею написать ОС на высокоуровневом ЯП. Были конечно же хипстеры, которые восприняли это как прорыв, а были ретрограды, которые подняли хайп на тему того, что ничего хорошего из этого не выйдет, и продолжали писать свои операционки на асме, адаптируя их под всё новые и новые платформы. Впоследствии хипстеры победили, потому что даже если их ОС была менее совершенна, и может быть медленнее работала, но она не требовала постоянного портирования. Хипстеры победили, поэтому их переименовали из хипстеров в патриархи. Ты видишь ситуацию глазами того, кто узнавал историю в изложении победителей, то есть хипстеров. Ну, в смысле, в изложении патриархов, да.
Если сейчас linux перепишут на python'е и умудрятся с этим как-то победить и вытеснить C'шное ядро linux, то произойдёт то же самое. Хипстеры будут хлопать в ладоши, воспринимая это как прорыв, ретрограды будут вонять на всех углах. Потом ретрограды отомрут за ненадобностью, останутся только хипстеры. И лет через двадцать-тридцать, молодёжь будет точно так же рассказывать эту историю в изложении хипстеров: "переписывание ядра на Python'е было воспринято как прорыв".
Или, если тебе сложно воспринимать пример с Python'ом как совершенно нереалистичный, попробуй представить себе переписывание ядра Linux на Haskell'е или Rust'е -- эти проекты не столь нереалистичны, и их должно быть проще представить себе.
История -- это такая штука, где постоянно надо учитывать особенности рассказчика. Надо не просто слушать изложение исторических событий, но изучать как было создано именно такое изложение событий. Иначе вместо истории ты будешь знать пургу, которую несут победители.

Ответить | Правка | Наверх | Cообщить модератору

137. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Аноним84701 (ok), 24-Дек-17, 18:52

> In 1972, Unix was rewritten in the C programming language.[18] The migration
> from assembly to the higher-level language C resulted in much more
> portable software,[19] requiring only a relatively small amount of machine-dependent code
> to be replaced when porting Unix to other computing platforms.
Все течет, все меняется.
Насчет си врать не буду,  но натыкался на  списки рассылок из ранних девяностых. С извечным сра^W обсуждением правильности и трушности ЯП и обзывании (по смыслу) "хипстотой"  плюсовиков.

Ответить | Правка | К родителю #135 | Наверх | Cообщить модератору

113. "Instagram открыл код MonkeyType, системы аннотации типов для..." +1 +/–

Сообщение от Vkni (ok), 23-Дек-17, 23:58

> PDP был на острие рокет саенса. И даже в те времена, когда никаких PDP не было
> ещё и в замысле.
Боюсь, PDP не был никогда на острие рокет саенса. Это же рабочая лошадка.

Ответить | Правка | К родителю #84 | Наверх | Cообщить модератору

60. "Instagram открыл код MonkeyType, системы аннотации типов для..." +2 +/–

Сообщение от Аноним (-), 23-Дек-17, 02:09

> сначала долго объясняли преимущества динамической типизации,
а потом обнаружили что вебмакаки постоянно присваивают что попало как попало и отлаживать это глюкало задолбаешься, так что как только проект крупнее хомпаги - это вешалка

Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору

65. "Instagram открыл код MonkeyType, системы аннотации типов для..." –1 +/–

Сообщение от Anonymoustus (ok), 23-Дек-17, 03:02

Да-да, это вебмакаки написали шестой перл, третий питон, системду и Windows 10.
Причина бед одна на всех — страстное и неуёмное желание автоматизировать (всё, и особенно то, что автоматизировать не надо), а самому лениво откинуться на спинку кресла, пока тикают часы рабочего времени и на счёт капает зарплата.
Эти же самые обезьяны, которые пишут тонны гoвнoкода, самые яростные агитаторы за приобретение «ещё одной планки памяти».
Смотри, кому выгодно.

Ответить | Правка | Наверх | Cообщить модератору

71. "Instagram открыл код MonkeyType, системы аннотации типов для..." +1 +/–

Сообщение от Аноним (-), 23-Дек-17, 04:21

> Причина бед одна на всех — страстное и неуёмное желание автоматизировать
> (всё, и особенно то, что автоматизировать не надо), а самому лениво
> откинуться на спинку кресла, пока тикают часы рабочего времени и на
> счёт капает зарплата.
Машина должна работать, а человек - думать. Принцип IBM. Если его усвоили даже макаки, а вы забыли - честь им и хвала. Получается что даже макаки более развитые существа. И вас сложно с этим поздравить.
> Эти же самые обезьяны, которые пишут тонны гoвнoкода, самые яростные агитаторы за
> приобретение «ещё одной планки памяти».
Системд у меня работает на одноплатниках которые сами как планка памяти размером. А вы можете сношаться с своими 486 и sysv init если вам это надо.
> Смотри, кому выгодно.
Смотрю. Мир не выбит в камне. Он меняется. Горе-админов которые perf неделю ставят (как в ветке по системд) - выпирают шустрые девопсы, которые в целом намнго более полезны для команды делаюшей проект.

Ответить | Правка | Наверх | Cообщить модератору

77. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Anonymoustus (ok), 23-Дек-17, 10:14

Что-то (многие знания и жизненный опыт) мне подсказывает, что горе-админ, приложивший силы и мозги, чтобы разобраться в сути проблемы, и понявший свой инструмент, в дальнейшем будет применять его и другие инструменты правильно. В отличие от девопсов-шустриков и прочих эникейщиков, которые бодро зажигают Фукусимы и роняют самолеты.
Остальную чушь не буду комментировать, ибо чушь.

Ответить | Правка | Наверх | Cообщить модератору

91. "Instagram открыл код MonkeyType, системы аннотации типов для..." +2 +/–

Сообщение от Аноним (-), 23-Дек-17, 19:01

> от девопсов-шустриков и прочих эникейщиков, которые бодро зажигают Фукусимы
А что, эникейщики уже научились цунами запускать? Тогда пора строить хижину в горах! Или эникейщики выбирали место размещения АЭС на берегу моря, где цунами фигачат? Это наверное не админы и не девопсы делали. Выбрать неудачное место для АЭС можно и без компьютеров.
> и роняют самолеты.
Интересно, какие девопсы и эникеи самолеты роняют? Примеры?
> Остальную чушь не буду комментировать, ибо чушь.
По-моему тут и так все понятно: горе-индустриал спалился что совершенно ни в зуб ногой в тематике. Гуглить он видите ли пошел и узнал что это не так просто гуглится. Ну нагугли ариан5 чтоли. Только это, там ада была, которая на попсу ну вообще никак не тянет.
А если тебе интересно свежий факап - так это роскосмос, ракета и разгонный блок фрегат. Только там клещ вышел на стыковке алгоритмов действий ракеты и разгонного блока. И только потому что за древностью софта никто уже не помнит как это работает и никто в этом не разбирается. Как перешли на новый космодром, так и опачки - параметры изменились и не было никого кто смог понять как это работает. Ну там народ постил фото объявы с предложением поработать на тот нии. Вкратце, работать дворником в 3 раза выгоднее, не надо полжизни учиться и в случае чего не снимут стружку за йопс ракеты, представляешь?!

Ответить | Правка | Наверх | Cообщить модератору

100. "Instagram открыл код MonkeyType, системы аннотации типов для..." –2 +/–

Сообщение от Anonymoustus (ok), 23-Дек-17, 20:40

Так это утопил флотилию спутников, дитя ЕГЭ?

Ответить | Правка | Наверх | Cообщить модератору

106. "Instagram открыл код MonkeyType, системы аннотации типов для..." +2 +/–

Сообщение от Аноним (-), 23-Дек-17, 22:30

> Так это утопил флотилию спутников, дитя ЕГЭ?
Это дедушки которые это кодили вымерли, видимо не очень утруждая себя проектной документацией, а в силу общей культуры ведения проектов и пильбы спохватились только когда на всю шарагу вообще никто не знает как это работает. Отсюда и странное решение - вернуть запуски на Байконур. Там если ритуалы повторять - все пашет.
Но ты знаешь, это довольно уникальный феномен. Суть которого сводится к общей тухлости шараги и невменяемости зарплат.

Ответить | Правка | Наверх | Cообщить модератору

85. "Instagram открыл код MonkeyType, системы аннотации типов для..." +2 +/–

Сообщение от Anonymoustus (ok), 23-Дек-17, 15:16

Мир, вообще-то, не ограничен вашими виртуальными представлениями о вещах, но сильно больше их, качественно и количественно. В реальной жизни почти все задачи могут быть рассчитаны без вычислительной техники вообще. Что такое полезное вы дали миру, что он должен принимать во внимание ваши желания? С нетерпением жду подробного ответа.

Ответить | Правка | К родителю #71 | Наверх | Cообщить модератору

92. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Аноним (-), 23-Дек-17, 19:28

> Мир, вообще-то, не ограничен вашими виртуальными представлениями о вещах, но сильно больше
> их, качественно и количественно. В реальной жизни почти все задачи могут
> быть рассчитаны без вычислительной техники вообще.
А миллион мартышек с палкой-копалкой могут заменить экскаватор.
> Что такое полезное вы дали миру, что он должен принимать во внимание ваши желания?
> С нетерпением жду подробного ответа.
Мы изменили все. Машины помогают нам проектировать, 1 человек за неделю может больше чем совковое КБ с кульманами за год. Машины помогают нам рисовать модели того что мы хотим. Другие машины инструктируют исполнительные механизмы что сделать для того чтобы это повертеть в руках.
Теперь мы можем делать сложные вещи просто, быстро и повторяемо. Это примерно 4 промышленная революция. Это начало новой эры. Ты не принадлежишь этим процессам и подходам, твое время заканчивается.
В этой схеме первичен разработчик. С компьютером. Кульманы выбрасывают даже дегенераты из совковых кб уже. Их эра закончилась. Как эра палок-копалок.

Ответить | Правка | Наверх | Cообщить модератору

99. "Instagram открыл код MonkeyType, системы аннотации типов для..." –2 +/–

Сообщение от Anonymoustus (ok), 23-Дек-17, 20:36

Какой гиперактивный аноним! Так что конкретно ты сделал, дружок, для всеобщего счастья? Лозунгов больше не надо, я их тебе и сам написать могу.

Ответить | Правка | Наверх | Cообщить модератору

107. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Аноним (-), 23-Дек-17, 22:37

> Какой гиперактивный аноним! Так что конкретно ты сделал, дружок, для всеобщего счастья?
Я освоил CADы и научился запиливать разные интересные вещицы, на Linux и не только. Некоторым они оказались полезны. Это, конечно, не всеобщее счастье, а только для клиентов. Но им вроде нравится.
> Лозунгов больше не надо, я их тебе и сам написать могу.
Ты этим в основном и занимаешься, выдавая громкие заявы. Можешь хоть усраться но теперь самолеты - это сеть компьютеров. Это core дизайна системы. Это же случилось с поездами и автомобилями.
Да, эта трансформация решила часть старых проблем и принесла новые проблемы. И все-таки, ABS здорово втыкает даже матерым водятлам с 100500-летним стажем. Так что любой нуб с ABS тормозит лучше чем профессиональный дед-гонщик.

Ответить | Правка | Наверх | Cообщить модератору

110. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Анонимм (??), 23-Дек-17, 23:30

> И все-таки, ABS здорово втыкает даже матерым водятлам с 100500-летним стажем.
> Так что любой нуб с ABS тормозит лучше чем профессиональный дед-гонщик.
Гы.Только в теории и мечтах юных нагибаторов.
Потому что на практике из-за стресса или отношения "у меня все равно автоматика и подстраховочка, н*х мне сдалось еще и торможение отрабатывать?" перепутает газ с тормозом.
Или будет лишние полсекунды тупить, а ведь остановочный путь на самом деле равен времени реакции + тормозному пути и уже при скорости в 50-60 км/ч, за секунду (что cчитается средним временем реакции среднего автомобильщика) авто проедет 17м, это при тормозном пути в 18-20м.
А еще ABS не спасет при реакция "тапка в пол" (хорошо, если не педали газа), рот открыт в истошном визге, глаза закрыты руками.
Потому что кроме торможения желательно еще и рулить (о чем забывают не только блондикни), отворачивая или стараясь свести к касательной, а не продолжать переть в лоб.
Ну и сокращение тормозного пути с 50 на 40м ничем особо не поможет пешеходу, замеченному на расстоянии в 30м. Лихачество - проблема как раз юных нубов, склонных сильно переоценивать себя и технику.

Ответить | Правка | Наверх | Cообщить модератору

120. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Аноним (-), 24-Дек-17, 01:26

> Гы.Только в теории и мечтах юных нагибаторов.
В тестах дохраналиона автомобильных изданий. Но ABS это недостаточно хардкорно, попробуй лучше активную броню заменить собой. Подрессируешься и глядишь сможешь ракеты и снаряды пинками сшибать не хуже компьютера, да? Сможешь в цирке номера показывать. Если выживешь.
> Потому что на практике из-за стресса или отношения "у меня все равно
> автоматика и подстраховочка, н*х мне сдалось еще и торможение отрабатывать?" перепутает
> газ с тормозом.
Настолько обычно путаются только те кто права купил или только из-за парты. А так даже колхозники и бабки с ABS'ом - нормальные водители. Которые очень круто и эффективно тормозят.
> 50-60 км/ч, за секунду (что cчитается средним временем реакции среднего автомобильщика)
> авто проедет 17м, это при тормозном пути в 18-20м.
Однако при прочих равных ABS сокращает тормозной путь. Потому что не дает сорваться в скольжение. Физику не обманешь, коэффициент трения скольжения ниже максимального коэфф-та сцепления резины с поверхностью без проскальзывания. Поэтому пока резина не скользит - торможение эффективнее. Если кто в танке, идет и курит ВУЗовские учебники физики, раздел механика.
> А еще ABS не спасет при реакция "тапка в пол" (хорошо, если
> не педали газа), рот открыт в истошном визге, глаза закрыты руками.
При тапке тормоза в пол ABS останавливает машину как вкопаный с минимумом приключений. Это довольно неприятный опыт, потому что прикладывает здорово, зато человек и машина не расшибается. И прикладывает не настолько чтобы например подушки сработали. Т.е. это все-таки относительно нормальная остановка. А реальный риск при этом - что какой-нибудь убогий на рыдване сзади переоценит свои рефлексы и проявит оптимизм насчет дистанции. Вот тут есть шанс что при экстренной ситуации такое тело въедет в жо.

> Потому что кроме торможения желательно еще и рулить (о чем забывают не
> только блондикни), отворачивая или стараясь свести к касательной, а не продолжать
> переть в лоб.
Необходимость рулить очень зависит от того что и где. Я ездил с стремноватыми нубами и им хватало крутого торможения с ABS для ухода от довольно печальных возможных ситуаций. Не было бы у них ABS, пиндык бы им был. И мне заодно.
> Ну и сокращение тормозного пути с 50 на 40м ничем особо не
> поможет пешеходу, замеченному на расстоянии в 30м.
Зато если внезапное препятствие было на расстоянии 45 метров, в одном случае ничего не происходит, в другом кое кто как минимум здорово чинит свой рыдван, а может и себя.
> Лихачество - проблема как раз юных нубов, склонных сильно переоценивать себя и технику.
Насколько я вижу, "опытные водителии" в этом могут быть даже хуже, считая себя королями дороги и поэтому выписывая агрессивные и опасные маневры и плевать хотев на дистанцию и прочие глупости. У них же рефлексы сверхчеловека. Но вот характерное тррррр резины по асфальту и следы намекают что такое с дорог вообще надо убирать.

Ответить | Правка | Наверх | Cообщить модератору

129. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Анонимм (??), 24-Дек-17, 05:22

>> Гы.Только в теории и мечтах юных нагибаторов.
> В тестах дохраналиона автомобильных изданий. Но ABS это недостаточно хардкорно, попробуй
> лучше активную броню заменить собой. Подрессируешься и глядишь сможешь ракеты и
> снаряды пинками сшибать не хуже компьютера, да? Сможешь в цирке номера
> показывать. Если выживешь.
Сколько экспрессии и эмоций! Ух!
Хотите рассказать мне, насколько вкусны апельсины и крут ABS? Так я езжу с ним и ЕPS еще парой S с 2003 года. Я как раз в курсе, без всяких тестов и нахваливаний.
>> Потому что на практике из-за стресса или отношения "у меня все равно
>> автоматика и подстраховочка, н*х мне сдалось еще и торможение отрабатывать?" перепутает
>> газ с тормозом.
> Настолько обычно путаются только те кто права купил или только из-за парты.
Интересно, о каких же тогда лихо тормозящих нубах шла речь? Неужели есть ненубы, впадающие в ступор или путающие газ с тормозом?
>> 50-60 км/ч, за секунду (что cчитается средним временем реакции среднего автомобильщика)
>> авто проедет 17м, это при тормозном пути в 18-20м.
> Однако при прочих равных ABS сокращает тормозной путь. Потому что не дает
> сорваться в скольжение. Физику не обманешь, коэффициент трения скольжения ниже максимального
> коэфф-та сцепления резины с поверхностью без проскальзывания. Поэтому пока резина не
> скользит - торможение эффективнее. Если кто в танке, идет и курит ВУЗовские учебники физики, раздел механика.
Однако, при прочих равных, водительский опыт способствует более верной оценке ситуации и позволит сбросить заранее скорость или даже притормозить. И либо вообще не создавать проблему, либо обойтись без экстренного торможения.
Понимаете, быстро и управляемо останавливаться, это конечно классно и я как раз в курсе, даже без ваших хвалебных речей.
Но обычно этому предшествует некоторое время реакции, которое ограниченно уже чисто биологически. А до этого у нормального водителя идет постоянный мониторинг и оценка ситуации на дороге. Это помимо управления тарантасом.
Но внимание с концентрацией у любого индивида не бесконечное и у "дидов" есть хорошая фора - само управление тарантасом вбито уже в подкорку, идет в фоновом режиме, как и подмечание дорожных знаков с разметкой. Оставляя больше ресурсов для осознанного анализа.
Это кроме того, что тот самый опыт позволяет более точно и сходу оценивать кучу параметров - скорость движения других тарантасов, возможно стремные места дороги, нетипичное поведение некоторых участников.
Одно это, при прочих равных, дает уже возможность среагировать на полсекунды-секунду быстрее. Или еще за пяток секунд до этого сбросить скорость, притормозить, взять чуть в сторону, повременить со сменой полосы движения. И в итоге "не влипнуть" вообще.
А у нуба все примерно так "Так-с, нужно переключить скорость, значицца левая ножка на сцепление, правой рычаг скорости сдвинуть ... а на какой я сейчас еду ... а вниз-влево, так левой рукой рычажок с поворотником, о, дорожный знак ... взгляд на спидометр, чуть дожать правой ... Ой, дождевые капли, где там рычажок. Светофор зеленый, где моя полоса влево ... а что это моя ножка левая жмет, отпустить сцепление ... ух, контроль скорости, отжать правую,  перестраиваюсь, чей-то сигналят, вот хамы, подумаешь, поворотник забыл включить ... контроль скорости, ой знак ..."
И не надо кивать на автоматическую коробку передач и дождевой сенсор. Это убирает лишь пару пунктов нагрузки.
И внезапно, срабатывание АБСы - это следствие чьего-то факапа. И опять таки обычно можно смело сказать, что хотя бы частично факап этот как раз твой, водительский и его можно было предупредить, банально вовремя приподняв тапок с педали газа.
А кто в танке, может посчитать на калькуляторе, сколько проезжает авто в секунду на скорости в 50-60км/ч. И прикинуть, можно ли обмануть не только физику - когда тормозного пути тупо не хватает, но и биологию - когда индивид просто не успеет даже опустить свой тапок на педаль тормоза.
Поэтому нубам только и остается, что уповать на АБСы. Но помогает далеко не всегда, на что намекают интернациональные статистики ДПС с учетом возраста и стажа, как и коэффициенты в страховках. Они почему-то не в курсе, что нубы уделывают "дидов" только влет и "диды" с солидным стажем получают солидную скидку даже на свое ведро с гайками, в котором никаних S не предусмотренно конструкцией. Не умеют видать считать страховщики, куда им до анонов опеннета! А статистики, как известно всем - нагло врут!
>> А еще ABS не спасет при реакция "тапка в пол" (хорошо, если
>> не педали газа), рот открыт в истошном визге, глаза закрыты руками.
> При тапке тормоза в пол ABS останавливает машину как вкопаный с минимумом
> приключений. Это довольно неприятный опыт,
Неприятный опыт, это когда приходится созерцать такое вот чудо, прущее на тебя в лоб. Осознавая, что "как вкопанный" остановится оно в лучшем случае где-то в 5 метрах за тобой. Что без приключений - так это только если ты отвернешь в канаву. Или влево, на встречку, уповая на то, что чудо не одумается и не дернется туда же. Тогда да, можно будет наблюдать чужую остановку с минимумом приключений.
> Необходимость рулить очень зависит от того что и где. Я ездил с
> стремноватыми нубами и им хватало крутого торможения с ABS для ухода
> от довольно печальных возможных ситуаций. Не было бы у них ABS,
> пиндык бы им был. И мне заодно.
А что, собственного опыта вождения нет? Потому что оценить крутость торможения и неизбежность кирдыка из пассажирского сидения сложновато. А вот испуг и внезапный вброс адреналина гарантированно обеспечит негативный эмоциональный окрас воспоминаний, как и переоценку опасности.
Да и не знаю, я бы все таки предпочел водителя-"дида", который бы вообще не влип в такую ситуевину, вместо нахваливания нубов и как они классно торомзят с АБСом. А то ведь 40тонной фуре может быть до одного места, есть у него АБС или он на ведре с гайками высунулся сдуру на встречку или вылетел на перекресток.
>> Ну и сокращение тормозного пути с 50 на 40м ничем особо не
>> поможет пешеходу, замеченному на расстоянии в 30м.
> Зато если внезапное препятствие было на расстоянии 45 метров, в одном случае
> ничего не происходит, в другом кое кто как минимум здорово чинит
> свой рыдван, а может и себя.
О, надо же, настоящий джедай! Или все же рассуждения с высоты пассажирского дивана?
Потому что тормозной путь в 50 или 40 - это скорость где-то в сотку.
Чисто по нормам должно вроде быть 40м со 100кмч.
Только вот _остановочный_ путь складывается из тормозного и расстояния, преодоленного до начала торможения. Время реакции называется.
И отмахивая под 30 метров в секунду, нужно иметь реакцию пилота истребителя и не щелкать в этот момент клювом, чтобы начать тормозить хотя бы метров за 30 до препятствия.
А вот у нормальных людей за среднюю скорость реакции на непредвиденную ситуевину принимают как раз 1 секунду.
Так что совсем без последствий не получится никак, если ты не джедай. Да и чинить там будет особо нечего.
>> Лихачество - проблема как раз юных нубов, склонных сильно переоценивать себя и технику.
> Насколько я вижу, "опытные водителии" в этом могут быть даже хуже, считая
> себя королями дороги и поэтому выписывая агрессивные
Cубьективное мнение с высотоы пассажирского дивана, это кoнечно хорошо. Но ведь статистику ДПС явно кто-то усердно подделывает! И страховщики во всем мире сговорились, вот ведь гады! Не знают они, в отличие от анонимов опеннето, что АБС не только очередная помогалка, но здорово заменяет и опыт и здравый смысл.

Ответить | Правка | Наверх | Cообщить модератору

139. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Аноним (-), 24-Дек-17, 23:30

> Хотите рассказать мне, насколько вкусны апельсины и крут ABS? Так я езжу
> с ним и ЕPS еще парой S с 2003 года. Я как раз в курсе, без всяких тестов и нахваливаний.
Тогда в чем проблемы? Хочется потроллить? Или посмотреть на мир где всякие нубы и клуши без ABS рассекают? Смею заверить, ДТП станет больше и последствия тяжелее. В этом мире не каждому дано ощутить себя одним целым с машиной. Это факт. Некоторые так и остаются как на ходулях. Автоматика облегчает их участь и делает мир безопаснее. При том таких пожалуй большинство.
> Интересно, о каких же тогда лихо тормозящих нубах шла речь? Неужели есть
> ненубы, впадающие в ступор или путающие газ с тормозом?
О вон тех, которые выше. Которые не ощущают себя одним целым с машиной, но в случае с ABS они круто и корректно тормозят. Не теряя управления. Что очень полезно для сохранности и их самих и остальных.
> Однако, при прочих равных, водительский опыт способствует более верной оценке ситуации
> и позволит сбросить заранее скорость или даже притормозить.
С этим никто и не спорил. В идеале человек и машина подыгрывают друг другу и дополняют друг друга. Но это в идеале, так получается не всегда. Бывают и люди которые с техникой "на вы".
> И либо вообще не создавать проблему, либо обойтись без экстренного торможения.
Несомненно. Но не все проблемы вознимают предсказуемо и зависят от действий локального водителя.
> Но обычно этому предшествует некоторое время реакции, которое ограниченно уже чисто биологически.
Эта проблема есть и она известна. Сейчас даже появляются прототипы компьютерных систем пытающихся реагировать на некоторые такие события, типа выскакивания пешика. Они быстрее.
И все-таки при прочих равных крутое но корректное торможение это хорошо и снижает риск неприятностей. Мне просто выпало несколько шансов оценить экстренные торможения недалеких нубастых водил на своей шкуре. На мой вкус, без ABS это скорее всего кончалось бы как минимум здорово помятой машиной, если не ее обитателями.
> А до этого у нормального водителя идет постоянный мониторинг и оценка
> ситуации на дороге. Это помимо управления тарантасом.
Спасибо кэп.
> есть хорошая фора - само управление тарантасом вбито уже в подкорку,
> идет в фоновом режиме, как и подмечание дорожных знаков с разметкой.
Это да, НО у половины развиватеся самоуверенность, переоценка своих сил, ложное мнение что все остальные водят не хуже. Начинаются агрессивные маневры и метания, которые даже если сами по себе и заканчиваются ОК, провоцируют других на проблемные действия. И прочий гон на верхнем пределе погрешности спидометра. Если разрешено 110, будем 130 жать. Логика типичного россиянина. И все чтобы сэкономить несколько секунд.
> оценивать кучу параметров - скорость движения других тарантасов, возможно стремные места
> дороги, нетипичное поведение некоторых участников.
Все это верно. Но актуально в основном для профессиональных водителей которые много водят. А казуалы, которые используют машину чтобы попасть из пункта A в пункт B настолько этим всем заморачиваться не будут. И их даже большинство.
> чуть в сторону, повременить со сменой полосы движения. И в итоге
> "не влипнуть" вообще.
С этим никто не спорит, но не всем же быть таксистами и дальнобоями. Большинство хочет просто попасть из A в B без лишних заморочек. Из этого много чего следует. И не все тебе понравится.
> А у нуба все примерно так "Так-с, нужно переключить скорость, значицца левая
> ножка на сцепление, правой рычаг скорости сдвинуть ...
Нубы сейчас АКПП предпочитают и не имеют этой проблемы. За них все делает компьютер.
> И не надо кивать на автоматическую коробку передач и дождевой сенсор. Это
> убирает лишь пару пунктов нагрузки.
Пару пунктов здесь, пару пунктов там, а так глядишь и даже блондинка желающая попасть из A в B уже достаточно сносный водитель. А если бы она парилась дерганием ручки передач и правильной модуляцией торможения, ничего хорошего бы из этого не вышло.
> И внезапно, срабатывание АБСы - это следствие чьего-то факапа.
АКПП и ABS это улучшения man-machine-interface. Когда machine в курсе неидеальности human и умеет компенсировать все это. Не больше и не меньше. И это шаг вперед с точки зрения общей ситуации на дорогах.
> раз твой, водительский и его можно было предупредить, банально вовремя приподняв
> тапок с педали газа.
Если бы люди были идеальными... но они не идеальны, это не работает. Тезис о том что каждую блондинку можно отдрессировать до шумахера - фееричный булшит. Да и не хотят они дрессироваться, они хотят из пункта A в B.
> только физику - когда тормозного пути тупо не хватает,
А тут вот какое дело: индивид останется сам собой хоть там что. С ABSом у него при прочих равных будет более короткий тормозной путь. Это хорошо.
> Поэтому нубам только и остается, что уповать на АБСы. Но помогает далеко
> не всегда, на что намекают интернациональные статистики ДПС с учетом возраста и стажа,
Есть только одна проблема: до появления абс все было еще хуже. Правда не знаю как это статистически проверить, внедреж был плавный и параллельно было много иных факторов.
> стажем получают солидную скидку даже на свое ведро с гайками, в
> котором никаних S не предусмотренно конструкцией.
Мой пойнт был чуть иной: если блондинкам и казуалам раздать такие ведра, на дорогу вообще будет страшно высунуться.
> нагло врут!
жирно троллят и батхертят?
> Неприятный опыт, это когда приходится созерцать такое вот чудо, прущее на тебя в лоб.
Это решается по другому. Даже до россиян немного дошло, сплошной разделитель на магистралях стал появляться.
> Тогда да, можно будет наблюдать чужую остановку с минимумом приключений.
Встречка это вообще отдельная статья расходов, особенно у россиян. Предостаточно шумахеров которые водят выше среднего и считают что они "проскочат" и вообще, если кто обогнал - тот лох.
> А что, собственного опыта вождения нет? Потому что оценить крутость торможения и
> неизбежность кирдыка из пассажирского сидения сложновато.
Из пассажирского сидения можно понаблюдать за тем как это выглядит, как это делают разные люди и есть время для спокойного анализа. А когда ты ведешь сам - за дорогой надо следить, на глубокий анализ уже времени нет. Сильно задумываться за рулем вообще чревато.
> Да и не знаю, я бы все таки предпочел водителя-"дида", который бы
> вообще не влип в такую ситуевину, вместо нахваливания нубов
Ну, понимаешь, случаи бывают разные. И это не нахваливание нубов а понимание того что без "computer assistance" жизнь этих людей была бы менее комфортной а на дороге было бы опаснее. Пойнт не в нубах и не в ABS. Пойнт в будущем. И в будущем эти подходы будут только развиваться.
> ведре с гайками высунулся сдуру на встречку или вылетел на перекресток.
Хорошо-хорошо, от этого разделитель должен спасать а не абска.
> А вот у нормальных людей за среднюю скорость реакции на непредвиденную ситуевину
> принимают как раз 1 секунду.
Все так. И это означает что авто проскочит еще почти 30 метров. Однако более короткий тормозной путь в любом случае хорошо и понижает вероятность проблем.
> Так что совсем без последствий не получится никак, если ты не джедай.
> Да и чинить там будет особо нечего.
Джедаи обычно делают 150, видимо считая себя сверхчеловеками и бессмертными. Еще видал джеди на зубиле, на лысой летней резине хреначил по гололеду. Очень технично зашел в поворот боком и даже ничего не снес. Только ну его нафиг, если он хочет так ездить, пусть на специализированную трассу валит.
> Cубьективное мнение с высотоы пассажирского дивана, это кoнечно хорошо. Но ведь статистику
> ДПС явно кто-то усердно подделывает!
Как раз недавно ПДД прогнули по поводу агрессивного вождения. Уж страховщики там или как, но это индикатор наличия проблемы. Достаточно проехаться по магистрали и посмотреть как некоторые себя ведут. Они может и хорошие водители, но как люди - чудилы на букву м, плевать хотели на других и создают много проблемных и опасных ситуаций. А страховщики... пока им технически сложно учитывать такой стиль вождения. Но это временно, поверь. Скоро они все это смогут.

Ответить | Правка | Наверх | Cообщить модератору

87. "Instagram открыл код MonkeyType, системы аннотации типов для..." +1 +/–

Сообщение от Аноним (-), 23-Дек-17, 17:49

>> Эти же самые обезьяны, которые пишут тонны гoвнoкода, самые яростные агитаторы за
>> приобретение «ещё одной планки памяти».
> Системд у меня работает на одноплатниках которые сами как планка памяти размером.
> А вы можете сношаться с своими 486 и sysv init если
> вам это надо.
Казалось бы, причем тут вообще системда? Но нет, кто о чем, а сектанты все норовят о Дарах Пророка ввернуть.

Ответить | Правка | К родителю #71 | Наверх | Cообщить модератору

124. "Instagram открыл код MonkeyType, системы аннотации типов для..." +/–

Сообщение от Аноним (-), 24-Дек-17, 02:13

> Казалось бы, причем тут вообще системда?
Об этом расскажут коллеги из фирмы Pengutronix. Которые грамотно попросили в системду несколько полезныз плюшек для нашего ремесла. ЧСХ запилили в отличие от рассказов про этанинужна. Теперь вот нормальное апи вачдога для процессов есть.

Ответить | Правка | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру

3. "Instagram открыл код MonkeyType, системы аннотации типов для..."	+5 +/–
Сообщение от Аноним (-), 22-Дек-17, 12:51
сначала долго объясняли преимущества динамической типизации, уверяя, что она не является источником ошибок. ветер изменился?
Ответить \| Правка \| Наверх \| Cообщить модератору


	5. "Instagram открыл код MonkeyType, системы аннотации типов для..."	+2 +/–
	Сообщение от анонимбр (?), 22-Дек-17, 12:53
	потому динамическая типизация == постоянная попоболь ибо никогда нельзя доверять коду который раз и сломался:)
	Ответить \| Правка \| Наверх \| Cообщить модератору


	11. "Instagram открыл код MonkeyType, системы аннотации типов для..."	+/–
	Сообщение от Undefined (?), 22-Дек-17, 14:25
	"Ломание кода" - проблема организации процесса разработки, а не языков. Нужны юнит-тесты, ревью, документация, культура какая-то. Алсо вангую, опять сейчас начнут путать статическую типизацию со строгой. В Питоне, в отличие от того же JS, нельзя, грубо говоря, сложить теплое с мягким. Данные должны быть одного типа, приведены в явном виде, если потребуется.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	18. "Instagram открыл код MonkeyType, системы аннотации типов для..."	+10 +/–
	Сообщение от Crazy Alex (ok), 22-Дек-17, 16:20
	1) Баг, пойманный на ревью или тестами всё ещё дороже бага, пойманного на этвпе компиляции - на него времени больше потрачено 2) Типы - это гарантированно верная документация кода. И это упрощает сопровождение.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	22. "Instagram открыл код MonkeyType, системы аннотации типов для..."	–1 +/–
	Сообщение от Аноним (-), 22-Дек-17, 16:45
	если вы позволяете разработчику публиковать код для review до того как пройдут хотя бы базовые тесты - мне вас жаль. Искренне жаль.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	41. "Instagram открыл код MonkeyType, системы аннотации типов для..."	+5 +/–
	Сообщение от Crazy Alex (ok), 22-Дек-17, 19:24
	Это вам примерещилось что-то. 1) для динамики приходится писать больше тестов для покрытия вот этих глупых кейсов с типами. Это время на написание и поддержку. И на то, чтобы в ревью ещё и этот аспект отсмотреть. 2) теоретически юнит-тесты, конечно, должны быть быстрыми, но на практике они частенько ни хрена не быстрые, и времени на их прогон у разработчика уходит прилично, ещё до CI. 3) система типов перекрывает проблемы с типами гораздо надёжнее и не умеет "случайно пропустить" какой-то случай.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	27. "Instagram открыл код MonkeyType, системы аннотации типов для..."	+2 +/–
	Сообщение от M i M (?), 22-Дек-17, 17:28
	> В Питоне, в отличие от того же JS, нельзя, грубо говоря, сложить теплое с мягким. > Данные должны быть одного типа, приведены в явном виде, если потребуется. Можно. Например так: $ cat warm_plus_soft.py class Warm(object): def __init__(self, temperature): self.temperature = temperature def __add__(self, other): if isinstance(other, Soft): return Body(self.temperature, other.softness) raise TypeError() class Soft(object): def __init__(self, softness): self.softness = softness class Body(Warm, Soft): def __init__(self, temperature, softness): Warm.__init__(self, temperature) Soft.__init__(self, softness) def __add__(self, other): raise NotImplementedError() def __str__(self): return 'Body: temperature — {}, softness — {}'.format( self.temperature, self.softness ) if __name__ == '__main__': warm = Warm(100) soft = Soft(500) body = warm + soft print(body) $ python3 warm_plus_soft.py Body: temperature — 100, softness — 500
	Ответить \| Правка \| К родителю #11 \| Наверх \| Cообщить модератору


	52. "Instagram открыл код MonkeyType, системы аннотации типов для..."	+/–
	Сообщение от Аноним (-), 22-Дек-17, 21:46
	Ох лол. Если предусмотреть возможность сложения тёплого с мягким, то конечно можно.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	97. "Instagram открыл код MonkeyType, системы аннотации типов для..."	+/–
	Сообщение от анонимбр (?), 23-Дек-17, 20:14
	Можно, но не нужно изобретать квадратные колеса
	Ответить \| Правка \| К родителю #27 \| Наверх \| Cообщить модератору


	49. "Instagram открыл код MonkeyType, системы аннотации типов для..."	+2 +/–
	Сообщение от qsdg (ok), 22-Дек-17, 21:07
	> Нужны юнит-тесты, ревью, документация, культура какая-то. Работал я как-то на большом и нагруженном питон-проекте. В итоге дошло до того что каждая, абсолютно каждая строчка должна была быть покрыта юнит-тестами, иначе именно в ней всё обвалится. Соотношение строчек тесты/код у нас было больше единицы. И знаете, мы-таки заколебались поддерживать эти юнит тесты! Потом нам выделили ресурсы переписать всё на Жабе, там много всего было, конечно, но соотношение строчек тестов/кода упало до 0.8 или типа того. Мы наконец перестали покрывать тестами синтаксис вместо логики. Компания большая, силиконовая, всем известная, культура кода и ревью на высоком уровне, так что это не играло роли.
	Ответить \| Правка \| К родителю #11 \| Наверх \| Cообщить модератору


	96. "Instagram открыл код MonkeyType, системы аннотации типов для..."	+/–
	Сообщение от анонимбр (?), 23-Дек-17, 20:13
	Вот и мне это осточертело. Плюс для автодополнения в IDE все равно нужен тип, но через ()(). """ :type val:путь к классу """ На Java добро не дают:(
	Ответить \| Правка \| Наверх \| Cообщить модератору


	28. "Instagram открыл код MonkeyType, системы аннотации типов для..."	+/–
	Сообщение от Vkni (ok), 22-Дек-17, 17:30
	> потому динамическая типизация == постоянная попоболь ибо никогда нельзя доверять коду который > раз и сломался:) Это как бы давно очевидно. Шутка с Питоном в том, что его активно внедрять стали относительно недавно, а языки с a-hoc полиморфизмом известны уже лет 35 (семейство ML). Т.е., если сразу взять что-то типа Ocaml'а или SML'я (к 95-му были быстрые реализации), можно было иметь ту же самую гибкость и полный вывод типов в статике. Но индустрия решила пойти по граблям.
	Ответить \| Правка \| К родителю #5 \| Наверх \| Cообщить модератору


	42. "Instagram открыл код MonkeyType, системы аннотации типов для..."	+/–
	Сообщение от Crazy Alex (ok), 22-Дек-17, 19:29
	Индустрии не подошла сложность ML-языков. Она, чёрт возьми, индустрия, ей надо много и предсказуемо, а здесь чем проще - тем лучше. В результате вывод типов мы получили, но совсем не в ML, а вовсе даже в плюсах, и что важнее - в Go и C#. Больше того, при увеличении масштаба даже вывод типов (во всяком сулчае массовый) становится рискованным с точки зрения быстрого понимания горы незнакомого кода тем, кто его поддерживает. Примерно поэтому, к примеру, в плюсах его рекомендуют использовать с оглядкой.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	59. "Instagram открыл код MonkeyType, системы аннотации типов для..."	+1 +/–
	Сообщение от Ф (?), 23-Дек-17, 00:47
	Вот ни хрена в ML'ах нету той же самой гибкости. 1) Перегрузки нет. В OCaml'е хочешь напечатать int - используй print_int, хочешь напечатать string - используй print_string. Даже для float'ов все операции свои (+., -., *., /.). Прям офигенная экономия от того, что не надо писать типы. 2) Хочешь иметь объект "клиент" с полем "имя" и объект "продавец" с полем "имя"? Поля начинают друг друга херачить, потому что они функции в глобальном неймспейсе. Приходится называть поля "имяКлиента" и "имяПродавца". Зато язык не требует указывать типы, да. 3) Наконец, самое главное - если ты не указываешь типы нигде, то при нестыковках компилятор может заругаться на самое удивительное место и самый простой способ понять, что он хочет - поставить везде типы.
	Ответить \| Правка \| К родителю #28 \| Наверх \| Cообщить модератору


	142. "Instagram открыл код MonkeyType, системы аннотации типов для..."	+/–
	Сообщение от Vkni (ok), 27-Дек-17, 05:56
	1. Да, по-хорошему, нужны классы типов. 2. Для этого есть модули. 3. Совершенно не обязательно - есть такая конструкция failwith "Привет". Это вроде undefined в Хаскеле. Кроме того, народ работает над улучшением диагностики. ---------------- В любом случае, Питон до более-менее надёжных программ такой длины, при которой возникают эти проблемы, просто не добирается. А С++ этак раза в 2-3 медленнее в разработке.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	143. "Instagram открыл код MonkeyType, системы аннотации типов для..."	+/–
	Сообщение от Ф (?), 28-Дек-17, 12:50
	1. Классы типов - хитрая штука, и ни разу не замена питону. В ML'ях хотя бы было такое свойство: программа либо вообще не компилируется, либо имеет одну главную типизацию, из которой все остальные выводятся как частные случаи. Классы типов рушат это свойство, и программа может перестать работать (но продолжать компилироваться), если стереть аннотации типов. 2. типа import Клиент as К import Продавец аs П ... К.имя... ... П.имя... ? ну ладно, пусть так 3. я не про exceptions, я про то, что программа не компилируется из-за неправильных типов, но ошибка выдается не там, где она есть, а где-то глубоко внутри функции, которая сама-то правильная, но типы явно не прописаны. ---------- вот поэтому ынтырпрайз пишет на джаве
	Ответить \| Правка \| Наверх \| Cообщить модератору


	144. "Instagram открыл код MonkeyType, системы аннотации типов для..."	+/–
	Сообщение от Vkni (ok), 29-Дек-17, 07:54
	> 1. В ML'ях хотя бы было такое свойство: программа либо вообще не > компилируется, либо имеет одну главную типизацию, из которой все остальные выводятся > как частные случаи. Классы типов рушат это свойство, и программа может > перестать работать (но продолжать компилироваться), если стереть аннотации типов. Не. Классы типов, если нормально написаны, это свойство практически не рушат. Кроме того, я совершенно не уверен, что отсутствие аннотаций типов вот так уж и хорошо. См. исходники компилятора Ocaml'а - там же без поллитра вообще не разберёшься. > 2. типа > ну ладно, пусть так Ну да, примерно так. > 3. я не про exceptions, я про то, что программа не компилируется > из-за неправильных типов, но ошибка выдается не там, где она есть, > а где-то глубоко внутри функции, которая сама-то правильная, но типы явно > не прописаны. Это я описал практический приём отладки вот таких проблем. В Хаскеле ставится заглушка undefined, дальше компилируется. В ocaml'е вместо неё можно ставить failwith "unimplemented"; кроме того, ставятся аннотации типов там, где нужно. После этого всё сводится, а главное - работает.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	64. "Instagram открыл код MonkeyType, системы аннотации типов для..."	+2 +/–
	Сообщение от Anonymoustus (ok), 23-Дек-17, 02:55
	Умные программисты встречаются весьма редко, а делать и продавать гoвнoпродукт надо каждый день. Так что индустрия решила нанимать обезьян с модными молодёжными фреймворками для быстрой разработки. Катастрофические последствия чего мы наблюдаем повсеместно. И самолёты, кстати, от этого уже падают.
	Ответить \| Правка \| К родителю #28 \| Наверх \| Cообщить модератору


	70. "Instagram открыл код MonkeyType, системы аннотации типов для..."	+/–
	Сообщение от Аноним (-), 23-Дек-17, 04:10
	> Умные программисты встречаются весьма редко, а делать и продавать гoвнoпродукт надо каждый > день. Так что индустрия решила нанимать обезьян с модными молодёжными фреймворками > для быстрой разработки. Катастрофические последствия чего мы наблюдаем повсеместно. И > самолёты, кстати, от этого уже падают. Очень интересно, какие хипстерские фреймворки и в каком самолете были использованы? А то авиаторы насчет надежности достаточно повернуты и у них можно поучиться софт писать и делать надежно.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	80. "Instagram открыл код MonkeyType, системы аннотации типов для..."	+/–
	Сообщение от Аноним (-), 23-Дек-17, 13:19
	> И самолёты, кстати, от этого уже падают. В целом согласен, но про самолёты хотелось бы пруфов.
	Ответить \| Правка \| К родителю #64 \| Наверх \| Cообщить модератору


	81. "Instagram открыл код MonkeyType, системы аннотации типов для..."	+/–
	Сообщение от Аноним (-), 23-Дек-17, 13:42
	Он ошибся, не самолеты а спутники!
	Ответить \| Правка \| Наверх \| Cообщить модератору


	83. "Instagram открыл код MonkeyType, системы аннотации типов для..."	+/–
	Сообщение от Anonymoustus (ok), 23-Дек-17, 14:55
	Не ошибся, просто привёл в пример первое пришедшее на ум. Так-то эта проблема имеет место во всей сложной технике. Включая, опять же для примера, автомобили, а которых может «сойти с ума» бортовой компьютер, управляющий, в числе прочего, тормозной системой, отчего счастливый водитель может уехать в больницу или на кладбище — и всё лишь потому, что фанатично верующие в свой модный фреймворк макаки убедили компанию сделать компьютер под линукс, а не под QNX, и сэкономить три копейки «прямо щяс», впоследствии потеряв на судебных исках миллионы.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	90. "Instagram открыл код MonkeyType, системы аннотации типов для..."	+1 +/–
	Сообщение от Аноним (-), 23-Дек-17, 18:38
	> примера, автомобили, а которых может «сойти с ума» бортовой компьютер, управляющий, > в числе прочего, тормозной системой, Чтобы умничать - надо хоть немного разбираться как это устроено. Что такое CAN и кто на нем висит. ECU и ABS никто не пишет на супер-фреймворках. Мелкий аккуратный сишечка, вылизанный от и до - ошибки дорого обходятся. > отчего счастливый водитель может уехать в больницу или на кладбище — С практической точки зрения водятел быстрее попадет на кладбище на примитивной механике, потому что тормозить с эффективностью ABS-а - контринтуитивно и против человеческих рефлексов вида "тапка в пол". Очень опытные водятлы вырабатывают грубую аппроксимацию но ABS с датчиками намного лучше чувствует начало юза и держит коэффициент трения на максимуме. Поэтому тормозной путь с ABS - заметно короче чем без него. Очень способствует тому чтобы на кладбище не попасть лишний раз. > не под QNX, и сэкономить три копейки «прямо щяс», впоследствии потеряв > на судебных исках миллионы. Там в критичных местах никакого QNX, простые микроконтроллеры. Писюки вообще к реалтаймным делам подпускать нельзя.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	98. "Instagram открыл код MonkeyType, системы аннотации типов для..."	–1 +/–
	Сообщение от Anonymoustus (ok), 23-Дек-17, 20:33
	https://www.viva64.com/ru/b/0439/ Распедальте несведущим читателям, что на чём и кто на ком висит, и почему отзывают машины «из-за ковриков». > Там в критичных местах никакого QNX, простые микроконтроллеры. Писюки вообще к реалтаймным делам подпускать нельзя. Дружок, ты точно знаешь, что такое QNX и что такое бортовой компьютер?
	Ответить \| Правка \| Наверх \| Cообщить модератору


	102. "Instagram открыл код MonkeyType, системы аннотации типов для..."	+/–
	Сообщение от Аноним (-), 23-Дек-17, 21:30
	И где в твоей рекламной ссылке написано про модные фреймворки, Linux, QNX или "бортовой компьютер"? И что ты, сеошник карповский, в этом смыслишь?
	Ответить \| Правка \| Наверх \| Cообщить модератору


	103. "Instagram открыл код MonkeyType, системы аннотации типов для..."	+/–
	Сообщение от Аноним (-), 23-Дек-17, 22:09
	> Распедальте несведущим читателям, что на чём и кто на ком висит, Там висят рассуждизмы и реклама. > Дружок, ты точно знаешь, что такое QNX и что такое бортовой компьютер? Дяденька, у меня QNX вотпрямща в виртуалке запущен. Ибо реверс античного индустриального хлама на который все забили. Если ты меня хочешь поучить этому, с твоим характерным уровнем экспертизы - а ну тебя в пень.
	Ответить \| Правка \| К родителю #98 \| Наверх \| Cообщить модератору


	105. "Instagram открыл код MonkeyType, системы аннотации типов для..."	+/–
	Сообщение от Анонимм (??), 23-Дек-17, 22:29
	> и против человеческих домкратов вида "тапка в пол" Пофисил, не стоит благодарности! Нет таких "интуитивных человеческих рефлексов". Для появления условного рефлекса нужно его нарабатывать/тренировать. Т.е. раз за разом повторять похожую ситуацию. Только вот в отличие от профессионалов, у любителей обычно нет на это ни средтств, ни тренажеров, ни желания. > Поэтому тормозной путь с ABS - заметно короче чем без него. Очень способствует тому чтобы на кладбище не попасть лишний раз. Тормозной путь с АBS отличается вообще-то заметно лучшей управляемостью. А уж длиннее или короче - зависит от конкретной ситуации. На снегу, песке, гравии и прочем - заметно длиннее. На сухом асфальте особой разницы не будет. На мокром - да, короче. Но опять же, ценна как раз возможность управления.
	Ответить \| Правка \| К родителю #90 \| Наверх \| Cообщить модератору


	116. "Instagram открыл код MonkeyType, системы аннотации типов для..."	+/–
	Сообщение от Аноним (-), 24-Дек-17, 00:40
	> Нет таких "интуитивных человеческих рефлексов". Это нормальное поведение обычного индивида - если надо резко тормозить, значит надо максимально жать на педаль. А вот что зависимость может быть нелинейной и после некоторого порога вжатия может стать только хуже - нихрена не очевидно. > повторять похожую ситуацию. Только вот в отличие от профессионалов, у любителей > обычно нет на это ни средтств, ни тренажеров, ни желания. Быть собакой Павлова вообше удовольствие на любителя. А машины справляются с рутинной работой лучше и реагируют быстрее, что ни говори. > Тормозной путь с АBS отличается вообще-то заметно лучшей управляемостью. > А уж длиннее или короче - зависит от конкретной ситуации. Тут дело в том что коэффициент трения максимален ДО срыва резины в скольжение. Когда началось скольжение, коэффициент трения падает. ABS балансирует на максимальном коэффициенте трения, не допуская срыва в скольжение. Эффектные следы резины на асфальте кроме всего прочего гаранитруют длинный тормозной путь, больше чем с ABS. > На снегу, песке, гравии и прочем - заметно длиннее. На сухом асфальте особой > разницы не будет. На мокром - да, короче. Но опять же, ценна как раз возможность управления. Ценна автоматическая оптимизация процесса торможения, достаточно втопить педаль и дальше машина сама разбирается как максимально круто затормозить. Не срываясь в юз. Потеря управляемости часть проблемы. Вторая часть проблемы в том что трение скольжения ниже максимального трения. И таки большинство тестов недвусмысленно показывает что ABS сокращает тормозной путь. И при том сохраняет управляемость. Очень полезная штука. Может быть, профессиональным гонщикам или внедорожникам и будет мешаться в экзотичных ситуациях, но это больше исключения.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	119. "Instagram открыл код MonkeyType, системы аннотации типов для..."	+/–
	Сообщение от Анонимм (??), 24-Дек-17, 01:21
	>> На снегу, песке, гравии и прочем - заметно длиннее. На сухом асфальте особой >> разницы не будет. На мокром - да, короче. Но опять же, ценна как раз возможность управления. > Вторая часть проблемы в том что трение скольжения ниже максимального трения. И таки большинство тестов недвусмысленно показывает > что ABS сокращает тормозной путь. Тут все дело в том, что на достаточно сыпучем грунте перед заблокированными колесами быстро образуется вал этого самого грунта. И он таки обеспечивает очень неплохое трение и тормозной эффект. Ваш Кэп
	Ответить \| Правка \| Наверх \| Cообщить модератору


	128. "Instagram открыл код MonkeyType, системы аннотации типов для..."	+/–
	Сообщение от Аноним (-), 24-Дек-17, 02:42
	> Тут все дело в том, что на достаточно сыпучем грунте перед заблокированными > колесами быстро образуется вал этого самого грунта. Большинство автомобилистов предпочитает ездить по асфальту или какому-то его подобию, знаете ли. Из асфальта сделать резинкой вал довольно проблематично. А про всяких внедорожников и гонщиков вроде там было написано.
	Ответить \| Правка \| Наверх \| Cообщить модератору