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

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) 1,3,4,6,8,9,32,37,40,46,62

Сообщения

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

	76. "Instagram открыл код MonkeyType, системы аннотации типов для..."	+/–
	Сообщение от eganru (?), 23-Дек-17, 10:06
	[i]Ну там например для системных вызовов - там уж такой интерфейс, какой есть. [/i] - я когда писал себе операционную систему сделал системные вызовы вообще вот так: /** * system call * number after syscall is argument count */ static inline __attribute__((always_inline)) u32_u32 syscall0(u8 syscall_num) {     volatile register u32_u32 __attribute__((unused)) result asm ("$2");     volatile register u32 __attribute__((unused)) bogus asm ("$3");     __asm__ volatile ("move %0, %1\n\t\             syscall"\             : "+r"(result)\             : "r"(syscall_num));     return result; } для каждого количества аргументов по такому вызову, а потом селектор на макросе. [i]Пардон, в си компилятор за откровенно левые действия с типами по пальцам даст[/i] - проблемы в С обычно находятся там, где человек уже перестает ясно понимать логику работы. В питоне, насколько я помню, примерно там же. То есть дело вряд-ли конкретно в языке. понятное дело, что на С и на Питоне пишут все же в основном разные вещи.
	Ответить | Правка | Наверх | Cообщить модератору

	95. "Instagram открыл код MonkeyType, системы аннотации типов для..."	–1 +/–
	Сообщение от Аноним (-), 23-Дек-17, 19:56
	> я когда писал себе операционную систему сделал системные вызовы вообще вот так: Ну, блин, твоя операционная система только тебе и нужна. А в полезном на практике пингвине - posix. Он местами дурной и местами кривой, типы данных неважные, и вообще. Но сильно менять уже никто не будет, потому что тогда придется переписывать весь софт. И не в обиду тарабарщину вида static inline __attribute__((always_inline)) u32_u32 занимающую полстроки можно было заменить каким-нибудь макросом, чтоли. А asm - вообще непортабельно и убивает весь пойнт Си. > проблемы в С обычно находятся там, где человек уже перестает ясно понимать логику работы. Это обычно случается если человек лабух и не смог вовремя осознать что софт надо разбивать на отдельные логически независимые компоненты. > В питоне, насколько я помню, примерно там же. То есть дело вряд-ли конкретно в языке. Это во всей разработке софта так - зависимость сложности написания от размера примерно квадратичная. Но это лечится, если програмер не лапух и допирает до упомянутого выше. Правда потом оказывается что между компонентами взаимодействие и оно тоже может глючить. Но это все-таки лучше квадратичной зависмости.
	Ответить | Правка | Наверх | Cообщить модератору

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

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