(thirteenth RacketCon)

October 28-29, 2023
Northwestern University
Evanston, IL, USA

https://con.racket-lang.org/

Introducing Rackith

Sage Gerard https://sagegerard.com/

Rackith is a language-oriented programming language based on Racket. Use Rackith to define many languages with one syntax object. Discussion covers project design and implications for the personal computer.

Reductions on top of Rosette

Chenhao Zhang http://eecs.northwestern.edu/~czu2221/

Rhombus: Status update

Matthew Flatt (Utah) https://users.cs.utah.edu/~mflatt/

The State of Racket

Sam Tobin-Hochstadt (Indiana) https://samth.github.io/

Racket Town Hall

Racket Management

Please come with your big questions and discussion topics.

Registration

Check back soon! We currently do not have a registration form.’

Friendly Environment Policy

The proceedings of RacketCon will take place under the Racket Friendly Environment Policy https://racket-lang.org/friendly.html

Accommodation

We are currently exploring the possibility of getting a block of rooms at a nearby hotel.

#Racket #RacketLang #RacketLanguage
#LanguageOrientedProgramming #lop #Rosette #RosetteLanguage

(fifteenth RacketCon)

Programming Languages: Application and Interpretation
Shriram Krishnamurthi
Brown University

3rd Edition

https://www.plai.org

@shriramk
#programminglanguages #PLdev #plt #lop #Racket #LanguageOrientedProgramming

Programming Languages: Application and Interpretation

If #Grothendieck were a programmer he would have been a #lisp hacker. His advice to construct simplified theories to interpret the problem at hand has deep #nanopass and #LanguageOrientedProgramming vibes.

#scheme #racket

Rash - The Reckless Racket Shell

Rash is a language, library, and shell REPL for Racket.

Rash combines the convenience of simple shell-like syntax with the power of Racket, a full-fledged programming language.

https://rash-lang.org/
#Racket #RacketLang #RacketLanguage #lop #LanguageOrientedProgramming

Rash - The Reckless Racket Shell

Gather

Gather is a video-calling space that lets multiple people hold separate conversations in parallel, walking in and out of those conversations just as easily as they would in real life.

Racket Templates provide a wide variety of working template applications you can use as a starting point: choose a template from https://github.com/racket-templates and click Use this template in GitHub or use raco pkg install from-template; raco new <template> from the command line.

Some examples...

These were just a sample - there are more at https://github.com/racket-templates

PS We were inspired by the dotnet new default templates

PPS we are far behind .NET but are looking to grow the collection so let us know if you are interested in contributing 😁

![Racket Discourse](https://img.shields.io/discourse/users?label=Discuss%20on%20Racket%20Discourse&amp;logo=racket&amp;server=https%3A%2F%2Fracket.discourse.group) ![Racket Discord](https://img.shields.io/discord/571040468092321801?label=Chat%20on%20Racket%20Discord&amp;logo=racket)

#Racket #RacketLang #RacketLanguage #LOP #LanguageOrientedProgramming

Racket Templates

1. `raco pkg install from-template`, 2. `raco new --list` , 3. `raco new <templatename> [optionalfoldername]` - Racket Templates

GitHub

Racket meet-up Saturday 4 Feb at 18:00 UTC

At this meet-up:

In the 'Racket Room': https://gather.town/app/wH1EDG3McffLjrs0/racket-users

Racket meet-ups are on the first Saturday of EVERY Month at 18:00 UTC

And remember - showing up at Racket Meetups helps you learn the news of the Racket world as they happen! It is informative, it is interesting, it is helpful, it is greatly appreciated by everyone involved and it is fun!

30 minutes but can overrun (it usually lasts ~1hr)

Meet-up time at your location https://www.timeanddate.com/worldclock/converter.html?iso=20230204T180000&p1=tz_pt&p2=tz_mt&p3=tz_ct&p4=tz_et&p5=136&p6=204&p7=241

EVERYONE WELCOME

Stephen

Racket Discourse https://racket.discourse.group/

Racket Discord https://discord.gg/6Zq8sH5

#Racket #Racketfest2023 #RacketFest #RacketLang #RacketLanguage #LanguageOrientedProgramming #LOP

Racketfest—Conference for Racket fans

Racketfest is a conference for learning about & sharing what you know about the Racket programming language.

Racket meet-up Saturday 7 January at 18:00 UTC

  • Show and tell
  • News & rumours

In the 'Racket Room': https://gather.town/app/wH1EDG3McffLjrs0/racket-users

Racket meet-ups are on the first Saturday of EVERY Month at 18:00 UTC

And remember - showing up at Racket Meetups helps you learn the news of the Racket world as they happen! It is informative, it is interesting, it is helpful, it is greatly appreciated by everyone involved and it is fun!

Meet-up time at your location https://www.timeanddate.com/worldclock/converter.html?iso=20230107T180000&p1=tz_pt&p2=tz_mt&p3=tz_ct&p4=tz_et&p5=136&p6=204&p7=241

EVERYONE WELCOME

Stephen

Racket Discourse https://racket.discourse.group/

Racket Discord https://discord.gg/6Zq8sH5

#Racket #RacketLang #RacketLanguage #LanguageOrientedProgramming

Gather

Gather is a video-calling space that lets multiple people hold separate conversations in parallel, walking in and out of those conversations just as easily as they would in real life.

Racket meet-up Saturday 3 December at 18:00 UTC 

The 'Racket Room': https://gather.town/app/wH1EDG3McffLjrs0/racket-users

At this meet-up:

  • Advent of Code
  • Show and tell
  • News & rumours
  • AOB

Meet-up time at your location

Racket meet-ups are on the first Saturday of EVERY Month at 18:00 UTC

Discourse and Discord are the most active places for Racketeers.


Pacific Time, PT Sat, 3 Dec 2022 at 10:00 PST
Mountain Time, MT Sat, 3 Dec 2022 at 11:00 MST
Central Time, CT Sat, 3 Dec 2022 at 12:00 CST
Eastern Time, ET Sat, 3 Dec 2022 at 13:00 EST
London, United Kingdom Sat, 3 Dec 2022 at 18:00 GMT
Prague, Czechia Sat, 3 Dec 2022 at 19:00 CET
Taipei, Taiwan Sun, 4 Dec 2022 at 02:00 CST

And remember - showing up at Racket Meetups helps you learn the news of the Racket world as they happen! It is informative, it is interesting, it is helpful, it is greatly appreciated by everyone involved and it is fun!

30 minutes but can overrun (it usually lasts ~1hr)

EVERYONE WELCOME

Stephen

![Racket Discourse](https://img.shields.io/discourse/users?label=Discuss%20on%20Racket%20Discourse&amp;logo=racket&amp;server=https%3A%2F%2Fracket.discourse.group)

![Racket Discord](https://img.shields.io/discord/571040468092321801?label=Chat%20on%20Racket%20Discord&amp;logo=racket)

#Racket #RacketLang #RacketLanguage #RacketMeetUp #FunctionalProgramming #AdventOfCode #AdventOfCode2022 #LanguageOrientedProgramming #lopmi

Gather

Gather is a video-calling space that lets multiple people hold separate conversations in parallel, walking in and out of those conversations just as easily as they would in real life.

Discussion is welcome on the Racket Discourse: https://racket.discourse.group/

If you prefer chat the Racket Discord has a dedicated #advent-of-code channel https://discord.gg/6Zq8sH5

EVERYONE WELCOME

#Racket #RacketLang #RacketLanguage #AdventOfCode #AdventOfCode2022 #LanguageOrientedProgramming #LOP

PS maybe try #lang plait 😁

“The Plait language syntactically resembles the plai language, which is based on racket, but the type system is close to that of ML.”

https://docs.racket-lang.org/plait/index.html

Racket Discourse

A home for Racket discussions, questions, and announcements

Racket Discourse