#languageorientedprogramming — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #languageorientedprogramming, aggregated by home.social.
-
(thirteenth RacketCon)
October 28-29, 2023
Northwestern University
Evanston, IL, USAIntroducing 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 -
Programming Languages: Application and Interpretation
Shriram Krishnamurthi
Brown University3rd Edition
@shriramk
#programminglanguages #PLdev #plt #lop #Racket #LanguageOrientedProgramming -
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.
-
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.
-
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.
-
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.
-
If #Grothendieck were a programmer he would have been a #lisp hacker. His advice to construct simplified theories to address the problem at hand has deep #nanopass and #LanguageOrientedProgramming vibes.
-
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 -
Racket meet-up tomorrow (April 1) UTC 18:00 in The Racket Room
ALL WELCOME
https://gather.town/app/wH1EDG3McffLjrs0/racket-users
#Racket #RacketLang #RacketLanguage #LanguageOrientedProgramming
-
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...
cli-command is a working example of you can use to create your own command line tools.
lang is a language of combinators and numeric constants ( xlang by @samth ):
#lang xlang
(S K I X)#lang xlang
(K 1 2)[gui-app[(https://github.com/racket-templates/gui-app) is a modernised version of the GUI app described in Programming Languages as Operating Systems (1999) by M. Flatt, R. Findler, @shriramk and M. Felleisen
These were just a sample - there are more at https://github.com/racket-templates
PS We were inspired by the
dotnet newdefault templatesPPS we are far behind .NET but are looking to grow the collection so let us know if you are interested in contributing 😁
 
#Racket #RacketLang #RacketLanguage #LOP #LanguageOrientedProgramming
-
Racket meet-up Saturday 4 Feb at 18:00 UTC
At this meet-up:
- Racketfest!
- Show and tell
- News & rumours
- AOB
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
-
Racket meet-up Saturday 4 Feb at 18:00 UTC
At this meet-up:
- Racketfest!
- Show and tell
- News & rumours
- AOB
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
-
Racket meet-up Saturday 4 Feb at 18:00 UTC
At this meet-up:
- Racketfest!
- Show and tell
- News & rumours
- AOB
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
-
Racket meet-up Saturday 4 Feb at 18:00 UTC
At this meet-up:
- Racketfest!
- Show and tell
- News & rumours
- AOB
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
-
Racket meet-up Saturday 4 Feb at 18:00 UTC
At this meet-up:
- Racketfest!
- Show and tell
- News & rumours
- AOB
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
-
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
-
Racket meet-up Saturday 3 December at 18:00 UTC :racket:
The 'Racket Room': https://gather.town/app/wH1EDG3McffLjrs0/racket-users
At this meet-up:
- Advent of Code
- Show and tell
- News & rumours
- AOB
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 CSTAnd 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 #RacketLang #RacketLanguage #RacketMeetUp #FunctionalProgramming #AdventOfCode #AdventOfCode2022 #LanguageOrientedProgramming #lopmi
-
CW: re: Racket Advent of Code leaderboard (long)
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.”
-
Racketfest, the rogue Racket conference, is on!
A delightful place to enjoy Racket and language-oriented programming
Mark your calendars: Saturday, March 18, 2023 in Berlin, Germany.
All the information you need is on https://racketfest.com
https://racketfest.com will be updated as planning proceeds, but to summarize and get you fired up see the announcement on the Racket Discussions discourse: https://racket.discourse.group/t/racketfest-2023-the-little-racket-conference-that-could/1516?u=spdegabrielle
#Racket #RacketLang #RacketLanguage #RacketFest #LOP #LanguageOrientedProgramming -
CW: Racket Advent of Code leaderboard (long)
Thanks to
@samphillips we have an inclusive Racket leaderboard for AoCSam posted the details here:
https://racket.discourse.group/t/advent-of-code-2022-racket-leaderboard/1461?u=spdegabrielle (not a walled garden so you don need an account to view the page).Why inclusive?
Any language in the Racket ecosystem is allowed on our leaderboard, including languages that target other platforms like Urlang (aka Javascript with sane (parenthetical) syntax)You could try
- Typed Racket, Racket’s gradually-typed sister language which allows the incremental addition of statically-checked type annotations.
- Qi: A Functional, Flow-Oriented DSL
- RacketScript, the Racket to JavaScript Compiler
- Parenlog an implementation of a language very similar to pure Prolog, except with parenthetical notation.
- Datalog, a declarative logic programming language.
- PLAI-Typed (thanks to @shriramk)
- and many more
Choose the language(s) that suits the problem - you don’t have to pick just one.
OR take the ‘Language-Oriented Programming’ approach and make your own language(s): https://beautifulracket.com/appendix/why-lop-why-racket.html
Thanks to @Eutro for the
advent-of-codepackage to download puzzle inputs and post solutions:HAVE FUN
:racket::racket_running:#Racket #RacketLang #RacketLanguage #AdventOfCode #AdventOfCode2022 #LanguageOrientedProgramming #LOP
-
Ok so I’ve decided it is better to have two accounts
- This one, for #PL #PLDI #HCI #CHI #LanguageOrientedProgramming #RacketLanguage and #HOPL / #HistoryOfProgrammingLanguages #HistoryOfTech
- @[email protected] for more UK specific stuff including #NHS & #DigitalHealth
-
Ok so I’ve decided it is better to have two accounts
- This one, for #PL #PLDI #HCI #CHI #LanguageOrientedProgramming #RacketLanguage and #HOPL / #HistoryOfProgrammingLanguages #HistoryOfTech
- @[email protected] for more UK specific stuff including #NHS & #DigitalHealth
-
Ok so I’ve decided it is better to have two accounts
- This one, for #PL #PLDI #HCI #CHI #LanguageOrientedProgramming #RacketLanguage and #HOPL / #HistoryOfProgrammingLanguages #HistoryOfTech
- @[email protected] for more UK specific stuff including #NHS & #DigitalHealth
-
Re: libranet.de/display/0b6b25a8-2…
(but I don't want to spam that thread any more than I already have)
> My fantasy project is implementing py2 in a language-oriented-programming for Python, the name of which escapes me right now.
Ah, here it is, #pydialect:
github.com/Technologicat/pydia…
> Place a lang-import at the start of your module that uses a dialect:
>from __lang__ import piethon
> Run your program (in this example written in the piethon dialect) through the pydialect bootstrapper instead of python3 directly
[ . . . ]
> The lang-import syntax was chosen as a close pythonic equivalent to Racket's #lang foo.
#lop #LanguageOrientedProgramming #racket #python
@racket @python
Claes Wallin (韋嘉誠) SE HK