Thank you for your comment

Beau­tiful Racket / racket school 2019

Day 1

Powerful points

  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)
    1
    (seq bos "f" (+ "o") (* (submatch "bar")) eos)
    copy to clipboard
    #rx"^fo+(bar)*$"
    1
    #rx"^fo+(bar)*$"
    copy to clipboard
    #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
    ]
    }
     1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
    #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
]
}
    copy to clipboard
    #lang pollen

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

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

  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").
    1
2
3
    #lang pollen/markdown

I am **so** excited to be student #◊(* 6 7) at [Racket School]("https://school.racket-lang.org").
    copy to clipboard
    #lang brag
    bf-program : (bf-op | bf-loop)*
    bf-op : ">" | "<" | "+" | "-" | "." | ","
    bf-loop : "[" (bf-op | bf-loop)* "]"
    1
2
3
4
    #lang brag
bf-program : (bf-op | bf-loop)*
bf-op      : ">" | "<" | "+" | "-" | "." | ","
bf-loop    : "[" (bf-op | bf-loop)* "]"
    copy to clipboard
    #lang typed/racket

    (: gt : Integer Integer -> Boolean)
    (define (gt x y) (> x y))

    (gt 5.0 4.0)
    1
2
3
4
5
6
    #lang typed/racket

(: gt : Integer Integer -> Boolean)
(define (gt x y) (> x y))

(gt 5.0 4.0)
    copy to clipboard

    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"))
     1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
    #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"))
    copy to clipboard
    #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
     1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
    #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
    copy to clipboard

  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
     1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
    #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
    copy to clipboard

  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)
     1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
    #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)
    copy to clipboard

  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.

← prev next →