TGTGInsightтелеграм анализLIVE / telegram public index
← Такты, стеки, два колеса

TGINSIGHT SIMILAR POSTS

Намери подобно съдържание

Изходен канал @clockstackwheels · Post #721 · 26.12

Почему я люблю языки с сильной системой типов, проверяемой статическим анализом кода — хорошо написанная программа является своей собственной спецификацией и позволяет выражать через язык программирования законы существования предметной области. Когда-то давно я писал на ActionScript. Там была система типов, но вот десериализация JSON'ов по-умолчанию была в какой-то общий Object, к полям которого нужно было обращаться ["по_строковому_имени"]. В один момент мне потребовалось написать что-то на C#, который я совсем не знал, я стал гуглить, как десериализовать JSON, и с удивлением обнаружил кучу советов заранее объявить класс со всеми нужными полями и десериализовать в него. "Какой ужас!", — подумал я тогда, — "Это же дико неудобно! А если я не знаю полей JSON? А если их много? Отвратительный язык!" Теперь то я прекрасно понимаю, что JSON это контракт, и что правильная десериализация только такая и должна быть, и что в хорошем API в одном поле никогда не бывает данных принципиально разных типов, и так далее. Нет, если вы набиваете вечерами пет-проект или сидите бессонную ночь на хакатоне, нет ничего плохого в том, чтобы взять простой язык с динамическими типами вроде JavaScript или Python, не требующий описывать данные. Но вот в энтерпрайзе, особенно когда над одним проектом работает много людей (а бывает это очень часто) — хорошее использование системы типов убережёт разработчиков от огромного количества ошибок, будет бить их по рукам, когда они пытаются сделать что-то не то, и будет подсказывать, когда они не уверены в чём-то. С помощью статической типизации можно на уровне кода обозначить правила, по которым ведёт себя предметная область вашей программы в реальном мире. Разработчику не только будет сложно их нарушить, но он ещё и станет узнавать какие-то вещи, которые мог не знать раньше. Например, если мы делаем медицинскую CRM, и больница заводит новых пациентов только тогда, когда знает их группу крови, мы можем объявить тип "Пациент" (или, если точнее, "Карта пациента") и запретить создавать экземпляры этого типа, не передав в конструктор группу крови (которая, в свою очередь, тоже является типом, вероятнее всего ValueObject'ом). Если новый программист пришёл в проект, он, во-первых, не сможет записать в БД некорректную карту пациента. Понятно, мы не учитываем случаи, когда новый программист переделывает модели предметной области — это будет хорошо видно на кодревью. А, во-вторых, даже если ему никто не сказал, что пациенты должны быть с группой крови, он узнает это из кода. И уже будет понимать, что в тех процессах реальной жизни, которые он описывает кодом, карта пациента создаётся только при наличии группы крови. А, значит, нужно искать какой-то способ сначала эту группу крови получить, и только потом создавать карту. Программирование моделирует реальный процесс. В настоящей работе даже на языках с типами, конечно, без должного контроля можно написать что угодно. Нужна управленческая воля, компетентность руководства, понимание опасности техдолга, в идеале отдельные должности для архитекторов, опытные лиды и старшие разработчики. Но когда всё это есть, можно отсекать много проблем ещё на старте и проще погружать новичков. #dev

Hashtags

Резултати

Намерени 1 подобни публикации

Търсене: #runnig

当前筛选 #runnig清除筛选
RISVEGLIO

@gianlucaprocaccinireport · Post #9635 · 20.07.2025 г., 19:25

Hoka, il marchio che ha cambiato il passo alla corsa: da un’idea francese alla sfida globale di Gianluca Procaccini C'è un marchio che negli ultimi anni ha letteralmente cambiato la forma — e la sostanza — delle scarpe da corsa. Si chiama Hoka (o più precisamente Hoka One One, dal maori “volare sopra la terra”) e nasce nel 2009 tra i sentieri delle Alpi francesi, da un'intuizione controcorrente. I fondatori sono due ex dirigenti di Salomon, Jean-Luc Diard e Nicolas Mermoud, entrambi francesi, appassionati di trail running e con una solida esperienza nello sviluppo di calzature tecniche. Mentre il mercato spingeva verso il minimalismo — suole sottili, design essenziale, corsa “naturale” — loro seguirono un’altra strada: creare una scarpa altamente ammortizzata, che potesse assorbire gli urti in discesa, offrire comfort nelle lunghe distanze e ridurre la fatica sulle articolazioni. Il risultato fu qualcosa di mai visto prima: una scarpa dalle linee voluminose, quasi ingombrante a prima vista, ma sorprendentemente leggera e funzionale. Una rivoluzione silenziosa, accolta inizialmente con scetticismo ma presto adottata dagli ultra-maratoneti, dagli amanti del trail e da chi corre su strada per lunghe distanze. Nel 2013 il marchio attira l’attenzione del gruppo americano Deckers Brands (già proprietario di UGG e Teva), che lo acquisisce e ne potenzia lo sviluppo. La sede viene spostata a Goleta, in California, dove oggi si trova l’headquarter di Hoka. Da lì, inizia l’espansione globale. Una corsa mondiale Oggi Hoka è presente in oltre 50 Paesi e registra tassi di crescita a doppia cifra. Non è più soltanto un nome per specialisti del trail running: il brand è entrato stabilmente nel mondo della corsa su strada, delle camminate urbane, del trekking e persino della moda. Le sue scarpe vengono indossate da atleti professionisti, operatori sanitari, persone comuni in cerca di comfort e da una nuova generazione di runner che guarda più alla funzionalità che al logo. Il design “maximalista” delle suole è diventato un tratto distintivo, imitato e studiato anche dai giganti del settore. E proprio quei colossi — Nike, Adidas, New Balance, Asics — oggi vedono in Hoka un concorrente diretto, capace di sottrarre quote di mercato grazie a un’identità tecnica solida e a una community fidelizzata. Non solo corsa Negli ultimi anni, Hoka ha investito nella sostenibilità dei materiali, nella moda lifestyle e in una serie di sponsorizzazioni mirate che ne rafforzano l’immagine non convenzionale. Le vendite aumentano, i premi di design si moltiplicano, e il passaparola tra runner e camminatori continua a essere il suo principale canale di crescita. La corsa di Hoka non accenna a fermarsi. Da una start up nata tra le montagne francesi, oggi il brand vola sopra oceani e mercati, sfidando i giganti globali sul loro stesso terreno. Con una filosofia semplice ma radicale: se puoi correre più comodo, perché non farlo? #Hoka#trail#runnig#hiking#corsa#maratona#lifesyle#sport#atletica