TGINSIGHT SIMILAR POSTS
Изходен канал @clockstackwheels · Post #721 · 26.12
Почему я люблю языки с сильной системой типов, проверяемой статическим анализом кода — хорошо написанная программа является своей собственной спецификацией и позволяет выражать через язык программирования законы существования предметной области. Когда-то давно я писал на ActionScript. Там была система типов, но вот десериализация JSON'ов по-умолчанию была в какой-то общий Object, к полям которого нужно было обращаться ["по_строковому_имени"]. В один момент мне потребовалось написать что-то на C#, который я совсем не знал, я стал гуглить, как десериализовать JSON, и с удивлением обнаружил кучу советов заранее объявить класс со всеми нужными полями и десериализовать в него. "Какой ужас!", — подумал я тогда, — "Это же дико неудобно! А если я не знаю полей JSON? А если их много? Отвратительный язык!" Теперь то я прекрасно понимаю, что JSON это контракт, и что правильная десериализация только такая и должна быть, и что в хорошем API в одном поле никогда не бывает данных принципиально разных типов, и так далее. Нет, если вы набиваете вечерами пет-проект или сидите бессонную ночь на хакатоне, нет ничего плохого в том, чтобы взять простой язык с динамическими типами вроде JavaScript или Python, не требующий описывать данные. Но вот в энтерпрайзе, особенно когда над одним проектом работает много людей (а бывает это очень часто) — хорошее использование системы типов убережёт разработчиков от огромного количества ошибок, будет бить их по рукам, когда они пытаются сделать что-то не то, и будет подсказывать, когда они не уверены в чём-то. С помощью статической типизации можно на уровне кода обозначить правила, по которым ведёт себя предметная область вашей программы в реальном мире. Разработчику не только будет сложно их нарушить, но он ещё и станет узнавать какие-то вещи, которые мог не знать раньше. Например, если мы делаем медицинскую CRM, и больница заводит новых пациентов только тогда, когда знает их группу крови, мы можем объявить тип "Пациент" (или, если точнее, "Карта пациента") и запретить создавать экземпляры этого типа, не передав в конструктор группу крови (которая, в свою очередь, тоже является типом, вероятнее всего ValueObject'ом). Если новый программист пришёл в проект, он, во-первых, не сможет записать в БД некорректную карту пациента. Понятно, мы не учитываем случаи, когда новый программист переделывает модели предметной области — это будет хорошо видно на кодревью. А, во-вторых, даже если ему никто не сказал, что пациенты должны быть с группой крови, он узнает это из кода. И уже будет понимать, что в тех процессах реальной жизни, которые он описывает кодом, карта пациента создаётся только при наличии группы крови. А, значит, нужно искать какой-то способ сначала эту группу крови получить, и только потом создавать карту. Программирование моделирует реальный процесс. В настоящей работе даже на языках с типами, конечно, без должного контроля можно написать что угодно. Нужна управленческая воля, компетентность руководства, понимание опасности техдолга, в идеале отдельные должности для архитекторов, опытные лиды и старшие разработчики. Но когда всё это есть, можно отсекать много проблем ещё на старте и проще погружать новичков. #dev
Hashtags
Търсене: #knowledgeispower
@googlefactss · Post #40280 · 08.12.2025 г., 23:01
epistemophilia noun love of knowledge specifically : excessive striving for or preoccupation with knowledge [Source] @googlefactss#Epistemophilia#KnowledgeIsPower#LifelongLearning#Curiosity#PassionForLearning
@taste_of_africa · Post #142 · 26.02.2026 г., 06:00
Taste of Africa: ОБРАЗование ⚛️ Ядерная физика на страже истории: как ученый помог переосмыслить прошлое Африки Иногда в массовой культуре и учебных упрощениях образ Африки выглядит так, будто её “большая история” начинается только с приходом европейцев. До этого — туман, общие слова. Но такой взгляд часто говорит не о реальности, а о том, как именно эту реальность привыкли описывать. Как закрепляются устойчивые образы Методология интерпретаций: • Упрощение: сложные общества и традиции сводят к картинке “примитива”. • Закрепление: это повторяют в образовании и публичной культуре. • Инерция: со временем такая схема начинает восприниматься как догма “само собой”. Ученый, который предложил использовать науку для открытия истинного образа Африки 🇸🇳 Шейх Анта Диоп (1923–1986) был среди тех, кто освещал африканскую историю через проверяемые подходы — там, где важны источники и методы, а не привычные клише. Его сила — в сочетании разных дисциплин: 🔬 Радиоуглеродные датировки. Диоп понял: чтобы доказать древность и величие своей цивилизации, недостаточно слов. Нужны цифры, которые признает любая лаборатория мира. Поэтому в 1966 году он основал в Дакаре первую в Тропической Африке лабораторию радиоуглеродного анализа (RA14) . • Что это дало: Радиоуглеродный анализ позволяет точно датировать возраст археологических находок (кости, уголь, дерево). Диоп получил возможность самостоятельно доказывать, что найденные в Африке артефакты — древние, не отправляя их в европейские лаборатории, где их могли «потерять» или исказить результаты. Он сделал науку суверенной. 🧪 Меланиновый тест (Метод определения расы) Диоп понимал, что споры о внешности древних египтян можно решить не только картинами на стенах гробниц, но и химией. Он разработал методику определения содержания меланина (пигмента, отвечающего за цвет кожи) в образцах кожи. • Что это дало: Он применил этот тест к образцам кожи египетских мумий. Результаты показали высокий уровень меланина, характерный для темнокожих людей. Лингвистическая генетика (Сравнительный метод) Диоп разработал методологию сравнения древних и современных языков, которая вышла за рамки простого поиска похожих слов. Он сравнивал грамматические структуры, системы родства и способы мышления, зашифрованные в языке. • Что это дало: Он доказал, что древнеегипетский язык и современные языки Западной Африки (например, его родной волоф) — не просто соседи, а родственники. Он, например, перевел отрывки из теории относительности Эйнштейна на язык волоф, доказывая, что современный африканский язык способен выражать сложнейшие научные концепции. 🧠 Главное изобретение: Синтез как оружие Итак, Шейх Анта Диоп изобрел— междисциплинарный научный подход, заточенный под защиту истины. Он соединил ядерную физику (объективные даты), химию (анализ меланина), лингвистику (доказательства родства) и историю. Этот синтез стал тем самым «оружием», которое позволило ему на конференции ЮНЕСКО в Каире в 1974 году научно разгромить колониальные мифы о «неисторичности» Африки и представить неопровержимые доказательства происхождения цивилизации Древнего Египта Что это дало Когда в разговор о прошлом входят датировки, тексты и критерии проверки, становится труднее удерживать историю на уровне стереотипов. Появляется более точная, объёмная картина — и уважение к сложности континента. Итог: вклад Диопа — не в одном громком тезисе, а в том, что он помог выстроить разговор об африканском прошлом на языке методов и доказательств. Честь ему и хвала! o 🥁🌟 Ритмическое путешествие продолжается: Мир освещается солнцем, а человек — знанием.🥁🌟🌍💫 #TasteOfAfrica#Наука#ИсторияАфрики#Образование#Научпоп#ШейхАнтаДиоп#AfricanHistory#ScienceAndHistory#EducationMatters#KnowledgeIsPower#AfricanHeritage