Почему я люблю языки с сильной системой типов, проверяемой статическим анализом кода — хорошо написанная программа является своей собственной спецификацией и позволяет выражать через язык программирования законы существования предметной области.
Когда-то давно я писал на ActionScript. Там была система типов, но вот десериализация JSON'ов по-умолчанию была в какой-то общий Object, к полям которого нужно было обращаться ["по_строковому_имени"]. В один момент мне потребовалось написать что-то на C#, который я совсем не знал, я стал гуглить, как десериализовать JSON, и с удивлением обнаружил кучу советов заранее объявить класс со всеми нужными полями и десериализовать в него.
"Какой ужас!", — подумал я тогда, — "Это же дико неудобно! А если я не знаю полей JSON? А если их много? Отвратительный язык!"
Теперь то я прекрасно понимаю, что JSON это контракт, и что правильная десериализация только такая и должна быть, и что в хорошем API в одном поле никогда не бывает данных принципиально разных типов, и так далее.
Нет, если вы набиваете вечерами пет-проект или сидите бессонную ночь на хакатоне, нет ничего плохого в том, чтобы взять простой язык с динамическими типами вроде JavaScript или Python, не требующий описывать данные. Но вот в энтерпрайзе, особенно когда над одним проектом работает много людей (а бывает это очень часто) — хорошее использование системы типов убережёт разработчиков от огромного количества ошибок, будет бить их по рукам, когда они пытаются сделать что-то не то, и будет подсказывать, когда они не уверены в чём-то.
С помощью статической типизации можно на уровне кода обозначить правила, по которым ведёт себя предметная область вашей программы в реальном мире. Разработчику не только будет сложно их нарушить, но он ещё и станет узнавать какие-то вещи, которые мог не знать раньше.
Например, если мы делаем медицинскую CRM, и больница заводит новых пациентов только тогда, когда знает их группу крови, мы можем объявить тип "Пациент" (или, если точнее, "Карта пациента") и запретить создавать экземпляры этого типа, не передав в конструктор группу крови (которая, в свою очередь, тоже является типом, вероятнее всего ValueObject'ом). Если новый программист пришёл в проект, он, во-первых, не сможет записать в БД некорректную карту пациента. Понятно, мы не учитываем случаи, когда новый программист переделывает модели предметной области — это будет хорошо видно на кодревью. А, во-вторых, даже если ему никто не сказал, что пациенты должны быть с группой крови, он узнает это из кода. И уже будет понимать, что в тех процессах реальной жизни, которые он описывает кодом, карта пациента создаётся только при наличии группы крови. А, значит, нужно искать какой-то способ сначала эту группу крови получить, и только потом создавать карту. Программирование моделирует реальный процесс.
В настоящей работе даже на языках с типами, конечно, без должного контроля можно написать что угодно. Нужна управленческая воля, компетентность руководства, понимание опасности техдолга, в идеале отдельные должности для архитекторов, опытные лиды и старшие разработчики. Но когда всё это есть, можно отсекать много проблем ещё на старте и проще погружать новичков.
#dev
LA RIVOLUZIONE PARTE DALLA CARTA IGIENICA?
Negli Stati Uniti divampa la rabbia dei lavoratori sfruttati. E non in modo figurato. Anzi.
In California infatti un dipendente ha appiccato il fuoco nel magazzino di carta igienica dove lavora.
Le sue parole sono state: "Tutto quello dovevate fare era pagarci abbastanza per vivere".
L'incendio, divampato intorno alle 00:30 del 7 aprile, ha distrutto il magazzino di 111 mila metri quadrati e i prodotti cartacei al suo interno, per un valore di circa 500 milioni di dollari.
Non solo, ma a pochissimi giorni di distanza c'è stato un altro incendio questa volta nel distretto di Queens a New York, sempre in un magazzino. E con esso molti altri le cui cause non sono ancora state accertate.
E voi che ne pensate? Gesto estremo ed esagerato oppure conseguenza ovvia di un malcontento sociale ormai ai massimi livelli?
Fateci sapere la vostra!
#sfruttamento#lavoro#rivoluzione#cartaigienica#lotta
🦆 Segui il Capibara 🦜
https://x.com/SavinoBalzano/status/1916044211863929087?t=3bldlhz_SThqlX_N3syjpg&s=19
Antonio Scurati
Nome di battaglia: Whatever It Takes
Unità: Battaglione Eurobond
Ma quanto ci hanno commosso ieri le parole di Antonio #Scurati? Un accorato appello alla #lotta, alla #democrazia.
Oh, mica esagero se lo definisco un partigiano dei nostri tempi. È anche grazie al messaggio di intellettuali come lui che possiamo celebrare il memoriale della #libertà, della #resistenza.
Solo un "piccolissimo" dettaglio, giusto per completezza, senza nulla togliere alla grandezza e alla gloria del nostro Tony: una letterina, piccola piccola, che lui stesso firmò e pubblicò sulle colonne del Corriere della Sera. Era il 17 luglio 2022.
Con assoluta fermezza, durezza, spietatezza intellettuale, il sor Tonino si rivolgeva a Mario #Draghi.
La versione integrale la trovate ovviamente online. Io qui vi propongo un piccolo stralcio. Leggetela, la missiva di questo guerrigliero, e vi sembrerà di essere con lui, in montagna, membri di un GAP.
Altro che Pavese! gli spiccia casa, come si dice a Roma.
«Esimio Presidente Draghi, mi scuso in anticipo di queste mie parole. Le sto, infatti, scrivendo per chiederle di umiliarsi. (…)
Qualunque cosa si voglia pensare di lei, non si può negare che la sua sia la storia di un uomo di straordinario successo. Durante tutta la sua vita, lei ha bruciato le tappe di una carriera formidabile. Prima da Governatore della Banca d’Italia e poi da Presidente della Banca centrale europea, lei ha retto le sorti di una nazione e di un continente; le ha tenute in pugno con il piglio del dominatore, sorretto da una potente competenza, baciato dal successo, guadagnando una levatura internazionale, un prestigio globale, un posto di tutto rispetto nei libri di storia. Ha conosciuto il potere, quello vero, ha conosciuto la fama degli uomini illustri, la vertiginosa responsabilità di chi, da vette inarrivabili, decide quasi da solo della vita dei molti. (…)
Ciò che sta accadendo in queste ore ripropone, purtroppo, un copione già andato in scena molte volte sulla ribalta del nostro Paese, irresistibilmente sedotto dalla commedia: la tragedia che scade in farsa. Ora lei, pur dovendo fronteggiare una pandemia, una guerra, una crisi economica con pochi precedenti e una ambientale senza uguali, è spinto alle dimissioni da un accanito torneo di aspirazioni miserabili, da sudicie congiure di palazzo, da calcoli meschini, irresponsabili e spregiudicati di uomini che, presi singolarmente, non valgono un’unghia della sua mano sinistra. (…)
Io non sono un politologo. Interpreto, più modestamente, la realtà da romanziere. Tutto ciò premesso, devo concludere che se lei domani, dopo le sue risolute, dignitose e sdegnose dimissioni, tornasse sui suoi passi e rinnovasse la sua disponibilità a guidare il paese in questa crisi epocale fino alla scadenza della legislatura, la sua diverrebbe la storia di una caduta. Ed è proprio questo che io e moltissimi italiani le chiediamo: faccia torto a se stesso, rinunci perfino al senso della sua dignità personale, si sminuisca nello stillicidio quotidiano del governo di uomini che hanno a cuore soltanto l’imminente tornaconto elettorale. Quel che tanti italiani le chiedono sarebbe, me ne rendo conto, davvero un grande sacrificio personale in nome dell’interesse generale. Il suo personaggio ne uscirebbe, forse, diminuito ma la sua persona conoscerebbe un nuovo genere di grandezza».
Insomma, tutto tranne le elezioni: meglio il governo del banchiere.
E niente, come faremmo senza questi irriducibili custodi della nostra amata Repubblica?
Buon #25aprile anche a te, Totò, perchè il #25aprile_è_ANTIFASCISTA!