RacketCon 是周六

星期六，上午 8:30（太平洋夏令时间） 星期六，上午 9:00（太平洋夏令时） 符号简介 简介：Pat Hanrahan 是斯坦福大学计算机科学和电气工程荣誉教授。他在皮克斯领导了 RenderMan 的设计，共同创立了 Tableau，并获得了 2019 年 ACM 图灵奖。星期六，上午 10:00（太平洋夏令时）休息 星期六，上午 10:30（太平洋夏令时间） Fred Fu 非类型语言的逻辑类型的类型推断 Racket 和 Rhombus 支持灵活的习惯用法，这对类型系统提出了挑战。 Typed Racket 是 Racket 的渐进类型版本，它使用出现类型来对控制流依赖于运行时类型测试的程序进行类型检查。为了减轻注释的负担，Typed Racket 还支持本地类型推断。然而，当 Typed Racket 程序从 Racket 模块导入宏并扩展为包含 lambda 表达式的复杂代码时，就会出现问题。程序员无法向生成的参数添加注释。此外，局部类型推断并不是为了推断 lambda 参数的类型而设计的。因此，类型系统通常会保守地拒绝该代码。结果，程序员经常不得不重写 Typed Racket 中的宏。我正在进行的原型类型推理系统通过结合出现类型和代数子类型来解决这个问题。在本次演讲中，我将演示新的类型推断如何处理 Racket 程序中常见的模式。简介： Fred Fu 是印第安纳大学的博士生。在向 Typed Racket 引入新功能的同时，他还修复了语言中的错误以及出现类型元理论中的缺陷，这是其类型系统的显着特征之一。太平洋夏令时间星期六上午 11:10 Lucas Myers 使用 Pille Racket 和 Rhombus 进行面向语言的低级编程提供了令人难以置信的表达能力，但 Racket VM 可能成为低级性能和效率的限制因素，并且需要一个运行时系统来排除微控制器等高度受限的平台。 Pille（发音类似“peel”）是一种基于菱形的新语言，旨在将面向语言的编程引入低级和高性能领域。特别是，Pille 使用基于 LLVM 的编译器将 Rhombus 的造林过程移植到新的核心语言上，绕过了 Racket VM 的限制，同时保留了完整的基于 Rhombus 的宏。本次演讲将介绍 Pille，特别强调其高级元编程（并非全部源自 Rhombus）如何能够解决低级问题。简介：Lucas Myers 是西北大学的一名博士生（由 Robby Findler 指导），他的研究重点是将可扩展编程语言（尤其是 Racket 和 Rhombus）的思想和技术应用到系统编程领域。在开始攻读博士学位之前，卢卡斯在软件行业从事跨越硬件/软件堆栈的不拘一格的项目组合。他对寻找系统问题的 PL 解决方案非常感兴趣，并认为可扩展语言在这一追求中拥有巨大的（且基本上尚未实现的）潜力。太平洋夏令时间周六上午 11:50 午餐 提供午餐。太平洋夏令时星期六下午 1:30 Mike Delmonaco Treason：让宏和 IDE 服务一起工作 Racket 的宏让我们可以扩展语言并创建 DSL，但当程序损坏或不完整时，它们也会妨碍提供良好的 IDE 服务。 Treason 是宏可扩展语言的原型，即使此类错误阻止了完整的宏扩展，它也能提供良好的 IDE 服务。 Treason 的宏扩展器从错误中恢复，以继续扩展和收集用于驱动 IDE 服务的信息。我们的主要贡献是规范驱动的子表达式扩展：语法类注释允许我们即使在损坏的宏使用中也可以扩展子表达式。简介：Mike Delmonaco 是 Amazon Web Services 的软件工程师，爱好编程语言和 Racket。工作之余，他喜欢攀岩、视频游戏、创建交互式数学可视化、创作音乐、编程语言研究和教学。太平洋夏令时间星期六下午 2:10 Pavel Panchekha Herbie：提高浮点精度浮点数学需要舍入，因此并不完全准确。但它的不准确程度取决于您的计算方式：编写相同数学公式的两种方法可能具有截然不同的精度。 Herbie 是一个编译器，利用此属性将数学公式编译为精确的浮点表达式。演讲将介绍浮点错误，演示 Herbie，谈论它的工作原理，并反思在 Racket 中编写 Herbie 的十年。简介：Pavel 是犹他大学的副教授，也是 Herbie 开发人员。星期六，下午 2:50 PDT 休息 星期六，下午 3:30 PDT cio 效果处理程序中的 JJ 效果处理程序 — 它们是什么？它们如何工作？我们将讨论 cio 的设计，这是一个用于 Racket 和 Guile 方案的（非类型化）效果处理程序库，以及 delv