The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



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

Оглавление

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

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


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, системы аннотации типов для..."  +/
Сообщение от Orduemail (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, системы аннотации типов для..."  +/
Сообщение от Orduemail (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, системы аннотации типов для..."  +/
Сообщение от Orduemail (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ообщить модератору

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

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




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру