RacketCon是一个公共聚会，致力于围绕Racket编程语言（Racket）培养充满活力、创新和包容的社区，旨在打造一场向所有感兴趣者开放、内容精彩有趣的会议。请于2026年9月13日前注册RacketCon 2026以享受早鸟折扣。往届会议将进行线上直播，录像会后发布于YouTube线上观众可购买远程参与票支持直播。会议期间提供实时聊天。周六太平洋时间8:30开门，9:00进行On Notation环节。
正文
RacketCon 是一个公开聚会，致力于围绕 Racket 编程语言建立充满活力、创新和包容的社区。我们旨在打造一场激动人心且愉快的大会，向所有对 Racket 感兴趣的人开放，内容精彩，能吸引 Racket 社区及更广泛的编程界。
请于 9 月 13 日前注册参加 2026 年 RacketCon，尽早注册可享受折扣。
和往年一样，无法到场的人可观看线上直播。会议结束后一段时间会在 YouTube 上提供录像。线上观众可选择购买远程参与票以支持直播。往届 RacketCon 演讲可在此处找到：往届演讲。
会议期间将提供实时聊天。
周六上午 8:30（太平洋时间）开门。
周六上午 9:00：关于符号表示 Pat Hanrahan 是斯坦福大学计算机科学与电气工程荣休教授，曾在皮克斯领导 RenderMan 设计，共同创办 Tableau，并获得 2019 年 ACM 图灵奖。
周六上午 10:00 休息。
周六上午 10:30：Fred Fu 演讲“基于逻辑类型的无类型语言类型推断” Racket 和 Rhombus 支持的灵活惯用法给类型系统带来挑战。Typed Racket 是 Racket 的渐进类型对应物，使用发生类型来类型检查控制流依赖运行时类型测试的程序。为减轻标注负担，它也支持局部类型推断。但当 Typed Racket 程序从 Racket 模块导入展开为含 lambda 表达式的复杂代码的宏时，问题就来了：程序员无法给生成的参数加标注，而局部类型推断也不设计用于推断 lambda 参数类型，因此类型系统通常保守地拒绝代码，导致程序员常需在 Typed Racket 中重写宏。他正在开发的原型类型推断系统结合发生类型和代数子类型来解决此问题，并将演示新推断如何处理 Racket 程序常见模式。 Fred Fu 是印第安纳大学博士生，在为 Typed Racket 引入新特性同时，也修复语言 bug 及发生类型元理论缺陷。
周六上午 11:10：Lucas Myers 演讲“使用 Pille 进行面向语言的底层编程” Racket 和 Rhombus 表达力极强，但 Racket 虚拟机可能限制底层性能和效率，且需要的运行时系统排除了微控制器等高度受限平台。Pille（读音如“peel”）是一种基于 Rhombus 的新语言，旨在将面向语言的编程带入底层和高性能领域。它将 Rhombus 的 enforestation 过程嫁接到一个带有基于 LLVM 编译器的新核心语言上，绕开 Racket 虚拟机限制同时保留完整 Rhombus 宏。演讲将介绍 Pille，重点是其高层元编程（并非全源自 Rhombus）如何解决明确的底层问题。 Lucas Myers 是西北大学博士生，研究将可扩展编程语言（尤其 Racket 和 Rhombus）思想用于系统编程，曾从事跨软硬件栈的工业项目。
周六上午 11:50 午餐（提供）。
周六下午 1:30：Mike Delmonaco 演讲“Treason：让宏与 IDE 服务协同工作” Racket 宏可扩展语言并创建 DSL，但在程序出错或不完整时会妨碍提供良好 IDE 服务。Treason 是一个宏可扩展语言原型，即使错误阻止完整宏展开也能提供良好 IDE 服务。其宏展开器从错误中恢复，继续展开并收集驱动 IDE 服务的信息。关键贡献是指定驱动的亚表达式展开：语法类标注允许在损坏的宏使用内展开亚表达式。 Mike Delmonaco 是 AWS 软件工程师，业余爱好编程语言和 Racket。
周六下午 2:10：Pavel Panchekha 演讲“Herbie：提升浮点精度” 浮点运算需舍入，故不完美精确；但误差大小取决于计算方式，同一公式的不同写法精度可能迥异。Herbie 是一个利用此特性将数学公式编译为精确浮点表达式的编译器。演讲将介绍浮点误差、演示 Herbie、讲解原理，并回顾用 Racket 写 Herbie 的十年。 Pavel 是犹他大学副教授，Herbie 开发者。
周六下午 2:50 休息。
周六下午 3:30：JJ 演讲“cio 中的效应处理器” 效应处理器是什么？如何工作？我们将讨论 cio（一个用于 Racket 和 Guile Scheme 的无类型效应处理器库）的设计，并深入广义效应处理器的用户界面考量和实现策略。效应处理器类似定界续延，能用最少原语表达通用非局部控制流，但更像标准命令式结构，且通过分离效应的调用与实现来保持纯推理原则。还会探讨库级实现的挑战和局限。 JJ 是职业语言学家，业余程序员，爱好编程语言，关注语言作为表达意图的接口。
周六下午 4:10：Ryan Culpepper 演讲“BrandX：用接口、泛型和契约将 OOP 商品化” BrandX 是一个新 Racket 库，主要通过接口和泛型函数实现 OOP 并带恰当契约支持。演讲解释创建新库的动机（主要源于 racket/class 和 racket/generic 的局限），从语法、语义和人体工学讨论设计，如何改进现有特性及缓解省略特性带来的损失，概述实现方面（包括现代 Racket 中一些被低估的宏技巧），并分享目前使用经验。 Ryan 是 Racket 开发者，专注宏和库设计。
周六下午 6:00 晚间联谊，地址 2325 Broadway，提供饮品小吃。
周日上午 8:30 开门。
周日上午 9:00：Sam Phillips 演讲“Uke：Racket 的不可变数据框” 数据框源于 90 年代统计编程语言，现多语言具备，Racket 也有数个。Uke 是一个偏执的数据框库，专注不可变性并力求高效复制。 Sam 是处理机器数据的工程师。
周日上午 9:40：Matthew Flatt 演讲“新的外部函数接口：ffi2” Eli Barzilay 的 FFI（约 2004）让 Racket 程序无需新 C 代码就能访问基于 C 的动态库。此法在 Lisp 和 Scheme 系统（含 Chez Scheme）有先例，但 Barzilay 的动态审美和开创性使用 Racket 宏带来了特别便捷可组合的接口，契合底层运行时。同时，Andy Keep 为 Chez Scheme FFI 做的 ftypes 层（约 2011）同样利用宏提升表达力，并巧妙利用 Chez 数据表示机制；其更静态的系统提供好性能、紧凑外部指针表示和低开销指针操作检查。Racket 的新 ffi2 层将这两条线结合：依赖对 Chez Scheme 的小调整（反映自 unsafe/ffi 的经验），并在 Racket 层引入静态方法以更好针对 Chez。结果 ffi2 库兼具便捷可组合与高性能、低开销外部指针。 Matthew 是犹他大学教授，Racket 开发者，专注宏、编译和运行时。
周日上午 10:20 休息。
周日上午 11:30：Racket 管理，Racket 镇厅会议。请带着大问题或讨论话题前来。
评论
社区讨论围绕 Racket 语言生态展开，分享了会议、衍生项目与历史视频，气氛协作且无分歧。
RacketCon 将于周六举行
- 用户通知社区 RacketCon 本周六举办，并提供了会议官网信息。（认可度：少数人）
基于 Racket 实现了 ALOE 语言原型
- 开发者分享一门融合 Scheme、Smalltalk 与类型系统的新语言 ALOE，其原型在 Racket 中完成。（认可度：少数人） > 我一直在折腾一种可概括为 Scheme 加 Smalltalk 加类型的语言，原型在 Racket 中。（@dharmatech）
官方频道提供往届会议视频
- 有用户指出官方视频频道已发布历届会议录像，但剪辑上传通常需数月延迟。（认可度：少数人） > 好奇的人可去官方频道看往届视频，不过编辑上传要等几个月。（@gus_massa）