Beau­tiful Racket / racket school 2019

• 1 intro
• 2 pl check­list
• 3 lop till you drop
• 4 lop exam­ples
• 5 bullet train
• 6 trigram
• 7 flyover country
• 8 read only
• 9 expand only
• 10 conjunc­tion
• 11 injunc­tion

1. 

   When is language-oriented program­ming valu­able?

2. 

   When you want to become rich enough to donate a building to your alma mater.

3. 

   When you want to reduce the nota­tion.

   

   (seq bos "f" (+ "o") (* (submatch "bar")) eos)

   

   (seq bos "f" (+ "o") (* (submatch "bar")) eos)

   
   

   #rx"^fo+(bar)*$"

   

   #rx"^fo+(bar)*$"

   
   

   #lang scribble/manual
   @(require (for-label json))
   
   @title{jsonic: because JSON is boring}
   @author{Roxy Lexington}
   
   @defmodulelang[jsonic]
   
   @section{Introduction}
   
   This is a domain-specific language
   that relies on the @racketmodname[json] library.
   
   In particular, the @racket[jsexpr->string] function.
   
   If we start with this:
   
   @verbatim|{
   #lang jsonic
   [
     @$ 'null $@,
     @$ (* 6 7) $@,
     @$ (= 2 (+ 1 1)) $@
   ]
   }|
   
   We'll end up with this:
   
   @verbatim{
   [
     null,
     42,
     true
   ]
   }

   

   #lang scribble/manual
   @(require (for-label json))
   
   @title{jsonic: because JSON is boring}
   @author{Roxy Lexington}
   
   @defmod­ule­lang[jsonic]
   
   @section{Intro­duc­tion}
   
   This is a domain-specific language
   that relies on the @rack­et­mod­name[json] library.
   
   In partic­ular, the @racket[jsexpr->string] func­tion.
   
   If we start with this:
   
   @verbatim|{
   #lang jsonic
   [
     @$ 'null $@,
     @$ (* 6 7) $@,
     @$ (= 2 (+ 1 1)) $@
   ]
   }|
   
   We'll end up with this:
   
   @verbatim{
   [
     null,
     42,
     true
   ]
   }

   
   

   #lang pollen
   
   My DSL ◊link["https://pollenpub.com"]{Pollen} is a language for making online books. And never again typing angle brackets.

   

   #lang pollen
   
   My DSL ◊link["https://pollenpub.com"]{Pollen} is a language for making online books. And never again typing angle brackets.

   
4. 

   When you want enlarge the nota­tion.

   

   #lang pollen/markdown
   
   I am **so** excited to be student #◊(* 6 7) at [Racket School]("https://school.racket-lang.org").

   

   #lang pollen/mark­down
   
   I am **so** excited to be student #◊(* 6 7) at [Racket School]("https://school.racket-lang.org").

   
   

   #lang brag
   bf-program : (bf-op | bf-loop)*
   bf-op : ">" | "<" | "+" | "-" | "." | ","
   bf-loop : "[" (bf-op | bf-loop)* "]"

   

   #lang brag
   bf-program : (bf-op | bf-loop)*
   bf-op      : ">" | "<" | "+" | "-" | "." | ","
   bf-loop    : "[" (bf-op | bf-loop)* "]"

   
   

   #lang typed/racket
   
   (: gt : Integer Integer -> Boolean)
   (define (gt x y) (> x y))
   
   (gt 5.0 4.0)

   

   #lang typed/racket
   
   (: gt : Integer Integer -> Boolean)
   (define (gt x y) (> x y))
   
   (gt 5.0 4.0)

   
   

   See also: Unicode prep language

5. 

   When the program is largely config­u­ra­tional.

   jsonic/info.rkt

   

   #lang info
   (define collection "jsonic")
   (define version "1.0")
   (define scribblings '(("scribblings/jsonic.scrbl")))
   (define test-omit-paths '("jsonic-test.rkt"))
   (define deps '("base"
                  "beautiful-racket-lib"
                  "brag"
                  "draw-lib"
                  "gui-lib"
                  "br-parser-tools-lib"
                  "rackunit-lib"
                  "syntax-color-lib"))
   (define build-deps '("scribble-lib"))

   

   #lang info
   (define collec­tion "jsonic")
   (define version "1.0")
   (define scrib­blings '(("scrib­blings/jsonic.scrbl")))
   (define test-omit-paths '("jsonic-test.rkt"))
   (define deps '("base"
                  "beau­tiful-racket-lib"
                  "brag"
                  "draw-lib"
                  "gui-lib"
                  "br-parser-tools-lib"
                  "rack­unit-lib"
                  "syntax-color-lib"))
   (define build-deps '("scribble-lib"))

   
   

   #lang riposte
   
   $productId := 41966
   $qty := 5
   $campaignId := 1
   
   $payload := {
     "product_id": $productId,
     "campaign_id": $campaignId,
     "qty": $qty
   }
   
   POST $payload cart/{uuid}/items responds with 200
   
   $itemId := /items/0/cart_item_id
   
   GET cart responds with 200

   

   #lang riposte
   
   $productId := 41966
   $qty := 5
   $campaignId := 1
   
   $payload := {
     "product_id": $productId,
     "campaign_id": $campaignId,
     "qty": $qty
   }
   
   POST $payload cart/{uuid}/items responds with 200
   
   $itemId := /items/0/cart_item_id
   
   GET cart responds with 200

   
6. 

   When you want to create nota­tion usable by nonpro­gram­mers (or lazy program­mers).

   

   #lang txtadv-demo
   
   ===VERBS===
   
   north, n
    "go north"
   
   south, s
    "go south"
   
   get _, grab _, take _
    "take"
   
   ===THINGS===
   
   ---cactus---
   get
     "You win!"
   
   ===PLACES===
   
   ---meadow---
   "Welcome to the Cactus Game! You're standing in a meadow. There is a desert to the south."
   []
   
   south
    desert
   
   ---desert---
   "You're in a desert. There is nothing for miles around."
   [cactus]
   
   north
     meadow
   
   ===START===
   
   meadow

   

   #lang txtadv-demo
   
   ===VERBS===
   
   north, n
    "go north"
   
   south, s
    "go south"
   
   get _, grab _, take _
    "take"
   
   ===THINGS===—cactus—get
     "You win!"
   
   ===PLACES===—meadow—"Welcome to the Cactus Game! You're standing in a meadow. There is a desert to the south."
   []
   
   south
    desert—desert—"You're in a desert. There is nothing for miles around."
   [cactus]
   
   north
     meadow
   
   ===START===
   
   meadow

   
7. 

   Hybrids are possible.

   

   #lang lindenmayer racket
   
   ## axiom ##
   X
   
   ## rules ##
   X -> F[+X]F[-X]+X
   F -> FF
   
   ## variables ##
   n=7
   θ=20
   
   =============================================
   (require lindenmayer/turtle)
   (provide (all-from-out lindenmayer/turtle) X)
   (define (X turtles variables) turtles)

   

   #lang linden­mayer racket
   
   ## axiom ##
   X
   
   ## rules ##
   X -> F[+X]F[-X]+X
   F -> FF
   
   ## vari­ables ##
   n=7
   θ=20
   
   =============================================
   (require linden­mayer/turtle)
   (provide (all-from-out linden­mayer/turtle) X)
   (define (X turtles vari­ables) turtles)

   
8. 

   To computer scien­tists, nota­tion is boring, because they study programs, not people. S-expres­sions often suffice.

9. 

   In the real world, it’s impor­tant, because soft­ware is a tool, so the ergonomics matter. S-expres­sions often don’t suffice.

• 1 intro
• 2 pl check­list
• 3 lop till you drop
• 4 lop exam­ples
• 5 bullet train
• 6 trigram
• 7 flyover country
• 8 read only
• 9 expand only
• 10 conjunc­tion
• 11 injunc­tion