Racket News - Issue 2

Permalink: https://racket-news.com/2019/02/racket-news-issue-2.html

Welcome to the second issue of Racket News. Thanks for Greg Trzeciak’s contributions to the issue. I will add a new section to the newsletter with the issue’s contributors. If there’s something you really dislike, or something you want to see added to the newsletter please send me an email or submit an issue.

I have setup a newsletter through mailchimp that you can register to from the main page if you prefer to get all the issues straight into your mailbox. There are a few issues with the online CSS and fonts which I need to do some searching/learning to solve - Apologies for that.

What’s New?

  • Racket School 2019 has been announced. With two tracks to choose from: How to design languages and Beautiful Racket workshop by Racket heavyweights, it’s time to register. It’ll happen just before RacketCon, on July 13-14.

Upcoming Meetups

  • BOB2019 - Right before Racketfest, also in Berlin, Germany there will be a few Rackety related things going on like a talk by Shriram Krishnamurthi and a tutorial by Jesse Alama

  • RacketFest - Jesse Alama is organizing the first European Racket Meeting. It will take place in Berlin, Germany on March 23, 2019. Make sure you get your ticket before they sell out... again!

  • Racket School 2019 - taught by Racket heavyweights it’s your time to get you #lang-fu up to scratch. Will take place in Salt Lake City, US on July 13-14.

Racket around the web

A few blog posts and videos Here is a post on exceptions implementation and a few videos for you today. Grab a cup of coffee (or your favourite beverage) and dig in.

Project on the Spotlight

raco pkg install rosette

This week I would like to feature Rosette, a solver-aided programming system.

In simple terms, Rosette integrates a constraint solver into your favourite programming language and makes a language out of it. Do you know those fruit salad brain teasers that leave you hungrier but not so teased?

Yes, these...

Don’t waste time with them unless you want to use them to have some Rosette fun:

#lang  rosette/safe
(define-symbolic apple integer?)
(define-symbolic banana integer?)
(define-symbolic grape integer?)
(define-symbolic question-mark integer?)
(assert (= (+ apple apple apple) 120))
(assert (= (+ apple banana banana) 100))
(assert (= (+ banana grape apple) 105))
(solve (assert (= (+ banana grape) question-mark)))
> (model
   [apple 40]
   [banana 30]
   [grape 35]
   [question-mark 65])

This is an incredibly interesting project with endless applications, besides being an excellent showcase of Racket’s ability to create new languages with different evaluation models.

Help Needed

Do you know a project looking for contributors? I would love to hear about it.

  • Racket News: Besides the obvious, What would you like to see next? I could use a hand to make suggestions with regards to the website design. Using Frog with the Clean blog bootstrap4 theme but I am definitely way out of my league as soon as I need to do any CSSy stuff.

  • Chez on RISC-V: RISC-V is on the verge of broad adoption and I would like to see Racket running on RISC-V asap. That means getting Chez on RISC-V... if you are interested in compilers, architectures, and Racket, join in the fun.

Stats of mention

Because Github pulse does not provide bi-weekly stats and because Racket’s Github API library has a pagination problem, I didn’t manage to get very detailed statistics for this issue, but here’s what I have for the last two weeks:

Number of master Commits:


Bugs open


PRs open


Contributions by (3):
  • Matthew Flatt

  • Paulo Matos

  • Robby Findler


If you want to advertise any Racket related jobs, please send me an email or submit an issue.


Thanks to:

  • Greg Trzeciak

for his contributions to this issue.


This issue is brought to you by Paulo Matos. Any mistakes or inaccuracies are solely mine and they do not represent the views of the PLT team, who develop Racket.

I have also tried to survey the most relevant things that happened in Racket lang recently. If you have done something awesome, wrote a blog post or seen something that I missed - my apologies. Let me know so I can rectify it in the next issue.


Have you seen something cool related Racket? Send it in and we will feature it in the next issue.