TGINSIGHT SIMILAR POSTS
Изходен канал @clockstackwheels · Post #721 · 26.12
Почему я люблю языки с сильной системой типов, проверяемой статическим анализом кода — хорошо написанная программа является своей собственной спецификацией и позволяет выражать через язык программирования законы существования предметной области. Когда-то давно я писал на ActionScript. Там была система типов, но вот десериализация JSON'ов по-умолчанию была в какой-то общий Object, к полям которого нужно было обращаться ["по_строковому_имени"]. В один момент мне потребовалось написать что-то на C#, который я совсем не знал, я стал гуглить, как десериализовать JSON, и с удивлением обнаружил кучу советов заранее объявить класс со всеми нужными полями и десериализовать в него. "Какой ужас!", — подумал я тогда, — "Это же дико неудобно! А если я не знаю полей JSON? А если их много? Отвратительный язык!" Теперь то я прекрасно понимаю, что JSON это контракт, и что правильная десериализация только такая и должна быть, и что в хорошем API в одном поле никогда не бывает данных принципиально разных типов, и так далее. Нет, если вы набиваете вечерами пет-проект или сидите бессонную ночь на хакатоне, нет ничего плохого в том, чтобы взять простой язык с динамическими типами вроде JavaScript или Python, не требующий описывать данные. Но вот в энтерпрайзе, особенно когда над одним проектом работает много людей (а бывает это очень часто) — хорошее использование системы типов убережёт разработчиков от огромного количества ошибок, будет бить их по рукам, когда они пытаются сделать что-то не то, и будет подсказывать, когда они не уверены в чём-то. С помощью статической типизации можно на уровне кода обозначить правила, по которым ведёт себя предметная область вашей программы в реальном мире. Разработчику не только будет сложно их нарушить, но он ещё и станет узнавать какие-то вещи, которые мог не знать раньше. Например, если мы делаем медицинскую CRM, и больница заводит новых пациентов только тогда, когда знает их группу крови, мы можем объявить тип "Пациент" (или, если точнее, "Карта пациента") и запретить создавать экземпляры этого типа, не передав в конструктор группу крови (которая, в свою очередь, тоже является типом, вероятнее всего ValueObject'ом). Если новый программист пришёл в проект, он, во-первых, не сможет записать в БД некорректную карту пациента. Понятно, мы не учитываем случаи, когда новый программист переделывает модели предметной области — это будет хорошо видно на кодревью. А, во-вторых, даже если ему никто не сказал, что пациенты должны быть с группой крови, он узнает это из кода. И уже будет понимать, что в тех процессах реальной жизни, которые он описывает кодом, карта пациента создаётся только при наличии группы крови. А, значит, нужно искать какой-то способ сначала эту группу крови получить, и только потом создавать карту. Программирование моделирует реальный процесс. В настоящей работе даже на языках с типами, конечно, без должного контроля можно написать что угодно. Нужна управленческая воля, компетентность руководства, понимание опасности техдолга, в идеале отдельные должности для архитекторов, опытные лиды и старшие разработчики. Но когда всё это есть, можно отсекать много проблем ещё на старте и проще погружать новичков. #dev
Hashtags
Търсене: #mathematics
@noworry_club · Post #7955 · 09.04.2023 г., 15:14
Here’s How Two New Orleans Teenagers Found a New Proof of the Pythagorean Theorem 最近两个新奥尔良小女孩向美国数学学会展示了勾股定理新证明方法，构造相似三角形组成更大直角三角形来推导证明。现在已知勾股定理的证明方式有400多种。 Reference 一个很丰富的 Github 数学资源库 Susan Rigetti 关于数学的入门路径文章 #mathematics
Hashtags
@Isaiahsystem · Post #811 · 09.04.2023 г., 09:58
Here’s How Two New Orleans Teenagers Found a New Proof of the Pythagorean Theorem 最近两个新奥尔良小女孩向美国数学学会展示了勾股定理新证明方法，构造相似三角形组成更大直角三角形来推导证明。现在已知勾股定理的证明方式有400多种。 Reference 一个很丰富的 Github 数学资源库 Susan Rigetti 关于数学的入门路径文章 #mathematics
Hashtags
@repo_science · Post #3603 · 18.09.2023 г., 12:12
#Mathematics#book 📚 Mathematics and Computer Science (2023 - volume 1) 🔗Link ----- Main channel: @repo_science Coupons: @freecoupons_reposcience -----
Hashtags
@interesting_planet_facts · Post #559 · 14.08.2025 г., 16:22
🌎 Solar eclipses helped ancient astronomers measure Earth’s distance from the moon! By timing the eclipse’s shadow, they calculated surprisingly accurate results using only basic geometry. ✨ #astronomy⚡#history⚡#mathematics 👉subscribe Interesting Planet
Hashtags
@IMRoom · Post #436 · 30.01.2022 г., 10:20
在几何学中，如果一个曲面上的任意一点上均有至少一条直线经过，则称该曲面为直纹曲面（英语：Ruled Surface）。另一种常见的说法是，如果一个曲面可以由一条直线通过连续运动构成，则可称其为直纹曲面。以三维欧几里德空间为例，最常见的直纹曲面是平面、柱面和锥面。著名的莫比乌斯环也是直纹曲面。 https://zh.wikipedia.org/zh-cn/%E7%9B%B4%E7%B4%8B%E6%9B%B2%E9%9D%A2 #Fun 有趣 #Mathematics 数学
Hashtags
@repo_science · Post #3399 · 06.07.2023 г., 15:01
#book#softSkills#Mathematics 📚 Mathematics of Data Science 🔗Link ----- Main channel:@repo_science Coupons:@freecoupons_reposcience -----
Hashtags
@newuzbekistanuniversity · Post #2405 · 27.10.2023 г., 18:40
"Yangi O'zbekiston" universiteti talabalari xalqaro matematika olimpiadasida 3 ta medalni qo'lga kiritishdi 🌐Oliy ta'lim muassasalari talabalari o'rtasida matematika fanidan o'tkazilgan Muhammad Al-Xorazmiy nomidagi II xalqaro olimpiadasida universitetimiz talabalari 2 ta kumush va 1 ta bronza medalini qo'lga kiritishdi. 🥈Abrorjon Butayev – kumush medal 🥈Olimjon Olimov – kumush medal 🥉Jasurbek Ro'ziboyev – bronza medal 📌 Ma'lumot uchun, olimpiadada 40 ta jamoadan (14 tasi xorijiy, 26 tasi mahalliy) 225 nafar talaba ishtirok etgan. 🎗 Talabalarimizni muvaffaqiyatli ishtiroki bilan tabriklaymiz! 🔁English ➖➖➖➖➖➖➖➖➖➖➖➖➖➖ #olympiad#mathematics ⬇️Biz ijtimoiy tarmoqlarda: Veb-sayt | Telegram | Instagram | Facebook
Hashtags
@repo_science · Post #3693 · 04.11.2023 г., 16:23
#Mathematics#DeepLearning 📓 Mathematics for Deep Learning 🧑🎓 🔗book ----- Main channel: @repo_science Coupons: @freecoupons_reposcience -----
Hashtags
@Isaiahsystem · Post #1012 · 17.09.2023 г., 12:31
Stack Exchange丨优质的知识分享交流论坛 Stack Exchange 是涵盖多个领域问题和答案的网络站点/知识分享交流论坛，目前有 182 个主题社区分类，类似 Subreddit. 其中 Stack Overflow 是大家最为熟悉的开发和技术人员获取分享知识的大型论坛，也是 Stack Exchange 网络中一个站点。 个人感觉 Stack Exchange 很多内容优于 Quora/ Reddit/ Slack（Quora 一直不太喜欢），类似 TrueAskReddit 之于 AskReddit 的内容质量。Stack Exchange 还有些非常优质且活跃的社区，之前搜索问题也常遇到，推荐： --- Philosophy Stack Exchange 哲学领域社区，类似 Reddit 的 AskPhilosophy Math Stack Exchange Why is the volume of a cone one third of the volume of a cylinder? 哲学和数学社区都是 Stack Exchange 访问比较大的社区，不少好质量讨论 RPG Stack Exchange Is there a functional reason for wizards to live in towers so often? 这也是之前搜索问题遇到的有趣的论坛讨论 Reference Reddit RSS 有趣的论坛讨论 信息迷宫丨互联网的知识陈列 #RSS#philosophy#mathematics
Hashtags
@IMRoom · Post #158 · 23.01.2021 г., 15:42
该试题所在的试卷及解析在这里 #Examination#Learning#Mathematics
@IMRoom · Post #278 · 26.06.2021 г., 10:27
看到HIT 101周年的Logo第一反应是积分Integral，前几天刚在3Blue1Brown听了大学的微积分Calculus课，课上用的就是这种图案讲解积分 https://youtu.be/WUvTyaaNkzM #Fun#Learning#Mathematics#Thought
@googlefactss · Post #40252 · 04.12.2025 г., 23:01
Mathematics wasn't invented by a single person, but developed over millennia across civilizations like Mesopotamia, Egypt, India, and Greece. It evolved from practical needs like trade, construction, and astronomy, becoming the universal language of logic and problem-solving we know today. 🌍🧮 [Read more] @googlefactss #Mathematics#History#Science#Education#MathHistory