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

Резултати

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

Търсене: #astral

当前筛选 #astral清除筛选

CSGO -里加城市公开赛 #MOUZ NXT 对战 ALGO BO3 2026-1-5 22:00 局2 获胜:MOUZ NXT 回合让分:MOUZ NXT -2.5 回合大小:大于21.5 (重心) 回合单双:双 ------------------------------------- CSGO -里加城市公开赛 #Astral 对战 OlyBet BO3 2026-1-5 22:00 局2 获胜:Astral 回合让分:Astral-2.5(重心) 回合大小:小于21.5 回合单双:双

Hashtags

CSGO -里加城市公开赛 #MOUZ NXT 对战 ALGO BO3 2026-1-5 22:00 局2 获胜:MOUZ NXT 回合让分:MOUZ NXT -2.5 回合大小:大于21.5 (重心) 回合单双:双 ------------------------------------- CSGO -里加城市公开赛 #Astral 对战 OlyBet BO3 2026-1-5 22:00 局2 获胜:Astral 回合让分:Astral-2.5(重心) 回合大小:小于21.5 回合单双:双

Hashtags

CSGO -里加城市公开赛 #AaB 对战 Fingers BO1 2026-1-4 17:15 获胜:AaB 回合让分:AaB-2.5 回合大小:大于21.5(重心) 回合单双:双 ------------------------------------- CSGO -里加城市公开赛 #Astral 对战 SINQU BO1 2026-1-4 17:20 获胜:Astral 回合让分:Astral -3.5 (重心) 回合大小:小于21.5 回合单双:单

Hashtags

CSGO -里加城市公开赛 #AaB 对战 Fingers BO1 2026-1-4 17:15 获胜:AaB 回合让分:AaB-2.5 回合大小:大于21.5(重心) 回合单双:双 ------------------------------------- CSGO -里加城市公开赛 #Astral 对战 SINQU BO1 2026-1-4 17:20 获胜:Astral 回合让分:Astral -3.5 (重心) 回合大小:小于21.5 回合单双:单

Hashtags

AI一线|ShareCentre

@ShareCentre · Post #7100 · 19.03.2026 г., 13:58

🐍 OpenAI 宣布收购 Python 工具商 Astral,强化 Codex 全栈开发能力 OpenAI 宣布将收购 Astral,后者是 Python 生态中最受欢迎的开发工具公司,旗下产品包括包管理器 uv、代码检查器 Ruff 和类型检查器 ty。交易完成后,Astral 团队将加入 OpenAI Codex 团队,持续推进开源工具开发,并深度融入 Codex 的 AI Agent 工作流。 📌 核心信息 - Astral 是 Python 生态的明星工具公司,产品全部以 Rust 编写,速度比同类快 10-100 倍 - uv:替代 pip/poetry/pyenv 的超快包管理器 - Ruff:替代 Flake8/Black 的超快 linter + formatter - ty:替代 mypy/Pyright 的超快类型检查器(2025 年 12 月进入 Beta) - 另有 pyx 包注册中心(2025 年 8 月 Beta) - 创始人 Charlie Marsh,此前以 Ruff 起家,Accel 领投种子轮 400 万美元 - 交易需经监管审批,完成前双方保持独立运营 ⚙️ 战略意图 - Codex 目标从「AI 写代码」升级为「参与完整开发生命周期」——规划变更、修改代码库、运行工具、验证结果、维护软件 - Astral 工具直接嵌入开发工作流,收购后 AI Agent 可更深度操作开发者日常依赖的工具链 - OpenAI 承诺交易完成后继续支持 Astral 开源项目 - Codex Lead Thibault Sottiaux:「将 Astral 的专业能力和生态引入 OpenAI,加速 Codex 成为能跨越整个软件开发生命周期的 Agent」 📊 Codex 最新数据 - 周活跃用户超 200 万(年初至今 3 倍增长) - 使用量(token 计)增长 5 倍 - 企业客户包括 Cisco、Nvidia、Ramp、Rakuten、Harvey 🔙 OpenAI 近期收购动态 - 2025-10:收购 Sky(macOS 自然语言交互),整合进 ChatGPT - 2026-03-09:宣布收购 Promptfoo(AI 安全测试平台),整合进 OpenAI Frontier - 2026-03-19:宣布收购 Astral(Python 工具链),整合进 Codex - 三次收购清晰指向同一战略:通过收购补齐 AI 产品矩阵的工具链短板 🏢 背景 - Python 已成为 AI、数据科学、后端系统的主力语言,Astral 工具被数百万开发者使用 - OpenAI 正将 Codex 定位为企业级 AI Agent 平台的入口,从编程延伸到更广泛的专业工作 - 此次收购是 OpenAI 两周内的第二笔(继 Promptfoo 之后),收购节奏明显加快 来源:https://openai.com/index/openai-to-acquire-astral/ #OpenAI#Codex#Astral#Python#开源#收购

CSGO -里加城市公开赛 #Fingers 对战 MINLATE BO1 2026-1-4 19:00 获胜:MINLATE 回合让分:MINLATE-2.5 回合大小:大于21.5 回合单双:双 -------------------------------------------- CSGO -里加城市公开赛 #SINQU 对战 AaB BO1 2026-1-4 19:00 获胜: AaB 回合让分:SINQU +5.5 回合大小:大于20.5(重心) 回合单双:双 ------------------------------------- CSGO -里加城市公开赛 #Astral 对战 Friendly BO1 2026-1-4 19:00 获胜:Friendly 回合让分:Friendly -5.5(重心) 回合大小:小于20.5 回合单双:单

CSGO -里加城市公开赛 #MINLATE 对战 SINQU BO1 2026-1-4 16:00 获胜:MINLATE 回合让分:MINLATE-4.5(重心) 回合大小:小于21.5 回合单双:单 上半场回合让分:MINLATE -0.5 -------------------------------------------- CSGO -里加城市公开赛 #Astral 对战 AaB BO1 2026-1-4 16:00 获胜:AaB 回合让分:AaB-2.5 回合大小:大于21.5(重心) 回合单双:双 上半场回合让分:AaB-0.5 ------------------------------------- CSGO -里加城市公开赛 #Friendly 对战 Fingers BO1 2026-1-4 16:00 获胜:Friendly 回合让分:Friendly-4.5(重心) 回合大小:小于21.5 回合单双:单 上半场回合让分:Friendly-3.5

CSGO -里加城市公开赛 #Fingers 对战 MINLATE BO1 2026-1-4 19:00 获胜:MINLATE 回合让分:MINLATE-2.5 回合大小:大于21.5 回合单双:双 -------------------------------------------- CSGO -里加城市公开赛 #SINQU 对战 AaB BO1 2026-1-4 19:00 获胜: AaB 回合让分:SINQU +5.5 回合大小:大于20.5(重心) 回合单双:双 ------------------------------------- CSGO -里加城市公开赛 #Astral 对战 Friendly BO1 2026-1-4 19:00 获胜:Friendly 回合让分:Friendly -5.5(重心) 回合大小:小于20.5 回合单双:单

CSGO -里加城市公开赛 #MINLATE 对战 SINQU BO1 2026-1-4 16:00 获胜:MINLATE 回合让分:MINLATE-4.5(重心) 回合大小:小于21.5 回合单双:单 上半场回合让分:MINLATE -0.5 -------------------------------------------- CSGO -里加城市公开赛 #Astral 对战 AaB BO1 2026-1-4 16:00 获胜:AaB 回合让分:AaB-2.5 回合大小:大于21.5(重心) 回合单双:双 上半场回合让分:AaB-0.5 ------------------------------------- CSGO -里加城市公开赛 #Friendly 对战 Fingers BO1 2026-1-4 16:00 获胜:Friendly 回合让分:Friendly-4.5(重心) 回合大小:小于21.5 回合单双:单 上半场回合让分:Friendly-3.5