正在載入線程內容
正在從 X 取得原始推文,整理成清爽的閱讀畫面。
通常只需幾秒鐘,請稍候。
共 1 則推文 · 2025年12月13日 清晨6:20
RT @arntzenius:我的 HOPE 2025 演講投影片,「透過分級效應和相關性類型實現有限函數式程式設計」:https://t.co/Bb…