Skip to main content
Racket

Racket

Programming languageWikipedia

Search complete. 18 mentions across 1 episode found for "Racket".

Sep 5, 2026

Type Theory Forall

Type Theory Forall

#64 PL Education in the Age of AI - Shriram Krishnamurthi

Sep 5 · 18 Mentions

Pedro AbreuHOST
65:48
But before, let's talk a little more about formal reasoning, proof of assistance.
Pedro AbreuHOST
65:52
And even before that, why Racket?
Shriram KrishnamurthiGUEST
65:55
Oh, why
Pedro AbreuHOST
65:56
Racket for what? for teaching, for doing.
Pedro AbreuHOST
65:58
What do we do with Racket? What is Racket? Can you teach us? Tell us a little more.
Pedro AbreuHOST
66:05
You've mentioned Racket a couple of times, and I've never had anyone who I could ask this question.
Shriram KrishnamurthiGUEST
66:10
Have you programmed in a shell script?
Pedro AbreuHOST
66:11
Yes.

We value your privacy

We use cookies to understand how you use our platform and to improve your experience. Click “Accept All” to consent, or “Decline non-essential” to opt out of non-essential cookies. Read our Privacy Policy.