Racket

Racket

@racket-lang.org

Racket is... * a general purpose language * compiler, runtime and tools, * a diverse community https://racket-lang.org/ Rhombus is a general-purpose programming language that is easy to use and uniquely customizable. https://rhombus-lang.org

528 followers35 following335 posts

Racket reposted

Today in 1928, #ACMTuringAward recipient Peter Naur was born. Peter Naur received the 2005 ACM Turing Award for fundamental contributions to programming language design and the definition of Algol 60, to compiler design, and to the art and practice of computer programming. 🔗 buff.ly/ViP3d8W #OTD

Another wonderful evening with Racketeers! Next month we will have demos and short talks on PDL - Tim GoG - Christophe

Racket reposted

Racket reposted

Pleased to announce shplait/liquid, a liquid-typed version of shplait, the language of my book PLAI. This version adds liquid-typing, a form of refinement types. It's primarily meant to be a small language for pedagogic purposes to induce people to try grown-up ones later. ↵

Racket reposted

"We know what we mean." -- you know who I mean.

Racket@racket-lang.org

Sixteenth RacketCon is underway with Pat Hanrahan delivering the keynote 'On Notation' Slide 'Math is Ambiguous and Inconsistent' con.racket-lang.org

Racket reposted

Replying to @notjack.space

trying to spot which racketcon speakers wrote their presentations in the Slideshow DSL is a fun game I see you culpepper

Racket reposted

when we do type theory in standard inference rule notation like the left image, we often end up translating that into monadic typing systems like the image on the right but there are a number of aspects of the monadic Haskell version that are not as straight forward as wed like

Bay Area Racket Meetup - September 5th, 3pm Social event for people interested in the Racket programming language, other Lisps, functional programming, language-oriented programming and related topics. At Noisebridge, a hackerspace in SF. luma.com/6y4sbfln #lisp #scheme #Racket

luma.comBay Area Racket Meetup #4 · LumaSocial event for people interested in the Racket programming language, other Lisps, functional programming, language-oriented programming and related…

Racket reposted

Replying to @anil.recoil.org

the grey parts represent OCaml's pervasive use of impure mutable state

Racket reposted

oh wow

Racket@racket-lang.org

We are pleased to announce Rhombus 1.1 is now available from rhombus-lang.org Rhombus is easy to use and uniquely customizable. See blog.racket-lang.org/2026/08/rhom... for the release announcement and highlights.

Tonight! UK Racket meet-up (London) Tuesday 18 August 2026 7:30pm at The City Pride 🍕 28 Farringdon Ln, London EC1R 3AU Join us for discussion and pizza. All welcome.😁