RacketCon 本周六开幕：类型推断、Herbie 十周年与 Racket 现状
来源：con.racket-lang.org — 46 分 · by soegaard
📋 概述
第 16 届 RacketCon 周六举行，议程透露出这门语言当前的关注点。有人讲用 occurrence typing 与代数子类型做类型推断，解决 Typed Racket 里宏必须重写的保守性问题；有人讲高层元编程语言 Pille 如何反过来处理底层问题；还有人回顾用 Racket 写了十年 Herbie——那个把数学公式编译成更精确浮点表达式的编译器。此外还有 Racket 与 Guile Scheme 的 effect handler 库 cio、用接口与泛型做 OOP 的 BrandX 库，以及 Sam Tobin-Hochstadt 的《The State of Racket》与 Racket Town Hall。
🔑 核心要点
- 原型类型推断系统把 occurrence typing 与代数子类型结合，用来处理类型系统对宏的保守拒绝。
- Herbie 是一个把数学公式编译成更精确浮点表达式的编译器，作者要回顾用 Racket 写它的十年。
- cio 是同时面向 Racket 与 Guile Scheme 的 effect handler 库，讲者会讨论其界面设计与实现策略。
- BrandX 试图绕开 racket/class 与 racket/generic 的限制，提供带契约的接口与泛型 OOP。
- 议程包含 Sam Tobin-Hochstadt 的 《The State of Racket》与面向社区的 Racket Town Hall。
💡 金句
同一条数学公式，两种写法算出来的精度可能天差地别。
👍 0
👎 0
← 返回 Hacker News 首页