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

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

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

Hashtags

#dev

Резултати

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

Търсене: #camerun

当前筛选 #camerun清除筛选

Papa & Vaticano - News

@papaevaticanonews · Post #9677 · 16.03.2026 г., 12:18

Намери подобни Прегледай

🇩🇿🇨🇲🇦🇴🇬🇶🇻🇦 Diffuso il programma del lungo Viaggio Apostolico che Papa #LeoneXIV compirà in #Afrrica dal 13 al 23 aprile 2026. Il volo papale decollerà dall'aeroporto di Fiumicino alle ore 8 del 13 aprile per fare rotta verso Algeri. Qui l'arrivo è previsto alle ore 9. Subito dopo la cerimonia di benvenuto seguirà la visita al monumento dei martiri Maqam Echahid. Quindi, alle 10.15, la visita di cortesia al Presidente della Repubblica di #Algeria nel Palazzo Presidenziale. Alle 11 il primo discorso del Santo Padre durante l'incontro con le Auorità e il Corpo Diplomatico. Nel pomeriggio è prevista la visita alla grande moschea di Algeri, la visita al centro di accoglienza delle suore agostiniane missionarie a Bab El Oued. A conclusione della giornata, l'incontro con la comunità cattolica algerina nella basilica di Nostra Signora d’Africa. Il 14 aprile, alle ore 9.20, il Pontefice partirà in aereo per raggiungere Annaba. Qui visiterà il sito archeologico dell'antica Ippona, poi la Casa di Accoglienza per anziani delle Piccole Sorelle dei Poveri. A mezzogiorno l'incontro privato con i confratelli agostiniani. Nel pomeriggio, alle 15.30, il Santo Padre presiederà la Santa Messa nella basilica di Sant’Agostino. Quindi il rientro ad Algeri in aereo. Mercoledì 15 aprile il Vescovo di Roma lascerà Algeri per raggiungere, in aereo, Yaoundé, capitale del #Camerun. Dopo la cerimonia di benvenuto in aeroporto, prevista alle 15.20, Alle 16:20 il Papa farà visita al Presidente della Repubblica nel Palazzo Presidenziale. Seguirà alle 17.05 l’incontro con le Autorità. Nel tardo pomeriggio, alle 17.45, il Pontefice visiterà l’orfanotrofio Ngul Zamba e alle 18.25 incontrerà privatamente i Vescovi del Camerun nella sede della Conferenza Episcopale. Giovedì 16 aprile Leone XIV partirà alle 10.05 dall’aeroporto di Yaoundé per Bamenda. Alle 11.30 presiederà un incontro per la pace con la comunità locale nella Cattedrale di San Giuseppe. Nel pomeriggio, alle 15.15, celebrerà la Santa Messa all’aeroporto internazionale della città. Quindi in aereo il rientro a Yaoundé. All'indomani, venerdì 17 aprile, il Pontefice volerà a Douala. Alle 11 celebrerà la Santa Messa nello stadio Japoma. Dopo una visita privata all’ospedale cattolico Saint Paul, ripartirà per Yaoundé. Alle 17:30 incontrerà il mondo universitario presso l’Università Cattolica dell’Africa Centrale. (1/2)

Hashtags

#leonexiv #afrrica #algeria #camerun

Papa & Vaticano - News

@papaevaticanonews · Post #9478 · 25.02.2026 г., 13:54

Намери подобни Прегледай

🇩🇿🇨🇲🇦🇴🇬🇶🇻🇦 “Accogliendo l’invito dei rispettivi Capi di Stato e delle Autorità ecclesiastiche, #LeoneXIV compirà un Viaggio Apostolico in #Algeria, #Camerun, #Angola e #GuineaEquatoriale dal 13 al 23 aprile. Sua Santità si recherà ad Algeri e Annaba dal 13 al 15 aprile; a Yaoundé, Bamenda e Douala dal 15 al 18 aprile; a Luanda, Muxima e Saurimo dal 18 al 21 aprile; e a Malabo, Mongomo e Bata dal 21 al 23 aprile“. Lo rende noto il direttore della Sala Stampa della Santa Sede. Il programma del Viaggio, precisano dal Vaticano, sarà reso noto a suo tempo. Il Viaggio Apostolico in Africa porterà il Pontefice sulle tracce di Sant’Agostino, come voluto dallo stesso Prevost, senza però dimenticare gli ultimi, i poveri e coloro che se ne prendono cura. Anche la pace sarà uno degli obiettivi: Leone XIV si recherà infatti nella regione anglofona a nord del Camerun, dove da dieci anni è in corso una guerra civile che vede impegnate le forze armate regolari e gli indipendentisti. Questo pellegrinaggio, per durata, si avvicina a quello compiuto in Africa nel 1985 da Giovanni Paolo II che in undici giorni visitò ben 7 Paesi.

Hashtags

#leonexiv #algeria #camerun #angola #guineaequatoriale