Type Systems You Might Not Know (But Will Love)

# 你可能未曾知晓（但一定会爱上的）类型系统 来源：https://www.wearedevelopers.com/videos/100067-type-systems-you-might-not-know-but-will-love ### 该主题的后续会议 开放会议 (https://www.wearedevelopers.com/events/world-congress-2026-north-america/sessions/1709-when-humans-stop)World Congress 2026 北美站 2026年9月24日 · 16:10–16:40 户外舞台 #### 当人类停止编写代码：重新思考语言、编译器与责任 Simon Auer flutter vienna meetup 组织者，marqably 公司首席执行官 Simon Auer 开放会议 (https://www.wearedevelopers.com/events/world-congress-2026-north-america/sessions/1706-honey-look-i-vibe)World Congress 2026 北美站 2026年9月25日 · 16:50–17:20 1号舞台 #### 亲爱的，快看！我通过"氛围编程"做出了一个操作系统！ Ian Smith 开放会议 (https://www.wearedevelopers.com/events/world-congress-2026-north-america/sessions/1401-ai-that-argues-with)World Congress 2026 北美站 2026年9月24日 · 15:10–15:20 户外舞台 #### 会自我争论的AI：构建能捕捉自身错误的自辩系统 Shreya Singhal Claritev 公司人工智能应用科学家 Shreya Singhal 开放会议 (https://www.wearedevelopers.com/events/world-congress-2026-north-america/sessions/1437-the-spectrum-of)World Congress 2026 北美站 2026年9月25日 · 12:55–13:25 7号舞台 #### 智能体编程的光谱：从氛围编程到高质量软件工程 YK Sugi Eventual 公司开发者体验经理 YK Sugi 开放会议 (https://www.wearedevelopers.com/events/world-congress-2026-north-america/sessions/1948-file-systems-are-the)World Congress 2026 北美站 2026年9月24日 · 16:50–17:20 7号舞台 #### 文件系统是AI智能体的新基础原语 Andrew Wong Box 公司高级开发者关系工程师 Andrew Wong 开放会议 (https://www.wearedevelopers.com/events/world-congress-2026-north-america/sessions/1742-there-s-no-dark)World Congress 2026 北美站 2026年9月25日 · 14:50–15:20 2号舞台 #### 没有更佳的软件验证器，就没有黑暗工厂 Dexter Horthy HumanLayer 联合创始人 Dexter Horthy