RacketCon は土曜日開催

（第16回 RacketCon） 2026年10月3日～4日 カリフォルニア州オークランド USA Oakstop, Broadway Gallery Suite RacketConは、Racketプログラミング言語を中心とした、活気があり、革新的で、包括的なコミュニティを育成することに特化した公開集会です。私たちは、Racketに関心のあるすべての人に開かれた、エキサイティングで楽しいカンファレンスを作り出すことを目指しており、インスピレーションを与えるコンテンツで、Racketコミュニティとより広いプログラミングの世界の両方にリーチし、関与していきます。 ライブストリーム リンク 土曜日、10月3日 土曜日、午前8時30分 PDT ドアオープン 土曜日、午前9時00分 PDT Pat Hanrahan On Notation 略歴：Pat Hanrahanは、スタンフォード大学のコンピュータサイエンスおよび電気工学の名誉教授です。彼はPixarでRenderManの設計を主導し、Tableauを共同設立し、2019年のACMチューリング賞を受賞しました。 土曜日、午前10時00分 PDT 休憩 土曜日、午前10時30分 PDT Fred Fu Type Inference With Logical Types For Rhombus RacketとRhombusは、型システムにとって課題となる柔軟なイディオムをサポートしています。Racketの段階的型付けに対応するTyped Racketは、実行時型テストに依存する制御フローを持つプログラムの型チェックに、オカレンス型付けを使用しています。アノテーションの負担を軽減するため、Typed Racketはローカル型推論もサポートしています。しかし、Typed Racketプログラムが、ラムダ式を含む複雑なコードに展開されるマクロをRacketモジュールからインポートすると、問題が発生します。プログラマは生成されたパラメータにアノテーションを追加できません。さらに、ローカル型推論はラムダパラメータの型を推論するように設計されていません。そのため、型システムは通常、保守的にコードを拒否します。その結果、プログラマはしばしばマクロをTyped Racketで書き直す必要があります。私の進行中のプロトタイプ型推論システムは、オカレンス型付けと代数的サブ型付けを組み合わせることで、この問題に対処します。この講演では、新しい型推論がRacketプログラムで一般的に見られるパターンをどのように処理するかをデモンストレーションします。 略歴：Fred Fuはインディアナ大学の博士課程の学生です。Typed Racketに新機能を追加する一方で、言語のバグや、その型システムの根底にある特徴の一つであるオカレンス型付けのメタ理論の欠陥も修正しています。 土曜日、午前11時10分 PDT Lucas Myers Language-Oriented Low-Level Programming with Pille RacketとRhombusは信じられないほどの表現力を提供しますが、Racket VMは低レベルのパフォーマンスと効率にとって制限要因となる可能性があり、マイクロコントローラーのような非常に制約の多いプラットフォームを排除するランタイムシステムを必要とします。Pille（「ピール」と発音）は、言語指向プログラミングを低レベルおよび高性能ドメインにもたらすことを目指す、Rhombusベースの新しい言語です。特に、PilleはRhombusのエンフォースメントプロセスを、LLVMベースのコンパイラを持つ新しいコア言語にグラフトし、完全なRhombusベースのマクロを維持しながらRacket VMの制限を回避します。この講演では、Pilleの紹介を行い、特にその高レベルなメタプログラミング（すべてがRhombusに由来するわけではない）が、明らかに低レベルの問題にどのように対処できるかに焦点を当てます。 略歴：Lucas Myersはノースウェスタン大学の博士課程の学生（Robby Findler教授指導）で、彼の研究は、拡張可能なプログラミング言語（特にRacketとRhombus）のアイデアと技術をシステムプログラミングのドメインに適応させることに焦点を当てています。博士課程を開始する前に、Lucasはソフトウェア業界でハードウェア/ソフトウェアスタックにまたがる多様なプロジェクトに従事していました。彼は、システムの問題に対するPLソリューションを見つけることに広く関心を持っており、拡張可能な言語がその追求において計り知れない（そしてほとんど実現されていない）可能性を秘めていると考えています。 土曜日、午前11時50分 PDT 昼食 昼食が提供されます。 土曜日、午後1時30分 PDT Mike Delmonaco Treason: Making Macros and IDE Services Work Together Racketのマクロは、言語を拡張しDSLを作成することを可能にしますが、プログラムが壊れているか不完全な場合に、良好なIDEサービスを提供するのを妨げます。Treasonは、そのようなエラーがマクロ展開の完了を妨げる場合でも、良好なIDEサービスを提供するマクロ拡張可能な言語のプロトタイプです。Treasonのマクロ展開器は、エラーから回復して展開を継続し、IDEサービスを駆動するために使用される情報を収集します。私たちの主な貢献は、仕様駆動型のサブ式展開です。構文クラスのアノテーションにより、壊れたマクロの使用内でもサブ式を展開できます。 略歴：Mike DelmonacoはAmazon Web Servicesのソフトウェアエンジニアで、プログラミング言語とRacketに趣味として関心を持っています。仕事以外では、ロッククライミング、ビデオゲーム、インタラクティブな数学的可視化の作成、音楽制作、プログラミング言語の研究、教育を楽しんでいます。 土曜日、午後2時10分 PDT Pavel Panchekha Herbie: Improving Floating-point Accuracy 浮動小数点演算は丸めを必要とするため、完全に正確ではありません。しかし、その不正確さは計算方法によって異なります。同じ数学的公式を記述する2つの方法は、根本的に異なる精度を持つ可能性があります。Herbieは、この特性を利用して、数学的公式を正確な浮動小数点式にコンパイルするコンパイラです。この講演では、浮動小数点誤差を紹介し、Herbieをデモンストレーションし、その仕組みについて少し説明し、RacketでHerbieを10年間記述してきた経験を振り返ります。 略歴：Pavelはユタ大学の准教授であり、Herbieの開発者です。 土曜日、午後2時50分 PDT 休憩 土曜日、午後3時30分 PDT JJ Effect Handlers in cio 効果ハンドラとは何ですか？どのように機能しますか？RacketとGuile Scheme用の（型付けされていない）効果ハンドラライブラリであるcioの設計について議論し、効果ハンドラ全般のユーザーインターフェイスの考慮事項と実装戦略を掘り下げます。効果ハンドラは、デリミテッド継続に似ており、最小限のプリミティブセットを通じて一般的な非ローカル制御フローを表現できますが、標準的な命令型構造により近いため、呼び出しと実装を分離することで純粋な推論原則を維持します。これについて議論し、さらに、ライブラリレベルでの効果ハンドラの実装におけるいくつかの課題と限界について議論します。 略歴：JJは職業上の言語学者で、ブリティッシュコロンビア州バンクーバーのサリー海沿岸に住み、働いています。また、趣味のプログラマーであり、プログラミング言語のオタクでもあります。言語が意図を表現するためのインターフェイスとして持つ能力に興味があります。人間同士、そして人間とコンピューターの間です。Rust、Lean 4、そして（もちろん）Racketの大ファンです。 土曜日、午後4時10分 PDT Ryan Culpepper BrandX: Commoditizing OOP with Interfaces, Generics, and Contracts BrandXは、インターフェイスとジェネリック関数によるOOPのための新しいRacketライブラリで、適切な契約サポートを備えています。この講演では、主にracket/classとracket/genericの制限に起因する、新しいライブラリへの私の動機を説明します。構文、セマンティクス、およびエルゴノミクスの観点からライブラリの設計について議論します。既存の機能をどのように改善し、省略された機能の損失をどのように軽減するかについて説明します。モダンRacketのための見過ごされがちなマクロトリックを含む、実装のいくつかの側面を概説します。最後に、これまでのライブラリ使用経験を報告します。 略歴：RyanはRacketの開発者で、マクロとRacketyライブラリ設計に焦点を当てています。 土曜日、午後6時00分 PDT イブニングソーシャル Drake’s Dealership 2325 Broadway 飲み物と軽食を囲んでの集まり。 日曜日、10月4日 日曜日、午前8時30分 PDT ドアオープン 日曜日、午前9時00分 PDT Sam Phillips Uke: Immutable Dataframes for Racket データフレームは90年代の統計プログラミング言語から登場し、現在多くの言語に存在します。Racketにもいくつか選択肢があります。Ukeは、イミュータビリティに焦点を当て、コピーを効率的に行うように努める、意見のあるデータフレームライブラリです。 略歴：Samは機械データを扱うエンジニアです。 日曜日、午前9時40分 PDT Matthew Flatt A New Foreign-Function Interface: ffi2 Eli BarzilayのFFI（約2004年）は、新しいCコードなしでCベースの動的ライブラリをRacketプログラム内で利用可能にしました。このアプローチは、LispやSchemeシステム（Chez Schemeを含む）に前例がありましたが、Barzilayの動的な美学とRacketマクロの先駆的な使用は、特に