forum.opennet.ru

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

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

Исходное сообщение

[ Отслеживать ]

Отдельный RSS теперь доступен для каждого обсуждения в форуме и каждого минипортала.

. "Instagram открыл код MonkeyType, системы аннотации типов для..."	+/–
Сообщение от Онаним (?), 23-Дек-17, 00:11
C/C++ - слабо-типизированные языки, позволяющие и провоцирующие написание ненадёжного кода и постоянно играющие злые шутки с теми, кто думает, что знает и умеет их. На C/C++ практически невозможно написать программу без багов, 100% точно описывающую какую-бы то ни было формальную задачу. Тем, кому не нравится динамическая типизация и кто ищет в строгой типизации и у компилятора помощи в защите от багов наиболее логично переходить на Haskell, а никак не на C/C++.
Ответить \| Правка \| Наверх \| Cообщить модератору

Оглавление

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

Жаль что эти аннотации не проверяются в debug-рантайме Или уже запилили , Аноним, 22-Дек-17, 11:57 (1) //
- Есть библиотеки, которые на основе аннотаций строят дополнительные проверки вход, Аноним, 25-Дек-17, 19:24 (140)
сначала долго объясняли преимущества динамической типизации, уверяя, что она не , Аноним, 22-Дек-17, 12:51 (3) //
- потому динамическая типизация постоянная попоболь ибо никогда нельзя доверять, анонимбр, 22-Дек-17, 12:53 (5) //
  - Ломание кода - проблема организации процесса разработки, а не языков Нужны юн, Undefined, 22-Дек-17, 14:25 (11) //
    - 1 Баг, пойманный на ревью или тестами всё ещё дороже бага, пойманного на этвпе , Crazy Alex, 22-Дек-17, 16:20 (18)
      - если вы позволяете разработчику публиковать код для review до того как пройдут х, Аноним, 22-Дек-17, 16:45 (22)
        
        Это вам примерещилось что-то 1 для динамики приходится писать больше тестов для, Crazy Alex, 22-Дек-17, 19:24 (41)
    - Можно Например так cat warm_plus_soft py class Warm object def __init__ , M i M, 22-Дек-17, 17:28 (27)
      - Ох лол Если предусмотреть возможность сложения тёплого с мягким, то конечно мож, Аноним, 22-Дек-17, 21:46 (52)
      - Можно, но не нужно изобретать квадратные колеса, анонимбр, 23-Дек-17, 20:14 (97)
    - Работал я как-то на большом и нагруженном питон-проекте В итоге дошло до того ч, qsdg, 22-Дек-17, 21:07 (49)
      - Вот и мне это осточертело Плюс для автодополнения в IDE все равно нужен тип, но, анонимбр, 23-Дек-17, 20:13 (96)
  - Это как бы давно очевидно Шутка с Питоном в том, что его активно внедрять стали, Vkni, 22-Дек-17, 17:30 (28) //
    - Индустрии не подошла сложность ML-языков Она, чёрт возьми, индустрия, ей надо м, Crazy Alex, 22-Дек-17, 19:29 (42)
    - Вот ни хрена в ML ах нету той же самой гибкости 1 Перегрузки нет В OCaml е хоч, Ф, 23-Дек-17, 00:47 (59)
      - 1 Да, по-хорошему, нужны классы типов 2 Для этого есть модули 3 Совершенно не, Vkni, 27-Дек-17, 05:56 (142)
        
        1 Классы типов - хитрая штука, и ни разу не замена питону В ML ях хотя бы было, Ф, 28-Дек-17, 12:50 (143)
        
        Не Классы типов, если нормально написаны, это свойство практически не рушат Кр, Vkni, 29-Дек-17, 07:54 (144)
    - Умные программисты встречаются весьма редко, а делать и продавать гoвнoпродукт н, Anonymoustus, 23-Дек-17, 02:55 (64)
      - Очень интересно, какие хипстерские фреймворки и в каком самолете были использова, Аноним, 23-Дек-17, 04:10 (70)
      - В целом согласен, но про самолёты хотелось бы пруфов , Аноним, 23-Дек-17, 13:19 (80)
        
        Он ошибся, не самолеты а спутники , Аноним, 23-Дек-17, 13:42 (81)
        
        Не ошибся, просто привёл в пример первое пришедшее на ум Так-то эта проблема им, Anonymoustus, 23-Дек-17, 14:55 (83)
        
        Чтобы умничать - надо хоть немного разбираться как это устроено Что такое CAN и, Аноним, 23-Дек-17, 18:38 (90)
        
        https www viva64 com ru b 0439 Распедальте несведущим читателям, что на чём и , Anonymoustus, 23-Дек-17, 20:33 (98)
        
        И где в твоей рекламной ссылке написано про модные фреймворки, Linux, QNX или б, Аноним, 23-Дек-17, 21:30 (102)
        Там висят рассуждизмы и реклама Дяденька, у меня QNX вотпрямща в виртуалке запущ, Аноним, 23-Дек-17, 22:09 (103)
        
        Пофисил, не стоит благодарности Нет таких интуитивных человеческих рефлексов , Анонимм, 23-Дек-17, 22:29 (105)
        
        Это нормальное поведение обычного индивида - если надо резко тормозить, значит н, Аноним, 24-Дек-17, 00:40 (116)
        
        Тут все дело в том, что на достаточно сыпучем грунте перед заблокированными коле, Анонимм, 24-Дек-17, 01:21 (119)
        
        Большинство автомобилистов предпочитает ездить по асфальту или какому-то его под, Аноним, 24-Дек-17, 02:42 (128)
        Согласен Снег ведь всегда убирают вовремя, а за МКАДом жизни нет Или автомобил, Аноним, 24-Дек-17, 05:39 (130)
        Представляешь, по умолчанию предполагается что автомобили ездят по асфальту Бол, Аноним, 24-Дек-17, 21:27 (138)
        
        Не интересовался данным вопросом, но уверен, что тормоза и рулевое вообще не сид, лютый жабист__, 24-Дек-17, 01:31 (121)
        
        Ничуть В авто с ABS и контролем курсовой устойчивости через CAN связаны тормоза, Аноним, 24-Дек-17, 02:15 (125)
        
        Пещерные чудаки с тазиками никак не могут взять в толк что мир изменился и архит, Аноним, 24-Дек-17, 02:40 (127)
        
        Чувак на хабре довольно основательно разреверсил свою машину и подробно описал т, Аноним, 24-Дек-17, 02:35 (126)
        
        Сперва хотел ответить, что легко гуглится, но это в самом деле не та тема, котор, Anonymoustus, 23-Дек-17, 14:48 (82)
        
        А можно взять и сделать иначе - МК для низкоуровневого управления и обработки ср, Аноним, 24-Дек-17, 00:56 (117)
        Покажи-ка такой станок не собранный Васяном в гараже, а за миллион долларов , к, Аноним, 24-Дек-17, 12:58 (132)
        
        Вот ещё из коментов к статьям по ссылкам, что я написал http www-users math u, Anonymoustus, 23-Дек-17, 16:23 (86)
- Просто софт стал сложнее Как и везде, с ростом масштабов увеличивается процент р, Crazy Alex, 22-Дек-17, 16:24 (20) //
  - SML Ocaml же , Vkni, 22-Дек-17, 17:32 (29) //
    - Шутишь, да Так и представил себе всех этих миддлов, клепающих на окамле Вот , Crazy Alex, 22-Дек-17, 19:30 (43)
      - А что там такого сложного Особенно после SICP Вот, скажем, Введение в Стандар, Vkni, 24-Дек-17, 01:54 (122)
    - Когти в клавиатуре застряли - Хотя можно и дядюшку Фрейда приплести - гнусная , Crazy Alex, 22-Дек-17, 19:32 (44)
      - И то, и другое, кстати, более чем естественно - С другой стороны, есть минима, Vkni, 23-Дек-17, 23:56 (112)
  - Самое время задаться вопросом почему Автомобили, самолёты, сложнейшие станки, о, Anonymoustus, 23-Дек-17, 15:12 (84) //
    - Почему палку-копалку заменили более сложной лопатой А потом и самосвалы с экска, Аноним, 23-Дек-17, 19:42 (93)
      - Оно и видно, дружок, что ты не знаешь о том, что Cx 0,18 то есть практически до, Anonymoustus, 23-Дек-17, 20:49 (101)
        
        А теперь вопрос на миллион попробуй это чудо массово произвести по технологиям , Аноним, 23-Дек-17, 22:22 (104)
        Чё Ты хоть читал статью, на которую ссылаешься Ничего эти диды не сделали, они, Ordu, 23-Дек-17, 22:46 (108)
        
        А сейчас на си пишут даже фирмвари для микроконтроллеров И даже железо порой си, Аноним, 24-Дек-17, 01:07 (118)
        Вообще-то всё было не так Дело происходило уже после того, как Bell Labs прекра, Аноним, 24-Дек-17, 13:17 (133)
        
        Освежил память педивикией -- да, ты прав Именно так и было Заказ был спущен св, Ordu, 24-Дек-17, 13:38 (134)
        
        Что за бред Юникс переписали на C, чтобы обеспечить портируемость ядра и софта , black fang, 24-Дек-17, 17:12 (135)
        
        Ты думаешь, что хипстерство определяется целями человека Ты не прав, хипстерств, Ordu, 24-Дек-17, 18:03 (136)
        Все течет, все меняется Насчет си врать не буду, но натыкался на списки рассы, Аноним84701, 24-Дек-17, 18:52 (137)
    - Боюсь, PDP не был никогда на острие рокет саенса Это же рабочая лошадка , Vkni, 23-Дек-17, 23:58 (113)
- а потом обнаружили что вебмакаки постоянно присваивают что попало как попало и о, Аноним, 23-Дек-17, 02:09 (60) //
  - Да-да, это вебмакаки написали шестой перл, третий питон, системду и Windows 10 П, Anonymoustus, 23-Дек-17, 03:02 (65) //
    - Машина должна работать, а человек - думать Принцип IBM Если его усвоили даже м, Аноним, 23-Дек-17, 04:21 (71)
      - Что-то многие знания и жизненный опыт мне подсказывает, что горе-админ, прилож, Anonymoustus, 23-Дек-17, 10:14 (77)
        
        А что, эникейщики уже научились цунами запускать Тогда пора строить хижину в го, Аноним, 23-Дек-17, 19:01 (91)
        
        Так это утопил флотилию спутников, дитя ЕГЭ , Anonymoustus, 23-Дек-17, 20:40 (100)
        
        Это дедушки которые это кодили вымерли, видимо не очень утруждая себя проектной , Аноним, 23-Дек-17, 22:30 (106)
      - Мир, вообще-то, не ограничен вашими виртуальными представлениями о вещах, но сил, Anonymoustus, 23-Дек-17, 15:16 (85)
        
        А миллион мартышек с палкой-копалкой могут заменить экскаватор Мы изменили все , Аноним, 23-Дек-17, 19:28 (92)
        
        Какой гиперактивный аноним Так что конкретно ты сделал, дружок, для всеобщего с, Anonymoustus, 23-Дек-17, 20:36 (99)
        
        Я освоил CADы и научился запиливать разные интересные вещицы, на Linux и не толь, Аноним, 23-Дек-17, 22:37 (107)
        
        Гы Только в теории и мечтах юных нагибаторов Потому что на практике из-за стресс, Анонимм, 23-Дек-17, 23:30 (110)
        
        В тестах дохраналиона автомобильных изданий Но ABS это недостаточно хардкорно, , Аноним, 24-Дек-17, 01:26 (120)
        
        Сколько экспрессии и эмоций Ух Хотите рассказать мне, насколько вкусны апельси, Анонимм, 24-Дек-17, 05:22 (129)
        
        Тогда в чем проблемы Хочется потроллить Или посмотреть на мир где всякие нубы , Аноним, 24-Дек-17, 23:30 (139)
      - Казалось бы, причем тут вообще системда Но нет, кто о чем, а сектанты все норов, Аноним, 23-Дек-17, 17:49 (87)
        
        Об этом расскажут коллеги из фирмы Pengutronix Которые грамотно попросили в сис, Аноним, 24-Дек-17, 02:13 (124)
Не понятно только на фига тогда писать на Python, если нужна статическая типизац, анонимбр, 22-Дек-17, 12:52 (4) //
- Парсер JSON там хороший , Аноним, 22-Дек-17, 13:26 (7) //
  - Так и знал, что все преимущества бидона заключаются в чём-то подобном , Аноним, 22-Дек-17, 19:57 (47)
  - Ну уж этого добра везде хватает , Vkni, 23-Дек-17, 23:59 (114)
- Да так же, как у мордокниги с похапе сначала понакодили миллионы строк, потом з, Аноним, 22-Дек-17, 14:03 (10) //
  - так ведь инстаграмм принадлежит мордокниге , Аноним, 22-Дек-17, 18:18 (34) //
    - То-то у меня дежавю , Аноним, 22-Дек-17, 20:48 (48)
    - Они его купили уже когда инстаграм был оче популярным , Аноним, 22-Дек-17, 21:53 (54)
    - так и то и другое поначалу было сделано в хипстерском стиле, а когда взлетело - , Аноним, 23-Дек-17, 02:13 (61)
- Потому что им нужен был быстрый MVP minimal valuable product На скриптовых я, Василий Топоров, 22-Дек-17, 17:13 (25)
- В условиях стартапа статические языки не рентабельны , Аноним, 22-Дек-17, 19:15 (39) //
  - Ну я работал в стартапах и поднимал стартапы Скорость написания одна и та же, н, qsdg, 22-Дек-17, 21:24 (50) //
    - Эпичное неосиляторство , Аноним, 22-Дек-17, 22:43 (56)
    - Боже, и ведь эти люди нынче пишут системный софт и прошивки для промышленных АСУ, Anonymoustus, 23-Дек-17, 03:08 (66)
      - Ну, блин, ты же не написал системный софт, прошивки и АСУ правильно Пришлось др, Аноним, 23-Дек-17, 04:24 (72)
        
        Пусть вас такие же врачи лечат, которые 171 уж как умеют 187 Что, уже калеч, Anonymoustus, 23-Дек-17, 10:18 (78)
        
        Они так и лечат, собственно Что в пределах возможностей - то и делают А ты мож, Аноним, 23-Дек-17, 19:48 (94)
Посмотрел на заголовок, угадал лицензию Молодцы Вторая компания за неделю, кот, Аноним, 22-Дек-17, 13:01 (6) //
- Всё таки не зря я обращаю на это внимание Люди начинают понимать какие лицензии, Тот_Самый_Анонимус, 22-Дек-17, 18:30 (36) //
  - В стаде monkey послышались возбужденные голоса , Аноним, 23-Дек-17, 04:25 (73) //
    - Ого monkey умеют жать минус , Stop, 24-Дек-17, 07:12 (131)
Статическая типизация не нужна, говорили они Динамическая типизация ускоряет и у, Пользователь Debian, 22-Дек-17, 13:44 (8) //
- Так не врали же Про поддержку rовн чужого кода никто не заикался , Аноним, 22-Дек-17, 17:01 (24) //
  - своего тоже Разработал и забил зато быстро, да , пох, 22-Дек-17, 18:02 (33)
- Ага, то же самое говорили про Schemaless в база данных А по факту получилось ч, qsdg, 22-Дек-17, 21:28 (51) //
  - Ты в любом случае будешь поддерживать схему сам, ибо искуственный интеллект кото, Аноним, 23-Дек-17, 04:25 (74)
Что только люди ни делают, лишь бы на C C не писать , Аноним, 22-Дек-17, 13:51 (9) //
- показывай свой код на c c , трепло, Аноним, 22-Дек-17, 14:46 (13) //
  - Что, ты искренне считаешь, что писать код на Си могут лишь избранные и Аноним лж, A.Stahl, 22-Дек-17, 15:10 (15) //
    - Но не все потом смогут на этот код смотреть так, что при этом не хватил Кондрати, Филипп Филиппович, 22-Дек-17, 15:59 (17)
      - Ну да, например, Поттеринг не может, Crazy Alex, 22-Дек-17, 17:24 (26)
      - Смотреть в завтрашний код смогут не только лишь все , Аноним, 22-Дек-17, 21:55 (55)
        
        мало кто сможет это делать с , ыы, 23-Дек-17, 17:49 (88)
    - Писать то может Нормально писать - уже не каждый Макаки не понимают указателей, Аноним, 23-Дек-17, 04:00 (67)
- Дык Если можно не писать на C C , лучше не писать , Vkni, 22-Дек-17, 17:33 (30) //
  - Специально для вас есть monkey-что-то-там Но ощущать себя обезьяной при написан, Аноним, 23-Дек-17, 04:01 (68) //
    - Спасибо, но Питон вместо C - это только по большой нужде Для меня есть ghc и , Vkni, 23-Дек-17, 23:52 (111)
      - Заменить плюсы питоном можно разве что при полном пофиге на скорость работы этог, Аноним, 24-Дек-17, 02:03 (123)
        
        Не в этом основная проблема - продолб по скорости там ну раз в 10 Это практичес, Vkni, 26-Дек-17, 06:23 (141)
- C C - слабо-типизированные языки, позволяющие и провоцирующие написание ненадё , Онаним, 23-Дек-17, 00:11 (58) //
  - i На C C практически невозможно написать программу без багов i - программа , eganru, 23-Дек-17, 11:27 (79)
  - Так уже правильно, остальные буквы лишние , Аноним, 23-Дек-17, 23:03 (109)
Дались вам эти аннотации в пайтоне Если сомневаешься, используй assert assert i, Аноним, 22-Дек-17, 17:59 (32) //
- Красота, и весь код в таком , Crazy Alex, 22-Дек-17, 19:33 (45)
Интересно, в Инстаграмме тоже начали на Go мигрировать, потому выбрасывают все н, Аноним, 22-Дек-17, 18:55 (37)
Практически каждый проект в какой-то момент сталкивается с тем, что есть существ, eganru, 22-Дек-17, 19:23 (40) //
- Идет время, проект растет И то что хорошо для мелкого проекта который накидывае, Аноним, 23-Дек-17, 04:30 (75) //
  - i Ну там например для системных вызовов - там уж такой интерфейс, какой есть , eganru, 23-Дек-17, 10:06 (76) //
    - Ну, блин, твоя операционная система только тебе и нужна А в полезном на практик, Аноним, 23-Дек-17, 19:56 (95)
Зачем это сейчас, когда в Python 3 6 уже есть специальная стандартная синтаксиче, Онаним, 22-Дек-17, 19:38 (46) //
- Подскажите, про какой способ говорите , Аноним, 22-Дек-17, 21:52 (53)
- Признайся, ты прочитал ведь только заголовок новости, так , Ordu, 22-Дек-17, 22:58 (57)
Какой глубокий символизм в названии , Anonymoustus, 23-Дек-17, 02:44 (62)

Форумы | Темы | Пред. тема | След. тема

Партнёры:

Хостинг:

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

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