https://opennet.ru/openforum/vsluhforumID3/117689.html Компания Stripe, специализирующаяся на разработке платформ для online-платежей, открыла (https://sorbet.org/blog/2019/06/20/open-sourcing-sorbet) исходные тексты проекта Sorbet (https://sorbet.org), в рамках которого подготовлена система статической проверки типов для языка Ruby. Код написан на языке С++ и распространяется (https://github.com/sorbet/sorbet/) под лицензией Apache 2.0.<br><br><br>Информация о типах в коде может вычисляться динамически, а также задаваться в форме простых аннотаций (https://sorbet.org/docs/sigs), которые могут указываться в коде при помощи метода sig (например, "sig {params(x: Integer).returns(String)}") или размещаться в отдельных файлах с расширением rbi. Возможен (https://sorbet.org/docs/overview) как предварительный статический анализ кода (https://sorbet.org/docs/static) без его выполнения, так и проверка по мере выполнения (включается (https://sorbet.org/docs/runtime) через добавление в код "require 'sorbet-runtime'"). <br><br><br>Предусмотрена возможность постепенного перевода (https https://opennet.ru/openforum/vsluhforumID3/117689.html#51 Thu, 27 Jun 2019 05:57:46 GMT &gt; Вы таки не понимаете разницу между "знать что под капотом" и "ковыряться <br>&gt; целыми днями под капотом вместо того, за что деньги платят".<br><br>Я знаю разницу. Я даже бесплатно тебе расскажу. Страдай.<br><br>Ковыряешься бесплатно под капотом пару-другую лет. Потом внезапно за это тебе начинают платить. Это сразу [относительно] становится скучно и неинтересно. Профессионально тянешь резину ещё пару лет (опенет здесь -- для этого!). ...в это время копаешь бесплатно под другим капотом. Потом внезапно.... [см.п.2] .....PROFFIT//<br> https://opennet.ru/openforum/vsluhforumID3/117689.html#50 Wed, 26 Jun 2019 20:51:48 GMT Вы таки не понимаете разницу между "знать что под капотом" и "ковыряться целыми днями под капотом вместо того, за что деньги платят".<br> https://opennet.ru/openforum/vsluhforumID3/117689.html#49 Tue, 25 Jun 2019 08:02:21 GMT &gt; То, что для платежной системы надо сосредоточиться на бизнес-логике, а не на <br>&gt; низкоуровневых приблудах.<br><br>Если для разработчика принципиально важно не знать, что происходит "под капотом" (хотя бы в самых общих чертах) - гнать такого разработчика мокрыми тряпками.<br><br><br> https://opennet.ru/openforum/vsluhforumID3/117689.html#48 Tue, 25 Jun 2019 06:47:11 GMT То, что для платежной системы надо сосредоточиться на бизнес-логике, а не на низкоуровневых приблудах.<br> https://opennet.ru/openforum/vsluhforumID3/117689.html#47 Sun, 23 Jun 2019 05:20:29 GMT &gt; Что в нем такого, что нельзя ничем заменить?<br><br>синтаксис<br> https://opennet.ru/openforum/vsluhforumID3/117689.html#46 Sat, 22 Jun 2019 15:50:38 GMT Scala/Scheme/F#/Ocaml/Haskel и более новомодные смотрят на тебя как<br><br>Они смеют говорить о трансформациях и алгоритмах @$%^&^$*$<br> https://opennet.ru/openforum/vsluhforumID3/117689.html#45 Sat, 22 Jun 2019 15:47:03 GMT Вот это я понимаю извращения.<br> https://opennet.ru/openforum/vsluhforumID3/117689.html#44 Sat, 22 Jun 2019 14:30:37 GMT В некотором смысле, это уже динамическая типизация, потому что если мы работаем с SomeMessage в коде, то статически мы не знаем какого типа этот объект. Это не совсем-совсем динамическая типизация, потому что что-то о его типе мы знаем, в конце-концов SomeMessage -- это уже тип. Но и всё же, мы приходим к динамическому диспатчу, вероятно, ещё и к dynamic_cast. А dynamic_cast -- это уже стопроцентов динамическая типизация.<br> https://opennet.ru/openforum/vsluhforumID3/117689.html#43 Sat, 22 Jun 2019 13:13:06 GMT Никто не холиварит, цитатой ты доказал, что динамическая типизация для наколеночных, одноразовых поделий. Продакшен код - это тебе не олимипиадные задачки решать.<br>