正在加载线程详情
正在从 X 获取原始推文,整理成清爽的阅读视图。
通常只需几秒钟,请稍候。
共 1 条推文 · 2025年12月13日 06:20
RT @arntzenius:我的 HOPE 2025 演讲幻灯片,“通过分级效应和相关性类型实现有限函数式编程”:https://t.co/Bb…