RacketCon 2026 vindt plaats op 3 en 4 oktober in Oakland, Californië. Het is een publieke bijeenkomst die gericht is op het stimuleren van een innovatieve en inclusieve gemeenschap rond de programmeertaal Racket. De conferentie is hybride georganiseerd, waarbij deelnemers zowel fysiek als via een livestream kunnen deelnemen.
Het programma bevat diverse technische presentaties:
- Zaterdag 3 oktober: De focus ligt op geavanceerde taalonderwerpen, waaronder notatie, type-inferentie in Typed Racket, de nieuwe taal Pille voor low-level programming, IDE-services via Treason, floating-point nauwkeurigheid met Herbie, effect handlers in
cio en OOP met BrandX.
- Zondag 4 oktober: De sessies behandelen onveranderlijke dataframes (Uke), de nieuwe Foreign-Function Interface (ffi2) en worden afgesloten met een 'Town Hall' discussie.
Registratie is geopend, met een korting voor vroege aanmeldingen tot 13 september. De conferentie wordt georganiseerd door een team van vrijwilligers en hanteert een vriendelijk omgeving-beleid (Friendly Environment Policy).
RacketCon 2026
RacketCon is een publieke bijeenkomst die is gewijd aan het stimuleren van een levendige, innovatieve en inclusieve gemeenschap rond de programmeertaal Racket. Ons doel is om een boeiende en plezierige conferentie te creëren die openstaat voor iedereen die geïnteresseerd is in Racket, gevuld met inspirerende inhoud die zowel de Racket-gemeenschap als de bredere programmeerwereld bereikt en betrekt.
Registratie en Deelname
De registratie is geopend. U kunt zich registreren voor RacketCon 2026 via de registratielink. Voor wie zich vóór 13 september aanmeldt, is er een korting voor vroegtijdige registratie beschikbaar.
Zoals in voorgaande jaren zal RacketCon worden gestreamd voor hen die niet persoonlijk aanwezig kunnen zijn. Opnames zullen enige tijd na de conferentie beschikbaar worden gesteld op YouTube. Gebruikers van de livestream hebben de mogelijkheid om een ticket voor afstandsparticipatie aan te schaffen ter ondersteuning van de livestream. Presentaties van eerdere edities van RacketCon zijn online terug te vinden. Tijdens de conferentie zal er een live-chat beschikbaar zijn.
---
Programma
Zaterdag 3 oktober
08:30 PDT – Deuren open
09:00 PDT – Pat Hanrahan: On Notation
- Biografie: Pat Hanrahan is Canon Professor of Computer Science and Electrical Engineering Emeritus aan de Stanford University. Hij leidde het ontwerp van RenderMan bij Pixar, is medeoprichter van Tableau en ontving in 2019 de ACM Turing Award.
10:00 PDT – Pauze
10:30 PDT – Fred Fu: Type Inference With Logical Types For Untyped Languages Racket en Rhombus ondersteunen flexibele idiotmen die uitdagingen vormen voor typesystemen. Typed Racket, de gradually typed tegenhanger van Racket, maakt gebruik van occurrence typing om programma's te type-checken waarvan de control flow afhankelijk is van run-time type-tests. Om de last van annotaties te verlichten, ondersteunt Typed Racket ook lokale type-inferentie.
Problemen ontstaan echter wanneer een Typed Racket-programma een macro importeert uit een Racket-module die expandeert naar complexe code met lambda-expressies. Programmeurs kunnen geen annotaties toevoegen aan gegenereerde parameters. Bovendien is lokale type-inferentie niet ontworpen om types voor lambda-parameters af te leiden. Hierdoor wijst het typesysteem de code meestal conservatief af, waardoor programmeurs macro's vaak in Typed Racket moeten herschrijven. Het lopende prototype-type-inferentiesysteem van de spreker pakt dit probleem aan door occurrence typing te combineren met algebraïsche subtyping. In deze presentatie wordt gedemonstreerd hoe de nieuwe type-inferentie omgaat met patronen die veel voorkomen in Racket-programma's.
- Biografie: Fred Fu is PhD-kandidaat aan de Indiana University. Naast het introduceren van nieuwe functies in Typed Racket, werkt hij aan het oplossen van bugs in de taal en gebreken in de metatheorie van occurrence typing, een van de onderscheidende kenmerken van het typesysteem.
11:10 PDT – Lucas Myers: Language-Oriented Low-Level Programming with Pille Racket en Rhombus bieden een enorme expressieve kracht, maar de Racket VM kan een beperkende factor worden voor low-level prestaties en efficiëntie. Bovendien vereist het een runtime-systeem dat zeer beperkte platforms, zoals microcontrollers, uitsluit.
Pille (uitgesproken als “peel”) is een nieuwe taal gebaseerd op Rhombus, met als doel taalgeoriënteerd programmeren naar low-level en high-performance domeinen te brengen. In het bijzonder ent Pille het enforestation-proces van Rhombus op een nieuwe kernlaag met een LLVM-gebaseerde compiler, waardoor de beperkingen van de Racket VM worden omzeild terwijl de volledige Rhombus-gebaseerde macro's behouden blijven. Deze presentatie geeft een introductie tot Pille, met een speciale nadruk op hoe de high-level metaprogrammering — waarvan niet alles is afgeleid van Rhombus — concrete low-level problemen kan oplossen.
- Biografie: Lucas Myers is PhD-student aan de Northwestern University (onder begeleiding van Robby Findler). Zijn onderzoek richt zich op het aanpassen van ideeën en technologieën van uitbreidbare programmeertalen — met name Racket en Rhombus — naar het domein van systems programming. Voorafgaand aan zijn PhD werkte Lucas in de software-industrie aan een eclectische mix van projecten over de gehele hardware/software-stack.
11:50 PDT – Lunch (Lunch wordt verzorgd)
13:30 PDT – Mike Delmonaco: Treason: Making Macros and IDE Services Work Together De macro's van Racket stellen ons in staat de taal uit te breiden en DSL's te creëren, maar ze kunnen in de weg staan van goede IDE-services wanneer een programma defect of onvolledig is. Treason is een prototype van een macro-uitbreidbare taal die goede IDE-services biedt, zelfs wanneer fouten een volledige macro-expansie voorkomen. De macro-expander van Treason herstelt van fouten om de expansie voort te zetten en informatie te verzamelen die wordt gebruikt voor IDE-services. De belangrijkste bijdrage is spec-driven subexpression expansion: syntax-class annotaties maken het mogelijk om subexpressies te expanderen, zelfs binnen een defect macro-gebruik.
- Biografie: Mike Delmonaco is Software Engineer bij Amazon Web Services met een hobby-interesse in programmeertalen en Racket. In zijn vrije tijd houdt hij zich bezig met rotsklimmen, videogames, het maken van interactieve wiskundige visualisaties, muziek schrijven, onderzoek naar programmeertalen en lesgeven.
14:10 PDT – Pavel Panchekha: Herbie: Improving Floating-point Accuracy Floating-point berekeningen vereisen afronding en zijn daarom niet perfect nauwkeurig. De mate van onnauwkeurigheid hangt echter af van de manier waarop de berekening wordt uitgevoerd: twee manieren om dezelfde wiskundige formule te schrijven, kunnen radicaal verschillende nauwkeurigheden hebben. Herbie is een compiler die deze eigenschap benut om wiskundige formules te compileren naar nauwkeurige floating-point expressies. De presentatie introduceert floating-point fouten, demonstreert Herbie, legt uit hoe het werkt en reflecteert op tien jaar ervaring met het schrijven van Herbie in Racket.
- Biografie: Pavel is Associate Professor aan de University of Utah en een ontwikkelaar van Herbie.
14:50 PDT – Pauze
15:30 PDT – JJ: Effect Handlers in cio Wat zijn effect handlers en hoe werken ze? In deze sessie bespreken we het ontwerp van cio, een (niet-getypeerde) effect-handler bibliotheek voor Racket en Guile Scheme. Er wordt dieper ingegaan op overwegingen rond de gebruikersinterface en implementatiestrategieën voor effect handlers in het algemeen. Effect handlers, vergelijkbaar met delimited continuations, maken de expressie van algemene niet-lokale control flow mogelijk via een minimale set primitieven, maar lijken meer op standaard imperatieve constructies. Ze behouden pure redeneerprincipes door de aanroep van een specifiek effect te scheiden van de implementatie ervan. Tevens worden de uitdagingen en beperkingen van een implementatie op bibliotheekniveau besproken.
- Biografie: JJ is van beroep linguïst en woont en werkt in Vancouver, British Columbia. Zij zijn tevens een hobby-programmeur en liefhebber van programmeertalen, met interesse in taal als interface voor het uitdrukken van intenties — tussen mensen onderling en tussen mensen en computers.
16:10 PDT – Ryan Culpepper: BrandX: Commoditizing OOP with Interfaces, Generics, and Contracts BrandX is een nieuwe Racket-bibliotheek primair bedoeld voor OOP via interfaces en generieke functies met volledige contractondersteuning. Deze presentatie legt de motivaties uit voor deze nieuwe bibliotheek, die voortkomen uit beperkingen in racket/class en racket/generic. Er wordt gesproken over het ontwerp van de bibliotheek in termen van syntax, semantiek en ergonomie — hoe bestaande functies kunnen worden verbeterd en hoe het verlies van weggelaten functies kan worden beperkt. Daarnaast worden aspecten van de implementatie geschetst, inclusief enkele ondergewaardeerde macro-trucs voor modern Racket, gevolgd door ervaringen met het gebruik van de bibliotheek tot nu toe.
- Biografie: Ryan is een ontwikkelaar van Racket die zich richt op macro's en het ontwerp van Racket-bibliotheken.
18:00 PDT – Avondborrel Locatie: Drake’s Dealership, 2325 Broadway. Gelegenheid voor drankjes en snacks.
---
Zondag 4 oktober
08:30 PDT – Deuren open
09:00 PDT – Sam Phillips: Uke: Immutable Dataframes for Racket Dataframes ontstonden in de jaren '90 uit statistische programmeertalen en inmiddels hebben veel talen ze. Zelfs Racket heeft er verschillende om uit te kiezen. Uke is een opiniërende dataframe-bibliotheek die zich richt op onveranderlijkheid (immutability) en probeert efficiënt te zijn bij het kopiëren van data.
- Biografie: Sam is een engineer die werkt met machine-data.
09:40 PDT – Matthew Flatt: A New Foreign-Function Interface: ffi2 De FFI van Eli Barzilay (ca. 2004) maakte C-gebaseerde dynamische bibliotheken toegankelijk binnen Racket-programma's zonder dat er nieuwe C-code nodig was. Deze aanpak had precedenten in Lisp- en Scheme-systemen, waaronder Chez Scheme, maar de dynamische esthetiek en het pionierswerk met Racket-macro's resulteerden in een bijzonder handige en combineerbare interface. Ondertussen maakt de ftypes laag van Andy Keep (ca. 2011) voor de FFI van Chez Scheme op soortige wijze gebruik van macro's voor expressiviteit en benut deze slim het data-representatieregime van Chez Scheme. Dit statischere systeem biedt goede prestaties, compacte representaties van foreign pointers en goedkope controle van pointer-operaties. De nieuwe ffi2 laag in Racket brengt deze twee ontwikkelingslijnen samen. Het vertrouwt op kleine aanpassingen in Chez Scheme die voortvloeien uit lessen geleerd van unsafe/ffi, en introduceert een statische benadering op Racket-niveau om Chez Scheme beter te targeten. Hierdoor biedt de ffi2 bibliotheek zowel gemak en combineerbaarheid als goede prestaties en goedkope foreign pointers.
- Biografie: Matthew is Professor aan de University of Utah en een ontwikkelaar van Racket, waarbij hij zich voornamelijk richt op macro's, compilatie en het runtime-systeem.
10:20 PDT – Pauze
11:00 PDT – Sam Tobin-Hochstadt: The State of Racket
11:30 PDT – Racket Management: Racket Town Hall Een open sessie voor grote vragen en discussieonderwerpen.
---
Overige Informatie
Lokale Informatie Raadpleeg de pagina met lokale informatie voor verdere details.
Gedragscode De procedures van RacketCon vinden plaats onder het Racket Friendly Environment Policy.
Organisatie RacketCon 2026 wordt georganiseerd door een team van vrijwilligers. De organisatoren zijn bereikbaar via: con-organizers@racket-lang.org.
Vorige edities van RacketCon 2025 ∙ 2024 ∙ 2023 ∙ 2022 ∙ 2021 ∙ 2020 ∙ 2019 ∙ 2018 ∙ 2017 ∙ 2016 ∙ 2015 ∙ 2014 ∙ 2013 ∙ 2012 ∙ 2011
RacketCon 2026
RacketCon is een publieke bijeenkomst die is gewijd aan het stimuleren van een levendige, innovatieve en inclusieve gemeenschap rond de programmeertaal Racket. Ons doel is om een boeiende en plezierige conferentie te creëren die openstaat voor iedereen die geïnteresseerd is in Racket, gevuld met inspirerende inhoud die zowel de Racket-gemeenschap als de bredere programmeerwereld bereikt en betrekt.
Registratie en Deelname
De registratie is geopend. U kunt zich registreren voor RacketCon 2026 via de registratielink. Voor wie zich vóór 13 september aanmeldt, is er een korting voor vroegtijdige registratie beschikbaar.
Zoals in voorgaande jaren zal RacketCon worden gestreamd voor hen die niet persoonlijk aanwezig kunnen zijn. Opnames zullen enige tijd na de conferentie beschikbaar worden gesteld op YouTube. Gebruikers van de livestream hebben de mogelijkheid om een ticket voor afstandsparticipatie aan te schaffen ter ondersteuning van de livestream. Presentaties van eerdere edities van RacketCon zijn online terug te vinden. Tijdens de conferentie zal er een live-chat beschikbaar zijn.
---
Programma
Zaterdag 3 oktober
08:30 PDT – Deuren open
09:00 PDT – Pat Hanrahan: On Notation
- Biografie: Pat Hanrahan is Canon Professor of Computer Science and Electrical Engineering Emeritus aan de Stanford University. Hij leidde het ontwerp van RenderMan bij Pixar, is medeoprichter van Tableau en ontving in 2019 de ACM Turing Award.
10:00 PDT – Pauze
10:30 PDT – Fred Fu: Type Inference With Logical Types For Untyped Languages Racket en Rhombus ondersteunen flexibele idiotmen die uitdagingen vormen voor typesystemen. Typed Racket, de gradually typed tegenhanger van Racket, maakt gebruik van occurrence typing om programma's te type-checken waarvan de control flow afhankelijk is van run-time type-tests. Om de last van annotaties te verlichten, ondersteunt Typed Racket ook lokale type-inferentie.
Problemen ontstaan echter wanneer een Typed Racket-programma een macro importeert uit een Racket-module die expandeert naar complexe code met lambda-expressies. Programmeurs kunnen geen annotaties toevoegen aan gegenereerde parameters. Bovendien is lokale type-inferentie niet ontworpen om types voor lambda-parameters af te leiden. Hierdoor wijst het typesysteem de code meestal conservatief af, waardoor programmeurs macro's vaak in Typed Racket moeten herschrijven. Het lopende prototype-type-inferentiesysteem van de spreker pakt dit probleem aan door occurrence typing te combineren met algebraïsche subtyping. In deze presentatie wordt gedemonstreerd hoe de nieuwe type-inferentie omgaat met patronen die veel voorkomen in Racket-programma's.
- Biografie: Fred Fu is PhD-kandidaat aan de Indiana University. Naast het introduceren van nieuwe functies in Typed Racket, werkt hij aan het oplossen van bugs in de taal en gebreken in de metatheorie van occurrence typing, een van de onderscheidende kenmerken van het typesysteem.
11:10 PDT – Lucas Myers: Language-Oriented Low-Level Programming with Pille Racket en Rhombus bieden een enorme expressieve kracht, maar de Racket VM kan een beperkende factor worden voor low-level prestaties en efficiëntie. Bovendien vereist het een runtime-systeem dat zeer beperkte platforms, zoals microcontrollers, uitsluit.
Pille (uitgesproken als “peel”) is een nieuwe taal gebaseerd op Rhombus, met als doel taalgeoriënteerd programmeren naar low-level en high-performance domeinen te brengen. In het bijzonder ent Pille het enforestation-proces van Rhombus op een nieuwe kernlaag met een LLVM-gebaseerde compiler, waardoor de beperkingen van de Racket VM worden omzeild terwijl de volledige Rhombus-gebaseerde macro's behouden blijven. Deze presentatie geeft een introductie tot Pille, met een speciale nadruk op hoe de high-level metaprogrammering — waarvan niet alles is afgeleid van Rhombus — concrete low-level problemen kan oplossen.
- Biografie: Lucas Myers is PhD-student aan de Northwestern University (onder begeleiding van Robby Findler). Zijn onderzoek richt zich op het aanpassen van ideeën en technologieën van uitbreidbare programmeertalen — met name Racket en Rhombus — naar het domein van systems programming. Voorafgaand aan zijn PhD werkte Lucas in de software-industrie aan een eclectische mix van projecten over de gehele hardware/software-stack.
11:50 PDT – Lunch (Lunch wordt verzorgd)
13:30 PDT – Mike Delmonaco: Treason: Making Macros and IDE Services Work Together De macro's van Racket stellen ons in staat de taal uit te breiden en DSL's te creëren, maar ze kunnen in de weg staan van goede IDE-services wanneer een programma defect of onvolledig is. Treason is een prototype van een macro-uitbreidbare taal die goede IDE-services biedt, zelfs wanneer fouten een volledige macro-expansie voorkomen. De macro-expander van Treason herstelt van fouten om de expansie voort te zetten en informatie te verzamelen die wordt gebruikt voor IDE-services. De belangrijkste bijdrage is spec-driven subexpression expansion: syntax-class annotaties maken het mogelijk om subexpressies te expanderen, zelfs binnen een defect macro-gebruik.
- Biografie: Mike Delmonaco is Software Engineer bij Amazon Web Services met een hobby-interesse in programmeertalen en Racket. In zijn vrije tijd houdt hij zich bezig met rotsklimmen, videogames, het maken van interactieve wiskundige visualisaties, muziek schrijven, onderzoek naar programmeertalen en lesgeven.
14:10 PDT – Pavel Panchekha: Herbie: Improving Floating-point Accuracy Floating-point berekeningen vereisen afronding en zijn daarom niet perfect nauwkeurig. De mate van onnauwkeurigheid hangt echter af van de manier waarop de berekening wordt uitgevoerd: twee manieren om dezelfde wiskundige formule te schrijven, kunnen radicaal verschillende nauwkeurigheden hebben. Herbie is een compiler die deze eigenschap benut om wiskundige formules te compileren naar nauwkeurige floating-point expressies. De presentatie introduceert floating-point fouten, demonstreert Herbie, legt uit hoe het werkt en reflecteert op tien jaar ervaring met het schrijven van Herbie in Racket.
- Biografie: Pavel is Associate Professor aan de University of Utah en een ontwikkelaar van Herbie.
14:50 PDT – Pauze
15:30 PDT – JJ: Effect Handlers in cio Wat zijn effect handlers en hoe werken ze? In deze sessie bespreken we het ontwerp van cio, een (niet-getypeerde) effect-handler bibliotheek voor Racket en Guile Scheme. Er wordt dieper ingegaan op overwegingen rond de gebruikersinterface en implementatiestrategieën voor effect handlers in het algemeen. Effect handlers, vergelijkbaar met delimited continuations, maken de expressie van algemene niet-lokale control flow mogelijk via een minimale set primitieven, maar lijken meer op standaard imperatieve constructies. Ze behouden pure redeneerprincipes door de aanroep van een specifiek effect te scheiden van de implementatie ervan. Tevens worden de uitdagingen en beperkingen van een implementatie op bibliotheekniveau besproken.
- Biografie: JJ is van beroep linguïst en woont en werkt in Vancouver, British Columbia. Zij zijn tevens een hobby-programmeur en liefhebber van programmeertalen, met interesse in taal als interface voor het uitdrukken van intenties — tussen mensen onderling en tussen mensen en computers.
16:10 PDT – Ryan Culpepper: BrandX: Commoditizing OOP with Interfaces, Generics, and Contracts BrandX is een nieuwe Racket-bibliotheek primair bedoeld voor OOP via interfaces en generieke functies met volledige contractondersteuning. Deze presentatie legt de motivaties uit voor deze nieuwe bibliotheek, die voortkomen uit beperkingen in racket/class en racket/generic. Er wordt gesproken over het ontwerp van de bibliotheek in termen van syntax, semantiek en ergonomie — hoe bestaande functies kunnen worden verbeterd en hoe het verlies van weggelaten functies kan worden beperkt. Daarnaast worden aspecten van de implementatie geschetst, inclusief enkele ondergewaardeerde macro-trucs voor modern Racket, gevolgd door ervaringen met het gebruik van de bibliotheek tot nu toe.
- Biografie: Ryan is een ontwikkelaar van Racket die zich richt op macro's en het ontwerp van Racket-bibliotheken.
18:00 PDT – Avondborrel Locatie: Drake’s Dealership, 2325 Broadway. Gelegenheid voor drankjes en snacks.
---
Zondag 4 oktober
08:30 PDT – Deuren open
09:00 PDT – Sam Phillips: Uke: Immutable Dataframes for Racket Dataframes ontstonden in de jaren '90 uit statistische programmeertalen en inmiddels hebben veel talen ze. Zelfs Racket heeft er verschillende om uit te kiezen. Uke is een opiniërende dataframe-bibliotheek die zich richt op onveranderlijkheid (immutability) en probeert efficiënt te zijn bij het kopiëren van data.
- Biografie: Sam is een engineer die werkt met machine-data.
09:40 PDT – Matthew Flatt: A New Foreign-Function Interface: ffi2 De FFI van Eli Barzilay (ca. 2004) maakte C-gebaseerde dynamische bibliotheken toegankelijk binnen Racket-programma's zonder dat er nieuwe C-code nodig was. Deze aanpak had precedenten in Lisp- en Scheme-systemen, waaronder Chez Scheme, maar de dynamische esthetiek en het pionierswerk met Racket-macro's resulteerden in een bijzonder handige en combineerbare interface. Ondertussen maakt de ftypes laag van Andy Keep (ca. 2011) voor de FFI van Chez Scheme op soortige wijze gebruik van macro's voor expressiviteit en benut deze slim het data-representatieregime van Chez Scheme. Dit statischere systeem biedt goede prestaties, compacte representaties van foreign pointers en goedkope controle van pointer-operaties. De nieuwe ffi2 laag in Racket brengt deze twee ontwikkelingslijnen samen. Het vertrouwt op kleine aanpassingen in Chez Scheme die voortvloeien uit lessen geleerd van unsafe/ffi, en introduceert een statische benadering op Racket-niveau om Chez Scheme beter te targeten. Hierdoor biedt de ffi2 bibliotheek zowel gemak en combineerbaarheid als goede prestaties en goedkope foreign pointers.
- Biografie: Matthew is Professor aan de University of Utah en een ontwikkelaar van Racket, waarbij hij zich voornamelijk richt op macro's, compilatie en het runtime-systeem.
10:20 PDT – Pauze
11:00 PDT – Sam Tobin-Hochstadt: The State of Racket
11:30 PDT – Racket Management: Racket Town Hall Een open sessie voor grote vragen en discussieonderwerpen.
---
Overige Informatie
Lokale Informatie Raadpleeg de pagina met lokale informatie voor verdere details.
Gedragscode De procedures van RacketCon vinden plaats onder het Racket Friendly Environment Policy.
Organisatie RacketCon 2026 wordt georganiseerd door een team van vrijwilligers. De organisatoren zijn bereikbaar via: con-organizers@racket-lang.org.
Vorige edities van RacketCon 2025 ∙ 2024 ∙ 2023 ∙ 2022 ∙ 2021 ∙ 2020 ∙ 2019 ∙ 2018 ∙ 2017 ∙ 2016 ∙ 2015 ∙ 2014 ∙ 2013 ∙ 2012 ∙ 2011
Groetjes,