Plait Language
And even more finally, we have the `plait' language for use with Programming Languages, Application and Interpretation, THIRD Edition.
docs.racket-lang.org/plait/
04.08.2025 20:54 — 👍 2 🔁 2 💬 0 📌 0
PLAI Typed Language
#lang plai-typed package: plai-typed
Finally, we have the `plai-typed' language for use with Programming Languages: Application and Interpretation, Second Edition. It is based on scheme, but the type system is close to that of ML. Type checking and inference is just as in ML (Hindley-Milner), with a few small exceptions.
04.08.2025 20:42 — 👍 1 🔁 0 💬 2 📌 0
The turnstile language
Stephen Chang <stchang at racket-lang dot org>,Alex Knauth <alexander at knauth dot org>,Ben Greenman <types at ccs dot neu dot edu>,Milo Turner <iitalics at gmail dot com>,and Michael Ballantyne…
Secondly we have the Turnstile language - designed to help programmers create typed languages with extensions to Racket’s macro-definition forms that facilitate implementation of type rules alongside normal macro code. docs.racket-lang.org/turnstile/in...
04.08.2025 20:42 — 👍 1 🔁 0 💬 1 📌 0
The Typed Racket Reference
Sam Tobin-Hochstadt <samth@racket-lang.org>,Vincent St-Amour <stamourv@racket-lang.org>,Eric Dobson <endobson@racket-lang.org>,and Asumu Takikawa <asumu@racket-lang.org>
types, Types, TYPES!
Did you know Racket supports static type checking?
#lisp
Firstly there is Typed Racket (prev. Typed Scheme) and is used to implement the wonderful Plot and Math libraries that ship with Racket.
#typescript
04.08.2025 20:42 — 👍 11 🔁 2 💬 1 📌 1
How to Hash-Lang
* [How to Hash-lang.](williamjbowman.com/doc/how-to-h...) An introduction to designing and implementing hash-langs in Racket, focusing on first implementing a language, and lazily introducing required macro and metaprogramming concepts.
14.07.2025 21:26 — 👍 2 🔁 1 💬 0 📌 0
Normalization by Evaluation Four Ways: Reconstructing NbE Designs from First Principles
* [Normalization by Evaluation Four Ways: Reconstructing NbE Designs from First Principles.](williamjbowman.com/doc/nbe-four...) An introduction to the design space of normalization by evaluation.
14.07.2025 21:26 — 👍 1 🔁 1 💬 1 📌 0
Experimenting with Languages in Redex
Racket and PL tutorials
courtesy of williamjbowman.com
* [Experimenting with Languages in Redex.](williamjbowman.com/doc/experime...) An introduction to modeling programming languages in PLT Redex.
14.07.2025 21:26 — 👍 5 🔁 2 💬 1 📌 0
5 July not June
04.07.2025 09:35 — 👍 0 🔁 0 💬 0 📌 0
Racket News logo
Everyone is welcome to join us for the Racket meet-up: Saturday, 7 June, 2025 at 18:00 UTC
EVERYONE WELCOME 😁
Announcement at racket.discourse.group/t/racket-mee...
03.07.2025 18:44 — 👍 1 🔁 1 💬 1 📌 0
GitHub - shriram/lambda-n: the lambda-n language
the lambda-n language. Contribute to shriram/lambda-n development by creating an account on GitHub.
It's been bothering me for a while, so I created a Racket extension to refer to variables by position: eg,
(define hypotenuse
(lambda 2
(sqrt (+ (square $0)
(square $1)))))
Why not. What fun. No more variable name choice paralysis! 🤣
github.com/shriram/lamb...
26.06.2025 03:34 — 👍 26 🔁 2 💬 7 📌 1
Racket logo variant
Racket meet-up Sunday 29 June, Coffee & More Cafe, Sunnyvale, CA. www.eventbrite.com/e/racket-and...
#racket #lisp #scheme #functionalprogramming #haskell #rhombus
12.06.2025 23:38 — 👍 0 🔁 0 💬 0 📌 0
Animated version
The animated version for those of you who aren’t lucky enough to be using DrRacket today
11.06.2025 17:20 — 👍 3 🔁 1 💬 2 📌 0
DrRacket splash screen Easter egg (Hawaiian turtle)
I love these Easter eggs in #DrRacket
11.06.2025 11:40 — 👍 6 🔁 1 💬 1 📌 0
Happy King Kamehameha I Day!
#DrRacket #easteregg
11.06.2025 10:59 — 👍 4 🔁 1 💬 1 📌 0
Happy Birthday PHP! 🎂
8 June 1995
08.06.2025 01:43 — 👍 7 🔁 1 💬 0 📌 1
Banner image with title FEAR OF MACROS in red dripping horror-movie style text
With the background showing a Housecat with a dark red filter
Fear of Macros by Greg Hendershott
www.greghendershott.com/fear-of-macr...
#Racket #lisp #scheme #macros #metaprogramming
31.05.2025 16:21 — 👍 9 🔁 2 💬 0 📌 0
Rhombus Logo https://rhombus-lang.org
Racket Logo https://racket-lang.org
Rhombus and Racket Interoperability
"Rhombus is implemented on top of Racket, and the two languages share a module system and many data representations. [… ] This document describes techniques and libraries for interoperating between the two languages. "
docs.racket-lang.org/rhombus-rack...
#Lisp
26.05.2025 18:15 — 👍 2 🔁 1 💬 0 📌 0
Join the Racket Discord Server!
Racket Programming Languages & Language Oriented Programming. | 2691 members
[Discourse](racket.discourse.group/invites/VxkB...) and [Discord](discord.gg/6Zq8sH5) are the most active places for Racketeers & the best place to ask questions. (Questions are welcomed)
#Racket #Scheme #Lisp #RacketLisp
24.05.2025 15:14 — 👍 2 🔁 0 💬 0 📌 0
Happy Birthday Java ☕️🎂
May 23, 1995
23.05.2025 01:39 — 👍 14 🔁 1 💬 1 📌 2
Screenshot
dbg: A server, client and UI for remotely debugging Racket applications.
github.com/Bogdanp/rack...
pkgs.racket-lang.org/package/dbg
#racket #lisp #scheme #racketlisp
21.05.2025 19:59 — 👍 5 🔁 2 💬 0 📌 0
A programming language empowering everyone to build reliable and efficient software.
Website: https://rust-lang.org/
Blog: https://blog.rust-lang.org/
Mastodon: https://social.rust-lang.org/@rust
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Professor in CSE, Information, and Education at
U-Michigan. Director of PCAS https://lsa.umich.edu/computingfor. Computing Ed Researcher, blogger, dad. https://computinged.wordpress.com/
Department of Computer Science at the University of Oxford, sharing news on our outstanding research across a broad spectrum of computer science #CompSciOxford
Programming Languages Postdoc @ UIUC
Trans girl 🏳️⚧️
still here~ despite it all
https://kirancodes.me
Still ultrafinitist, but with a softer side.
https://www.kleene.church/
I do the Church of Logic podcast.
https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ
https://rdivyanshu.github.io/
Math, music (@patantara.com), human and computer languages, small data and natural intelligence, visiting prof of computer science at Krea University. Blog - https://sriku.org
Comp. sci. prof. @ American University, Washington DC. AI researcher with miscellaneous other interests. https://www.kmjn.org/
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
rapid unscheduled torment nexus disassembly expert — nonbinary, she/they — writes Racket — @doitwithalambda on twitter
ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social
https://icfp25.sigplan.org/
https://icfpconference.org/
Director of Geospatial AI @nbcuniversal.com, Brown CS PhD & SMCVT Math/Physics/CS alum, admin @cemetech.net, AFOL, SFF nerd & open-theist
Bluesky open-source contributor
Decentralizing systems (human & digital)
Opinions are my own
📍Vermont
Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket
I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
