第十六届 RacketCon：议程与看点
来源: con.racket-lang.org — 2026-10-03
概述
第十六届 RacketCon 于 2026 年 10 月 3-4 日在加州奥克兰 Oakstop 举行，并全程直播。两天的议程从图灵奖得主 Pat Hanrahan 的开场演讲开始，覆盖类型推断、低层语言 Pille、宏与 IDE 服务共存的 Treason、坚持写了十年的 Herbie，以及 cio 效应处理器。
核心要点
- 时间地点：2026 年 10 月 3-4 日，奥克兰 Oakstop Broadway Gallery Suite，提供线上直播与远程参与票。
- 图灵奖得主 Pat Hanrahan 开场讲 On Notation——他曾在 Pixar 主导 RenderMan 设计并联合创办 Tableau。
- Fred Fu 讲用逻辑类型为无类型语言做类型推断，结合 occurrence typing 与代数子类型；Lucas Myers 介绍 Rhombus 系的低层语言 Pille。
- Mike Delmonaco 的 Treason 让宏与 IDE 服务共存：宏展开出错时也能恢复并继续收集信息；Pavel Panchekha 回顾用 Racket 写了十年的 Herbie 浮点精度编译器。
- JJ 讲 cio 效应处理器：像分隔延续那样表达非局部控制流，同时把效应调用与实现分离以保留纯推理原则。
金句
效应处理器把某个效应的调用与它的实现分离开来，从而保留了纯推理的原则。
👍 0
👎 0
← 返回 Lobsters 首页