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
-
Implementing Exceptions With Continuations Racket Lisp, by Kimserey Lam
-
On the mailing list Little language design/implementation guidance: Stephen De Gabrielle started an interesting thread on language design that is definitely worth some time.
-
Also on the mailing list Python’s append vs Racket’s append and helping novices understand the implications: Alex Harsanyi started this thread which mixes a lot of Python, Racket and how to introduce Racket to Pythonistas. Many interesting links come out of it:
-
Python to Guile book by Arne Babenhauserheide
-
Python to Racket on the Racket Wiki started by Stephen de Gabrielle
-
Racket vs Python3 on the Benchmarks game
-
-
An Overview of Common Racket Data Structures: Alex’s blog post on Racket Data structures, motivated by the Python vs Racket append threads linked to above.
-
How to teach programming to your loved ones, by Michael Sperber
-
Why JSON when you can DSL? Your problematics deserve their own language, by Jérôme Martin at FOSDEM2019
-
A Guiler’s Year of Racket, by Christopher Webber at FOSDEM2019
-
Fractalide and Cantor A Racket application built with Flow-Based Programming, by Claes Wallin at FOSDEM2019
-
Make your own language with Racket. A kickstart workshop for the creative minds, by Jérôme Martin at FOSDEM2019
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: |
60 |
Bugs open |
288 |
PRs open |
92 |
-
Matthew Flatt
-
Paulo Matos
-
Robby Findler
Jobs
If you want to advertise any Racket related jobs, please send me an email or submit an issue.
Contributors
Thanks to:
-
Greg Trzeciak
for his contributions to this issue.
Disclaimer
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.