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

@shriram.bsky.socialReposted by @racket-lang.org

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. ↵

@notjack.spaceReposted by @racket-lang.org

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

@bekavalentine.bsky.socialReposted by @racket-lang.org

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

basic STLC with variables, constants, lambdas, and applicationa bidirectional monadic haskell implementation (minus the constant terms)
Older posts