From 201890d2d9e91dec8f2b90ed01ce019a5b2bbf0d Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Fri, 21 Mar 2014 19:32:37 -0700 Subject: [PATCH 1/4] docs update --- scribblings/reader.scrbl | 757 +++++++++++++++++++++++++++++++++++++++ scribblings/utils.rkt | 230 ++++++++++++ 2 files changed, 987 insertions(+) create mode 100644 scribblings/reader.scrbl create mode 100644 scribblings/utils.rkt diff --git a/scribblings/reader.scrbl b/scribblings/reader.scrbl new file mode 100644 index 0000000..faf1b93 --- /dev/null +++ b/scribblings/reader.scrbl @@ -0,0 +1,757 @@ +#lang scribble/manual +@(require scribble/bnf scribble/eval "utils.rkt" + (for-syntax racket/base) + (for-label (only-in scribble/reader + use-at-readtable) pollen/world)) + +@(define read-eval (make-base-eval)) +@(interaction-eval #:eval read-eval (require (for-syntax racket/base))) + +@(define (at-exp-racket) + @racket[#, @hash-lang[] #, @racketmodname[at-exp] #, @racketidfont{racket}]) + +@title[#:tag "reader"]{Pollen ◊ command notation} + +@italic{Pollen is a dialect of Scribble, so I've adapted this section from Matthew Flatt and Eli Barzilay's excellent documentation for Scribble. If you think this section is good, it's because of them. If you don't, it's because of me.} + +Pollen's command notation is designed to be a convenient system for embedding Pollen commands within free-form text. + +@section{The golden rule} + +Pollen uses a special character — the @italic{lozenge}, which looks like this: ◊ — as its command character. Meaning, when you put the ◊ in front of a word or expression, it will it be interpreted as a Pollen command. + + + +Typically, ◊ notation is enabled through +@racketmodname[scribble/base] or similar languages, but you can also +add ◊ notation to an S-expression-based language using the +@racketmodname[at-exp] meta-language. For example, + +@verbatim[#:indent 2]|{ + #lang at-exp racket + (define v '@op{str}) +}| + +is equivalent to + +@racketmod[ +racket +(define v '(op "str")) +] + +Using @at-exp-racket[] is probably the easiest way to try the examples +in this chapter. + + + +@section{About that lozenge} + +I picked the lozenge glyph as the delimiter — meaning this thing: ◊ — because a) it appears in almost every font, b) it's barely used in ordinary typesetting, and c) its shape and color allow it to stand out easily in code without being distracting. + +Scribble itself uses the @"@" sign as a delimiter. Not a bad choice if all you do is Racket. But as you use Pollen to work on other kinds of text-based files that commonly contain @"@" signs — you know, like things with email addresses — a small headache starts to form. That's why I changed it. + +Still, if you don't want to use the lozenge as your delimiter, you can use something else. Set Pollen's @racket[world:expression-delimiter] value to whatever character you want. But don't knock the lozenge till you try it. + +@;-------------------------------------------------------------------- +@section{The Pollen Syntax at a Glance} + +To review @secref["how-to:reader"], the concrete syntax of @deftech{◊-forms} +is roughly + +@racketblock[ + @#,BNF-seq[@litchar["@"] + @nonterm{cmd} + @litchar{[} @kleenestar{@nonterm{datum}} @litchar{]} + @litchar["{"] @kleenestar{@nonterm{text-body}} @litchar["}"]] +] + +where all three parts after @litchar["@"] are optional, but at least +one should be present. (Spaces are not allowed between the +three parts.) Roughly, a form matching the above grammar is read as + +@racketblock[ + (@#,nonterm{cmd} @#,kleenestar{@nonterm{datum}} @#,kleenestar{@nonterm{parsed-body}}) +] + +where @nonterm{parsed-body} is the translation of each +@nonterm{text-body} in the input. Thus, the initial @nonterm{cmd} +determines the Racket code that the input is translated into. The +common case is when @nonterm{cmd} is a Racket identifier, which reads +as a plain Racket form, with datum arguments and/or string arguments. + +Here is one example: + +@scribble-examples|==={ + @foo{blah blah blah} +}===| + +The example shows how an input syntax is read as Racket syntax, not +what it evaluates to. If you want to see the translation of an example +into S-expression form, add a quote in front of it in a +@at-exp-racket[] module. For example, running + +@verbatim[#:indent 2]|{ + #lang at-exp racket + '@foo{blah blah blah} +}| + +in DrRacket prints the output + +@nested[#:style 'inset]{@racketresult[(foo "blah blah blah")]} + +while omitting the quote + +@verbatim[#:indent 2]|{ + #lang at-exp racket + @foo{blah blah blah} +}| + +triggers a syntax error because @racket[foo] is not bound, and + +@verbatim[#:indent 2]|{ + #lang at-exp racket + (define (foo str) (printf "He wrote ~s.\n" str)) + @foo{blah blah blah} +}| + +prints the output + +@nested[#:style 'inset]{@racketoutput{He wrote "blah blah blah".}} + +Here are more examples of @tech{◊-forms}: + +@scribble-examples|==={ + @foo{blah "blah" (`blah'?)} + @foo[1 2]{3 4} + @foo[1 2 3 4] + @foo[#:width 2]{blah blah} + @foo{blah blah + yada yada} + @foo{ + blah blah + yada yada + } +}===| + +As seen in the last example, multiple lines and the newlines that +separate them are parsed to multiple Racket strings. More generally, +a @nonterm{text-body} is made of text, newlines, and nested +@tech{◊-forms}, where the syntax for @tech{◊-forms} is the same whether it's +in a @nonterm{text-body} context as in a Racket context. A +@nonterm{text-body} that isn't an @tech{◊-form} is converted to a string +expression for its @nonterm{parsed-body}; newlines and following +indentations are converted to @racket["\n"] and all-space string +expressions. + +@scribble-examples|==={ + @foo{bar @baz{3} + blah} + @foo{@b{@u[3] @u{4}} + blah} + @C{while (*(p++)) + *p = '\n';} +}===| + +The command part of an @tech{◊-form} is optional as well. In that case, +the @tech{◊-form} is read as a list, which usually counts as a function +application, but it also useful when quoted with the usual Racket +@racket[quote]: + +@scribble-examples|==={ + @{blah blah} + @{blah @[3]} + '@{foo + bar + baz} +}===| + +Finally, we can also drop the datum and text parts, which leaves us with +only the command---which is read as is, not within a parenthesized +form. This is not useful when reading Racket code, but it can be used +inside a text block to escape a Racket identifier. A vertical bar +(@litchar{|}) can be used to delimit the escaped identifier when +needed. + +@scribble-examples|==={ + @foo + @{blah @foo blah} + @{blah @foo: blah} + @{blah @|foo|: blah} +}===| + +Actually, the command part can be any Racket expression (that does not +start with @litchar["["], @litchar["{"], or @litchar["|"]), which is +particularly useful with such escapes since they can be used with any +expression. + +@scribble-examples|==={ + @foo{(+ 1 2) -> @(+ 1 2)!} + @foo{A @"string" escape} +}===| + +Note that an escaped Racket string is merged with the surrounding text +as a special case. This is useful if you want to use the special +characters in your string, but escaping braces are not necessary if +they are balanced. + +@scribble-examples|==={ + @foo{eli@"@"barzilay.org} + @foo{A @"{" begins a block} + @C{while (*(p++)) { + *p = '\n'; + }} +}===| + +In some cases, a text contains many literal ◊s, which can be +cumbersome to quote individually. For such case, braces have an +alternative syntax: A block of text can begin with a +``@litchar["|{"]'' and terminated accordingly with a +``@litchar["}|"]''. Furthermore, any nested @tech{◊-forms} must begin +with a ``@litchar["|@"]''. + +@scribble-examples|==={ + @foo|{bar}@{baz}| + @foo|{bar |@x{X} baz}| + @foo|{bar |@x|{@}| baz}| +}===| + +In cases when even this is not convenient enough, punctuation +characters can be added between the @litchar{|} and the braces and the +◊ in nested forms. (The punctuation is mirrored for parentheses +and @litchar{<>}s.) With this extension, Pollen syntax can be used as a +``here string'' replacement. + +@scribble-examples|==={ + @foo|--{bar}@|{baz}--| + @foo|<<{bar}@|{baz}>>| +}===| + +On the flip side of this is, how can an ◊ sign be used in Racket +code? This is almost never an issue, because Racket strings and +characters are still read the same, and @litchar["@"] is set as a +non-terminating reader macro so it can be used in Racket identifiers +anywhere except in the first character of an identifier. When +@litchar["@"] must appear as the first character of an identifier, you +must quote the identifier just like other non-standard characters in +normal S-expression syntax: with a backslash or with vertical bars. + +@scribble-examples|==={ + (define \@email "foo@bar.com") + (define |@atchar| #\@) +}===| + +Note that spaces are not allowed before a @litchar{[} or a +@litchar["{"], or they will be part of the following text (or Racket +code). (More on using braces in body texts below.) + +@scribble-examples|==={ + @foo{bar @baz[2 3] {4 5}} +}===| + +Finally, remember that the Pollen is just an alternate for +S-expressions. Identifiers still get their meaning, as in any +Racket code, through the lexical context in which they appear. +Specifically, when the above @tech{◊-form} appears in a Racket expression +context, the lexical environment must provide bindings for +@racket[foo] as a procedure or a macro; it can be defined, required, +or bound locally (with @racket[let], for example). + +@; FIXME: unfortunate code duplication +@interaction[ +(eval:alts + (let* ([formatter (lambda (fmt) + (lambda args (format fmt (apply string-append args))))] + [bf (formatter "*~a*")] + [it (formatter "/~a/")] + [ul (formatter "_~a_")] + [text string-append]) + #,(tt "@text{@it{Note}: @bf{This is @ul{not} a pipe}.}")) + (let* ([formatter (lambda (fmt) + (lambda args (format fmt (apply string-append args))))] + [bf (formatter "*~a*")] + [it (formatter "/~a/")] + [ul (formatter "_~a_")] + [text string-append]) + @text{@it{Note}: @bf{This is @ul{not} a pipe}.})) +] + +@;-------------------------------------------------------------------- +@section{The Command Part} + +Besides being a Racket identifier, the @nonterm{cmd} part of an +@tech{◊-form} can have Racket punctuation prefixes, which will end up +wrapping the @italic{whole} expression. + +@scribble-examples|==={ + @`',@foo{blah} + @#`#'#,@foo{blah} +}===| + +When writing Racket code, this means that @litchar|{@`',@foo{blah}}| +is exactly the same as @litchar|{`@',@foo{blah}}| and +@litchar|{`',@@foo{blah}}|, but unlike the latter two, the first +construct can appear in body texts with the same meaning, whereas the +other two would not work (see below). + +After the optional punctuation prefix, the @nonterm{cmd} itself is not +limited to identifiers; it can be @italic{any} Racket expression. + +@scribble-examples|==={ + @(lambda (x) x){blah} + @`(unquote foo){blah} +}===| + +In addition, the command can be omitted altogether, which will omit it +from the translation, resulting in an S-expression that usually +contains, say, just strings: + +@scribble-examples|==={ + @{foo bar + baz} + @'{foo bar + baz} +}===| + +If the command part begins with a @litchar{;} (with no newline between +the @litchar["@"] and the @litchar{;}), then the construct is a +comment. There are two comment forms, one for arbitrary-text and +possibly nested comments, and another one for line comments: + +@racketblock[ +@#,BNF-seq[@litchar["@;{"] @kleenestar{@nonterm{any}} @litchar["}"]] + +@#,BNF-seq[@litchar["@;"] @kleenestar{@nonterm{anything-else-without-newline}}] +] + +In the first form, the commented body must still parse correctly; see +the description of the body syntax below. In the second form, all +text from the @litchar["@;"] to the end of the line @italic{and} all +following spaces (or tabs) are part of the comment (similar to +@litchar{%} comments in TeX). + +@scribble-examples|==={ + @foo{bar @; comment + baz@; + blah} +}===| + +Tip: if you use an editor in some Scheme mode without support for +@tech{◊-forms}, balanced comments can be confusing, since the open brace +looks commented out, and the closing one isn't. In such cases it is +useful to ``comment'' out the closing brace too: + +@verbatim[#:indent 2]|==={ + @;{ + ... + ;} +}===| + +so the editor does not treat the file as having unbalanced +parentheses. + +If only the @nonterm{cmd} part of an @tech{◊-form} is specified, then the +result is the command part only, without an extra set of parenthesis. +This makes it suitable for Racket escapes in body texts. (More on this +below, in the description of the body part.) + +@scribble-examples|==={ + @foo{x @y z} + @foo{x @(* y 2) z} + @{@foo bar} +}===| + +Finally, note that there are currently no special rules for using +@litchar["@"] in the command itself, which can lead to things like: + +@scribble-examples|==={ + @@foo{bar}{baz} +}===| + +@;-------------------------------------------------------------------- +@section{The Datum Part} + +The datum part can contains arbitrary Racket expressions, which +are simply stacked before the body text arguments: + +@scribble-examples|==={ + @foo[1 (* 2 3)]{bar} + @foo[@bar{...}]{blah} +}===| + +The body part can still be omitted, which is essentially an +alternative syntax for plain (non-textual) S-expressions: + +@scribble-examples|==={ + @foo[bar] + @foo{bar @f[x] baz} +}===| + +The datum part can be empty, which makes no difference, except when +the body is omitted. It is more common, however, to use an empty body +for the same purpose. + +@scribble-examples|==={ + @foo[]{bar} + @foo[] + @foo + @foo{} +}===| + +The most common use of the datum part is for Racket forms that expect +keyword-value arguments that precede the body of text arguments. + +@scribble-examples|==={ + @foo[#:style 'big]{bar} +}===| + +@;-------------------------------------------------------------------- +@section{The Body Part} + +The syntax of the body part is intended to be as convenient as +possible for free text. It can contain almost any text---the only +characters with special meaning is @litchar["@"] for sub-@tech{◊-forms}, +and @litchar["}"] for the end of the text. In addition, a +@litchar["{"] is allowed as part of the text, and it makes the +matching @litchar["}"] be part of the text too---so balanced braces +are valid text. + +@scribble-examples|==={ + @foo{f{o}o} + @foo{{{}}{}} +}===| + +As described above, the text turns to a sequence of string arguments +for the resulting form. Spaces at the beginning and end of lines are +discarded, and newlines turn to individual @racket["\n"] strings +(i.e., they are not merged with other body parts); see also the +information about newlines and indentation below. Spaces are +@italic{not} discarded if they appear after the open @litchar["{"] +(before the closing @litchar["}"]) when there is also text that +follows (precedes) it; specifically, they are preserved in a +single-line body. + +@scribble-examples|==={ + @foo{bar} + @foo{ bar } + @foo[1]{ bar } +}===| + +If @litchar["@"] appears in a body, then it is interpreted as Racket +code, which means that the ◊-reader is applied recursively, and the +resulting syntax appears as part of the S-expression, among other +string contents. + +@scribble-examples|==={ + @foo{a @bar{b} c} +}===| + +If the nested ◊ construct has only a command---no body or datum +parts---it will not appear in a subform. Given that the command part +can be any Racket expression, this makes ◊ a general escape to +arbitrary Racket code. + +@scribble-examples|==={ + @foo{a @bar c} + @foo{a @(bar 2) c} +}===| + +This is particularly useful with strings, which can be used to include +arbitrary text. + +@scribble-examples|==={ + @foo{A @"}" marks the end} +}===| + +Note that the escaped string is (intentionally) merged with the rest +of the text. This works for @litchar["@"] too: + +@scribble-examples|==={ + @foo{The prefix: @"@".} + @foo{@"@x{y}" --> (x "y")} +}===| + +@;-------------------------------------------------------------------- +@subsection[#:tag "alt-body-syntax"]{Alternative Body Syntax} + +In addition to the above, there is an alternative syntax for the body, +one that specifies a new marker for its end: use @litchar["|{"] for +the opening marker to have the text terminated by a @litchar["}|"]. + +@scribble-examples|==={ + @foo|{...}| + @foo|{"}" follows "{"}| + @foo|{Nesting |{is}| ok}| +}===| + +This applies to sub-@tech{◊-forms} too---the @litchar["@"] must be +prefixed with a @litchar{|}: + +@scribble-examples|==={ + @foo|{Maze + |@bar{is} + Life!}| + @t|{In |@i|{sub|@"@"s}| too}| +}===| + +Note that the subform uses its own delimiters, @litchar{{...}} or +@litchar{|{...}|}. This means that you can copy and paste Pollen +text with @tech{◊-forms} freely, just prefix the @litchar["@"] if the +immediate surrounding text has a prefix. + +For even better control, you can add characters in the opening +delimiter, between the @litchar{|} and the @litchar["{"]. +Characters that are put there (non alphanumeric ASCII characters only, +excluding @litchar["{"] and @litchar["@"]) should also be used for +sub-@tech{◊-forms}, and the end-of-body marker should have these characters +in reverse order with paren-like characters (@litchar{(}, +@litchar{[}, @litchar{<}) mirrored. + +@scribble-examples|==={ + @foo|<<<{@x{foo} |@{bar}|.}>>>| + @foo|!!{X |!!@b{Y}...}!!| +}===| + +Finally, remember that you can use an expression escape with a Racket +string for confusing situations. This works well when you only need +to quote short pieces, and the above works well when you have larger +multi-line body texts. + +@;-------------------------------------------------------------------- +@subsection{Racket Expression Escapes} + +In some cases, you may want to use a Racket identifier (or a number or +a boolean etc.) in a position that touches the following text; in +these situations you should surround the escaped Racket expression by +a pair of @litchar{|} characters. The text inside the bars is +parsed as a Racket expression. + +@scribble-examples|==={ + @foo{foo@bar.} + @foo{foo@|bar|.} + @foo{foo@3.} + @foo{foo@|3|.} +}===| + +This form is a generic Racket expression escape, there is no body text +or datum part when you use this form. + +@scribble-examples|==={ + @foo{foo@|(f 1)|{bar}} + @foo{foo@|bar|[1]{baz}} +}===| + +This works for string expressions too, but note that unlike the above, +the string is (intentionally) not merged with the rest of the text: + +@scribble-examples|==={ + @foo{x@"y"z} + @foo{x@|"y"|z} +}===| + +Expression escapes also work with @italic{any} number of expressions, + +@scribble-examples|==={ + @foo{x@|1 (+ 2 3) 4|y} + @foo{x@|* + *|y} +}===| + +It seems that @litchar["@||"] has no purpose---but remember that these escapes +are never merged with the surrounding text, which can be useful when +you want to control the sub expressions in the form. + +@scribble-examples|==={ + @foo{Alice@||Bob@| + |Carol} +}===| + +Note that @litchar["@|{...}|"] can be parsed as either an escape expression or +as the Racket command part of an @tech{◊-form}. The latter is used in this case +(since there is little point in Racket code that uses braces. + +@scribble-examples|==={ + @|{blah}| +}===| + +@;-------------------------------------------------------------------- +@subsection{Comments} + +As noted above, there are two kinds of Pollen comments: @litchar|{@;{...}}| is +a (nestable) comment for a whole body of text (following the same +rules for @tech{◊-forms}), and @litchar|{@;...}| is a line-comment. + +@scribble-examples|==={ + @foo{First line@;{there is still a + newline here;} + Second line} +}===| + +One useful property of line-comments is that they continue to the end +of the line @italic{and} all following spaces (or tabs). Using this, +you can get further control of the subforms. + +@scribble-examples|==={ + @foo{A long @; + single-@; + string arg.} +}===| + +Note how this is different from using @litchar["@||"]s in that strings +around it are not merged. + +@;-------------------------------------------------------------------- +@subsection{Spaces, Newlines, and Indentation} + +The Pollen syntax treats spaces and newlines in a special way is +meant to be sensible for dealing with text. As mentioned above, +spaces at the beginning and end of body lines are discarded, except +for spaces between a @litchar["{"] and text, or between text and a +@litchar["}"]. + +@scribble-examples|==={ + @foo{bar} + @foo{ bar } + @foo{ bar + baz } +}===| + +A single newline that follows an open brace or precedes a closing +brace is discarded, unless there are only newlines in the body; other +newlines are read as a @racket["\n"] string + +@scribble-examples|==={ + @foo{bar + } + @foo{ + bar + } + @foo{ + + bar + + } + @foo{ + bar + + baz + } + @foo{ + } + @foo{ + + } + @foo{ bar + baz } +}===| + +Spaces at the beginning of body lines do not appear in the resulting +S-expressions, but the column of each line is noticed, and all-space +indentation strings are added so the result has the same indentation. +A indentation string is added to each line according to its distance +from the leftmost syntax object (except for empty lines). (Note: if +you try these examples on a Racket REPL, you should be aware that +the reader does not know about the ``@litchar{> }'' prompt.) + +@scribble-examples|==={ + @foo{ + bar + baz + blah + } + @foo{ + begin + x++; + end} + @foo{ + a + b + c} +}===| + +If the first string came from the opening @litchar["{"] line, it is +not prepended with an indentation (but it can affect the leftmost +syntax object used for indentation). This makes sense when formatting +structured code as well as text (see the last example in the following +block). + +@scribble-examples|==={ + @foo{bar + baz + bbb} + @foo{ bar + baz + bbb} + @foo{bar + baz + bbb} + @foo{ bar + baz + bbb} + @foo{ bar + baz + bbb} + @text{Some @b{bold + text}, and + more text.} +}===| + +Note that each ◊-form is parsed to an S-expression that has its own +indentation. This means that Pollen source can be indented like +code, but if indentation matters then you may need to apply +indentation of the outer item to all lines of the inner one. For +example, in + +@litchar/lines|==={ + @code{ + begin + i = 1, r = 1 + @bold{while i < n do + r *= i++ + done} + end + } +}===| + +a formatter will need to apply the 2-space indentation to the +rendering of the @racket[bold] body. + +Note that to get a first-line text to be counted as a leftmost line, +line and column accounting should be on for the input port +(@racket[use-at-readtable] turns them on for the current input port). +Without this, + +@litchar/lines|==={ + @foo{x1 + x2 + x3} +}===| + +will not have 2-space indentations in the parsed S-expression if +source accounting is not on, but + +@litchar/lines|==={ + @foo{x1 + x2 + x3} +}===| + +will (due to the last line). Pay attention to this, as it can be a +problem with Racket code, for example: + +@litchar/lines|==={ + @code{(define (foo x) + (+ x 1))} +}===| + +For rare situations where spaces at the beginning (or end) of lines +matter, you can begin (or end) a line with a @litchar["@||"]. + +@scribble-examples|==={ + @foo{ + @|| bar @|| + @|| baz} +}===| + +@; -------------------------------------------------- +@(close-eval read-eval) + diff --git a/scribblings/utils.rkt b/scribblings/utils.rkt new file mode 100644 index 0000000..f1acb71 --- /dev/null +++ b/scribblings/utils.rkt @@ -0,0 +1,230 @@ +#lang racket/base + +(require scribble/core + scribble/html-properties + scribble/manual + (prefix-in racket: scribble/racket) + (prefix-in scribble: scribble/reader)) + +(define-syntax bounce-for-label + (syntax-rules (all-except) + [(_ (all-except mod (id ...) (id2 ...))) + (begin (require (for-label (except-in mod id ...))) + (provide (for-label (except-out (all-from-out mod) id2 ...))))] + [(_ mod) (begin (require (for-label mod)) + (provide (for-label (all-from-out mod))))] + [(_ mod ...) (begin (bounce-for-label mod) ...)])) + +(bounce-for-label (all-except racket (abstract link) ()) + scribble/core + scribble/base-render + scribble/decode + scribble/manual + scribble/racket + scribble/html-properties + scribble/latex-properties + scribble/eval + scribble/bnf) + +(provide scribble-examples litchar/lines doc-render-examples) + +(define (as-flow e) + (if (block? e) e (make-paragraph plain (list e)))) + +(define (litchar/lines . strs) + (let ([strs (regexp-split #rx"\n" (apply string-append strs))]) + (if (= 1 (length strs)) + (litchar (car strs)) + (make-table + plain + (map (lambda (s) ; the nbsp is needed for IE + (list (as-flow (if (string=? s "") 'nbsp (litchar s))))) + strs))))) + +(define spacer (hspace 2)) + +(define ((norm-spacing base) p) + (cond [(and (syntax->list p) (not (null? (syntax-e p)))) + (let loop ([e (syntax->list p)] + [line (syntax-line (car (syntax-e p)))] + [pos base] + [second #f] + [accum null]) + (if (null? e) + (datum->syntax + p (reverse accum) + (list (syntax-source p) (syntax-line p) base (add1 base) + (- pos base)) + p) + (let* ([v ((norm-spacing (if (= line (syntax-line (car e))) + pos + (or second pos))) + (car e))] + [next-pos (+ (syntax-column v) (syntax-span v) 1)]) + (loop (cdr e) + (syntax-line v) + next-pos + (or second next-pos) + (cons v accum)))))] + [else (datum->syntax + p (syntax-e p) + (list (syntax-source p) (syntax-line p) base (add1 base) 1) + p)])) + +(define (scribble-examples . lines) + (define reads-as (make-paragraph plain (list spacer "reads as" spacer))) + (let* ([lines (apply string-append lines)] + [p (open-input-string lines)]) + (port-count-lines! p) + (let loop ([r '()] [newlines? #f]) + (regexp-match? #px#"^[[:space:]]*" p) + (let* ([p1 (file-position p)] + [stx (scribble:read-syntax #f p)] + [p2 (file-position p)]) + (if (not (eof-object? stx)) + (let ([str (substring lines p1 p2)]) + (loop (cons (list str stx) r) + (or newlines? (regexp-match? #rx#"\n" str)))) + (let* ([r (reverse r)] + [r (if newlines? + (cdr (apply append (map (lambda (x) (list #f x)) r))) + r)]) + (make-table + plain + (map (lambda (x) + (let ([@expr (if x (litchar/lines (car x)) "")] + [sexpr (if x + (racket:to-paragraph + ((norm-spacing 0) (cadr x))) + "")] + [reads-as (if x reads-as "")]) + (map as-flow (list spacer @expr reads-as sexpr)))) + r)))))))) + +;; stuff for the scribble/text examples + +(require racket/list (for-syntax racket/base racket/list)) + +(define max-textsample-width 45) + +(define (textsample-verbatim-boxes line in-text out-text more) + (define (split str) (regexp-split #rx"\n" str)) + (define strs1 (split in-text)) + (define strs2 (split out-text)) + (define strsm (map (compose split cdr) more)) + (define (str->elts str) + (let ([spaces (regexp-match-positions #rx"(?:^| ) +" str)]) + (if spaces + (list* (str->elts (substring str 0 (caar spaces))) + (smaller (hspace (- (cdar spaces) (caar spaces)))) + (str->elts (substring str (cdar spaces)))) + (list (smaller (make-element 'tt str)))))) + (define (make-line str) + (list (as-flow (if (equal? str "") + (smaller (hspace 1)) + (str->elts str))))) + (define (make-box strs [file #f]) + (nested #:style 'code-inset + (let ([t (make-table plain (map make-line strs))]) + (if file + (filebox file t) + t)))) + (define filenames (map car more)) + (define indent (let ([d (- max-textsample-width + (for*/fold ([m 0]) + ([s (in-list (cons strs1 strsm))] + [s (in-list s)]) + (max m (string-length s))))]) + (if (negative? d) + (error 'textsample-verbatim-boxes + "left box too wide for sample at line ~s" line) + (make-element 'tt (list (hspace d)))))) + ;; Note: the font-size property is reset for every table, so we need it + ;; everywhere there's text, and they don't accumulate for nested tables + (values + (make-table + (make-style #f + (list (make-table-columns (list (make-style #f '(left top)))))) + (cons (list (as-flow (make-box strs1))) + (map (lambda (file strs) + (list (as-flow (make-box strs file)))) + filenames strsm))) + (make-box strs2))) + +(define (textsample line in-text out-text more) + (define-values (box1 box2) + (textsample-verbatim-boxes line in-text out-text more)) + (make-table + (make-style #f (list (make-table-columns (list (make-style #f '(left vcenter)) + (make-style "Short" '(left vcenter)) + (make-style #f '(left vcenter)))))) + (list (map as-flow (list box1 (make-paragraph plain '(nbsp rarr nbsp)) box2))))) + +(define-for-syntax tests-ids #f) + +(provide initialize-tests) +(define-syntax (initialize-tests stx) + (set! tests-ids (map (lambda (x) (datum->syntax stx x stx)) + '(tests add-to-tests))) + (with-syntax ([(tests add-to-tests) tests-ids]) + #'(begin (provide tests) + (define-values (tests add-to-tests) + (let ([l '()]) + (values (lambda () (reverse l)) + (lambda (x) (set! l (cons x l))))))))) + +(provide example) +(define-syntax (example stx) + (define sep-rx #px"^---[*]{3}---(?: +(.*))?$") + (define file-rx #rx"^[a-z0-9_.+-]+$") + (define-values (body hidden?) + (syntax-case stx () + [(_ #:hidden x ...) (values #'(x ...) #t)] + [(_ x ...) (values #'(x ...) #f)])) + (let loop ([xs body] [text '(#f)] [texts '()]) + (syntax-case xs () + [("\n" sep "\n" . xs) + (and (string? (syntax-e #'sep)) (regexp-match? sep-rx (syntax-e #'sep))) + (let ([m (cond [(regexp-match sep-rx (syntax-e #'sep)) => cadr] + [else #f])]) + (if (and m (not (regexp-match? file-rx m))) + (raise-syntax-error #f "bad filename specified" stx #'sep) + (loop #'xs + (list (and m (datum->syntax #'sep m #'sep #'sep))) + (cons (reverse text) texts))))] + [(x . xs) (loop #'xs (cons #'x text) texts)] + [() (let ([texts (reverse (cons (reverse text) texts))] + [line (syntax-line stx)]) + (define-values (files i/o) (partition car texts)) + (unless ((length i/o) . = . 2) + (raise-syntax-error + 'example "need at least an input and an output block" stx)) + (with-syntax ([line line] + [((in ...) (out ...)) (map cdr i/o)] + [((file text ...) ...) files] + [add-to-tests (cadr tests-ids)]) + (quasisyntax/loc stx + (let* ([in-text (string-append in ...)] + [out-text (string-append out ...)] + [more (list (cons file (string-append text ...)) ...)]) + (add-to-tests (list line in-text out-text more)) + #,(if hidden? #'"" + #'(textsample line in-text out-text more))))))] + [_ (raise-syntax-error #f "no separator found in example text")]))) + +(provide ltx ltxe ltxd) +(define (ltx s) (tt "\\" s)) ; command +(define (ltxe s) (tt s)) ; enviornment +(define (ltxd n s) + (make-element #f (cons (index (list s) (ltx s)) + (for/list ([i (in-range n)]) (tt "{}"))))) + +;; Utility to render examples of scribble documentation forms +;; Note: it would be nice if this abstracted over the codeblock +;; that usually comes along with this too, but that's hard +;; because there's a read-time distinction between [...] +;; and |{...}|. +(define-syntax-rule (doc-render-examples e ...) + (nested "Renders like:\n" + (nested #:style 'inset (nested #:style 'inset e ...)))) + From bc693eb2771e1dca46d549e04f3d7e065aa538ee Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Sun, 23 Mar 2014 12:57:47 -0700 Subject: [PATCH 2/4] code & doc updates --- convert.rkt | 2 +- project-requires.rkt => project.rkt | 0 reader-base.rkt | 4 +- render.rkt | 6 +- scribblings/reader.scrbl | 332 +++++++++++++++++----------- scribblings/utils.rkt | 36 ++- scribblings/world.scrbl | 4 +- world.rkt | 4 +- 8 files changed, 248 insertions(+), 140 deletions(-) rename project-requires.rkt => project.rkt (100%) diff --git a/convert.rkt b/convert.rkt index 50ff601..ae5bf68 100644 --- a/convert.rkt +++ b/convert.rkt @@ -12,7 +12,7 @@ (cond [(and p-breaks (txexpr? x) (equal? (car x) 'p) (apply string-append `("\n" ,@(map ->string (map loop (get-elements x))) "\n")))] [(txexpr? x) (apply string-append - (map ->string `(,world:expression-delimiter ,(get-tag x) + (map ->string `(,world:command-marker ,(get-tag x) ,@(if (not (null? (get-attrs x))) `("[" ,(attrs->pollen (get-attrs x)) "]") null) ,@(if (not (null? (get-elements x))) `("{" ,@(map loop (get-elements x)) "}" ) null))))] [(symbol? x) (loop (entity->integer x))] diff --git a/project-requires.rkt b/project.rkt similarity index 100% rename from project-requires.rkt rename to project.rkt diff --git a/reader-base.rkt b/reader-base.rkt index 6337f8c..7fc1abc 100644 --- a/reader-base.rkt +++ b/reader-base.rkt @@ -1,11 +1,11 @@ #lang racket/base -(require (only-in scribble/reader make-at-reader) pollen/world racket/path pollen/project-requires) +(require (only-in scribble/reader make-at-reader) pollen/world racket/path pollen/project) (provide define+provide-reader-in-mode (all-from-out pollen/world)) (define read-inner (make-at-reader - #:command-char world:expression-delimiter + #:command-char world:command-marker #:syntax? #t #:inside? #t)) diff --git a/render.rkt b/render.rkt index 9f82516..ccbe84e 100644 --- a/render.rkt +++ b/render.rkt @@ -1,6 +1,6 @@ #lang racket/base (require racket/file racket/rerequire racket/path racket/match) -(require sugar "file.rkt" "cache.rkt" "world.rkt" "debug.rkt" "pagetree.rkt" "project-requires.rkt") +(require sugar "file.rkt" "cache.rkt" "world.rkt" "debug.rkt" "pagetree.rkt" "project.rkt") ;; when you want to generate everything fresh, @@ -233,7 +233,7 @@ pollen/pagetree pollen/template pollen/world - pollen/project-requires + pollen/project sugar txexpr hyphenate) @@ -267,7 +267,7 @@ pollen/main pollen/reader-base pollen/pagetree - pollen/project-requires + pollen/project pollen/template pollen/world sugar diff --git a/scribblings/reader.scrbl b/scribblings/reader.scrbl index faf1b93..18d78ac 100644 --- a/scribblings/reader.scrbl +++ b/scribblings/reader.scrbl @@ -10,74 +10,241 @@ @(define (at-exp-racket) @racket[#, @hash-lang[] #, @racketmodname[at-exp] #, @racketidfont{racket}]) -@title[#:tag "reader"]{Pollen ◊ command notation} +@title[#:tag "reader"]{Pollen ◊ commands} @italic{Pollen is a dialect of Scribble, so I've adapted this section from Matthew Flatt and Eli Barzilay's excellent documentation for Scribble. If you think this section is good, it's because of them. If you don't, it's because of me.} -Pollen's command notation is designed to be a convenient system for embedding Pollen commands within free-form text. - @section{The golden rule} -Pollen uses a special character — the @italic{lozenge}, which looks like this: ◊ — as its command character. Meaning, when you put the ◊ in front of a word or expression, it will it be interpreted as a Pollen command. +Pollen uses a special character — the @italic{lozenge}, which looks like this: ◊ — to mark commands within a Pollen source file. So when you put a ◊ in your source, whatever comes next will be treated as a command. If you don't, it will just be interpreted as plain text. + + +@section{About that lozenge} + +I chose the lozenge as the command marker because a) it appears in almost every font, b) it's barely used in ordinary typesetting, c) it's not used in any programming language that I know of, and d) its shape and color allow it to stand out easily in code without being distracting. + +@margin-note{Scribble itself uses the @"@" sign as a delimiter. It's not a bad choice if you only work with Racket files. But as you use Pollen to work on other kinds of text-based files that commonly contain @"@" signs — HTML pages especially — it gets cumbersome. So I changed it.} +Still, if you don't want to use the lozenge as your command marker, you can use something else. Set Pollen's @racket[world:command-marker] value to whatever character you want. +But don't knock the lozenge till you try it. Here's how you type it: -Typically, ◊ notation is enabled through -@racketmodname[scribble/base] or similar languages, but you can also -add ◊ notation to an S-expression-based language using the -@racketmodname[at-exp] meta-language. For example, +[todo: instructions] + +@;-------------------------------------------------------------------- +@section{The two command forms} + +Every Pollen command is built using one of two basic forms: either @italic{native form} or @italic{Racket form}. Both forms start with a lozenge (@litchar["◊"]): + +@racketblock[ + @#,BNF-seq[@litchar["◊"] @nonterm{command name} @litchar{[} @nonterm{Racket arguments ...} @litchar{]} @litchar["{"] @nonterm{text argument} @litchar["}"]] +@#,BNF-seq[@litchar["◊"] + @litchar{(} @nonterm{Racket expression} @litchar{)}] +] + +@bold{Native-form commands} + +A native-form command has the three possible parts after the @litchar["◊"]: + +@itemlist[ +@item{The @italic{command name} appears immediately after the @litchar["◊"]. Typically it's a short word.} +@item{The @italic{Racket arguments} appear between square brackets. Pollen is an interface to the Racket programming language. These arguments are interpreted according to Racket conventions. So if you like programming, you'll end up using these frequently. If you don't, you won't.} +@item{The @italic{text argument} appears between braces (aka curly brackets). You can put any free-form text here.} +] + +These parts are combined according to three rules: + +@itemlist[ +@item{Each part is optional.} +@item{You cannot have spaces between the three parts.} +@item{They must appear in the order shown.} +] + +Here are a few examples of correct native-form commands: @verbatim[#:indent 2]|{ - #lang at-exp racket - (define v '@op{str}) + #lang pollen + ◊variable-name + ◊tag{Text inside the tag.} + ◊tag['attr: "value"]{Text inside the tag} + ◊get-customer-id["Brennan Huff"] +}| + +And here are some incorrect ones: + +@verbatim[#:indent 2]|{ + #lang pollen + ◊tag {Text inside the tag.} ; space between first and second parts + ◊tag[Text inside the tag] ; text argument needs to be within braces + ◊tag{Text inside the tag}['attr: "value"] ; wrong order +}| + +The next section describes each of these parts in detail. + +@bold{Racket-form commands} + +If you're familiar with Racket expressions, you can use the Racket-form commands to embed them within Pollen source files. It's simple: any Racket expression can become a Pollen expression by adding @litchar["◊"] to the front. So in Racket, this code: + +@verbatim[#:indent 2]|{ + #lang racket + (define song "Revolution") + (format "~a #~a" song (* 3 3)) +}| + +Can be converted to Pollen like so: + +@verbatim[#:indent 2]|{ + #lang pollen + ◊(define song "Revolution") + ◊(format "~a #~a" song (* 3 3)) }| -is equivalent to +And in DrRacket, they produce the same output: + +@nested[#:style 'inset]{@racketresult["Revolution #9"]} + +Beyond that, there's not much to say about Racket form — any valid expression you can write in Racket will also be a valid Racket-form Pollen command. -@racketmod[ -racket -(define v '(op "str")) +@bold{The relationship of native form and Racket form} + +Even if you don't plan to write a lot of Racket expressions, you should be aware that under the hood, Pollen is converting all native-form commands into Racket-form commands. So a native-form command that looks like this: + +@racketblock[ + ◊headline[#:size 'enormous]{Man Bites Dog!} ] -Using @at-exp-racket[] is probably the easiest way to try the examples -in this chapter. +Is actually being turned into a Racket-form command like this: +@racketblock[ + (headline #:size 'enormous "Man Bites Dog!") +] +Thus a native-form command is just an alternate way of writing a Racket-form command. (More broadly, all of Pollen is just an alternate way of using Racket.) -@section{About that lozenge} +The corollary is that you can always write Pollen commands using whichever form is more convenient or readable. For instance, the earlier example, written in the Racket form: -I picked the lozenge glyph as the delimiter — meaning this thing: ◊ — because a) it appears in almost every font, b) it's barely used in ordinary typesetting, and c) its shape and color allow it to stand out easily in code without being distracting. +@verbatim[#:indent 2]|{ + #lang pollen + ◊(define song "Revolution") + ◊(format "~a #~a" song (* 3 3)) +}| + +Can be rewritten using native form: -Scribble itself uses the @"@" sign as a delimiter. Not a bad choice if all you do is Racket. But as you use Pollen to work on other kinds of text-based files that commonly contain @"@" signs — you know, like things with email addresses — a small headache starts to form. That's why I changed it. +@verbatim[#:indent 2]|{ + #lang pollen + ◊define[song]{Revolution} + ◊format["~a #~a" song (* 3 3)] +}| + +And it will work the same way. -Still, if you don't want to use the lozenge as your delimiter, you can use something else. Set Pollen's @racket[world:expression-delimiter] value to whatever character you want. But don't knock the lozenge till you try it. @;-------------------------------------------------------------------- -@section{The Pollen Syntax at a Glance} +@subsection{The command name} -To review @secref["how-to:reader"], the concrete syntax of @deftech{◊-forms} -is roughly +In Pollen, you'll typically use the command name for one of four purposes: -@racketblock[ - @#,BNF-seq[@litchar["@"] - @nonterm{cmd} - @litchar{[} @kleenestar{@nonterm{datum}} @litchar{]} - @litchar["{"] @kleenestar{@nonterm{text-body}} @litchar["}"]] +@itemlist[ +@item{To invoke a tag function.} +@item{To invoke another function.} +@item{To insert the value of a variable.} +@item{To insert a comment.} ] -where all three parts after @litchar["@"] are optional, but at least -one should be present. (Spaces are not allowed between the -three parts.) Roughly, a form matching the above grammar is read as + +Besides being a Racket identifier, the @nonterm{cmd} part of an +@tech{◊-form} can have Racket punctuation prefixes, which will end up +wrapping the @italic{whole} expression. + +@scribble-examples|==={ + @`',@foo{blah} + @#`#'#,@foo{blah} +}===| + +When writing Racket code, this means that @litchar|{@`',@foo{blah}}| +is exactly the same as @litchar|{`@',@foo{blah}}| and +@litchar|{`',@@foo{blah}}|, but unlike the latter two, the first +construct can appear in body texts with the same meaning, whereas the +other two would not work (see below). + +After the optional punctuation prefix, the @nonterm{cmd} itself is not +limited to identifiers; it can be @italic{any} Racket expression. + +@scribble-examples|==={ + @(lambda (x) x){blah} + @`(unquote foo){blah} +}===| + +In addition, the command can be omitted altogether, which will omit it +from the translation, resulting in an S-expression that usually +contains, say, just strings: + +@scribble-examples|==={ + @{foo bar + baz} + @'{foo bar + baz} +}===| + +If the command part begins with a @litchar{;} (with no newline between +the @litchar["@"] and the @litchar{;}), then the construct is a +comment. There are two comment forms, one for arbitrary-text and +possibly nested comments, and another one for line comments: @racketblock[ - (@#,nonterm{cmd} @#,kleenestar{@nonterm{datum}} @#,kleenestar{@nonterm{parsed-body}}) +@#,BNF-seq[@litchar["@;{"] @kleenestar{@nonterm{any}} @litchar["}"]] + +@#,BNF-seq[@litchar["@;"] @kleenestar{@nonterm{anything-else-without-newline}}] ] -where @nonterm{parsed-body} is the translation of each -@nonterm{text-body} in the input. Thus, the initial @nonterm{cmd} -determines the Racket code that the input is translated into. The -common case is when @nonterm{cmd} is a Racket identifier, which reads -as a plain Racket form, with datum arguments and/or string arguments. +In the first form, the commented body must still parse correctly; see +the description of the body syntax below. In the second form, all +text from the @litchar["@;"] to the end of the line @italic{and} all +following spaces (or tabs) are part of the comment (similar to +@litchar{%} comments in TeX). + +@scribble-examples|==={ + @foo{bar @; comment + baz@; + blah} +}===| + +Tip: if you use an editor in some Scheme mode without support for +@tech{◊-forms}, balanced comments can be confusing, since the open brace +looks commented out, and the closing one isn't. In such cases it is +useful to ``comment'' out the closing brace too: + +@verbatim[#:indent 2]|==={ + @;{ + ... + ;} +}===| + +so the editor does not treat the file as having unbalanced +parentheses. + +If only the @nonterm{cmd} part of an @tech{◊-form} is specified, then the +result is the command part only, without an extra set of parenthesis. +This makes it suitable for Racket escapes in body texts. (More on this +below, in the description of the body part.) + +@scribble-examples|==={ + @foo{x @y z} + @foo{x @(* y 2) z} + @{@foo bar} +}===| + +Finally, note that there are currently no special rules for using +@litchar["@"] in the command itself, which can lead to things like: + +@scribble-examples|==={ + @@foo{bar}{baz} +}===| + + + + Here is one example: @@ -275,97 +442,6 @@ or bound locally (with @racket[let], for example). @text{@it{Note}: @bf{This is @ul{not} a pipe}.})) ] -@;-------------------------------------------------------------------- -@section{The Command Part} - -Besides being a Racket identifier, the @nonterm{cmd} part of an -@tech{◊-form} can have Racket punctuation prefixes, which will end up -wrapping the @italic{whole} expression. - -@scribble-examples|==={ - @`',@foo{blah} - @#`#'#,@foo{blah} -}===| - -When writing Racket code, this means that @litchar|{@`',@foo{blah}}| -is exactly the same as @litchar|{`@',@foo{blah}}| and -@litchar|{`',@@foo{blah}}|, but unlike the latter two, the first -construct can appear in body texts with the same meaning, whereas the -other two would not work (see below). - -After the optional punctuation prefix, the @nonterm{cmd} itself is not -limited to identifiers; it can be @italic{any} Racket expression. - -@scribble-examples|==={ - @(lambda (x) x){blah} - @`(unquote foo){blah} -}===| - -In addition, the command can be omitted altogether, which will omit it -from the translation, resulting in an S-expression that usually -contains, say, just strings: - -@scribble-examples|==={ - @{foo bar - baz} - @'{foo bar - baz} -}===| - -If the command part begins with a @litchar{;} (with no newline between -the @litchar["@"] and the @litchar{;}), then the construct is a -comment. There are two comment forms, one for arbitrary-text and -possibly nested comments, and another one for line comments: - -@racketblock[ -@#,BNF-seq[@litchar["@;{"] @kleenestar{@nonterm{any}} @litchar["}"]] - -@#,BNF-seq[@litchar["@;"] @kleenestar{@nonterm{anything-else-without-newline}}] -] - -In the first form, the commented body must still parse correctly; see -the description of the body syntax below. In the second form, all -text from the @litchar["@;"] to the end of the line @italic{and} all -following spaces (or tabs) are part of the comment (similar to -@litchar{%} comments in TeX). - -@scribble-examples|==={ - @foo{bar @; comment - baz@; - blah} -}===| - -Tip: if you use an editor in some Scheme mode without support for -@tech{◊-forms}, balanced comments can be confusing, since the open brace -looks commented out, and the closing one isn't. In such cases it is -useful to ``comment'' out the closing brace too: - -@verbatim[#:indent 2]|==={ - @;{ - ... - ;} -}===| - -so the editor does not treat the file as having unbalanced -parentheses. - -If only the @nonterm{cmd} part of an @tech{◊-form} is specified, then the -result is the command part only, without an extra set of parenthesis. -This makes it suitable for Racket escapes in body texts. (More on this -below, in the description of the body part.) - -@scribble-examples|==={ - @foo{x @y z} - @foo{x @(* y 2) z} - @{@foo bar} -}===| - -Finally, note that there are currently no special rules for using -@litchar["@"] in the command itself, which can lead to things like: - -@scribble-examples|==={ - @@foo{bar}{baz} -}===| @;-------------------------------------------------------------------- @section{The Datum Part} diff --git a/scribblings/utils.rkt b/scribblings/utils.rkt index f1acb71..150e840 100644 --- a/scribblings/utils.rkt +++ b/scribblings/utils.rkt @@ -4,7 +4,8 @@ scribble/html-properties scribble/manual (prefix-in racket: scribble/racket) - (prefix-in scribble: scribble/reader)) + (prefix-in scribble: scribble/reader) + (prefix-in pollen: (submod pollen reader))) (define-syntax bounce-for-label (syntax-rules (all-except) @@ -26,7 +27,7 @@ scribble/eval scribble/bnf) -(provide scribble-examples litchar/lines doc-render-examples) +(provide scribble-examples pollen-examples litchar/lines doc-render-examples) (define (as-flow e) (if (block? e) e (make-paragraph plain (list e)))) @@ -71,6 +72,37 @@ (list (syntax-source p) (syntax-line p) base (add1 base) 1) p)])) +(define (pollen-examples . lines) + (define reads-as (make-paragraph plain (list spacer "reads as" spacer))) + (let* ([lines (apply string-append lines)] + [p (open-input-string lines)]) + (port-count-lines! p) + (let loop ([r '()] [newlines? #f]) + (regexp-match? #px#"^[[:space:]]*" p) + (let* ([p1 (file-position p)] + [stx (pollen:read-syntax #f p)] + [p2 (file-position p)]) + (if (not (eof-object? stx)) + (let ([str (substring lines p1 p2)]) + (loop (cons (list str stx) r) + (or newlines? (regexp-match? #rx#"\n" str)))) + (let* ([r (reverse r)] + [r (if newlines? + (cdr (apply append (map (lambda (x) (list #f x)) r))) + r)]) + (make-table + plain + (map (lambda (x) + (let ([@expr (if x (litchar/lines (car x)) "")] + [sexpr (if x + (racket:to-paragraph + ((norm-spacing 0) (cadr x))) + "")] + [reads-as (if x reads-as "")]) + (map as-flow (list spacer @expr reads-as sexpr)))) + r)))))))) + + (define (scribble-examples . lines) (define reads-as (make-paragraph plain (list spacer "reads as" spacer))) (let* ([lines (apply string-append lines)] diff --git a/scribblings/world.scrbl b/scribblings/world.scrbl index e175a39..02d44e2 100644 --- a/scribblings/world.scrbl +++ b/scribblings/world.scrbl @@ -66,8 +66,8 @@ Pagetree that Pollen dashboard loads by default in each directory. Name of the root node in a decoded pagetree. It's ignored by the code, so its only role is to clue you in that you're looking at something that came out of the pagetree decoder. -@defthing[world:expression-delimiter char? #:value #\◊] -The magic character that delimits Pollen expressions. +@defthing[world:command-marker char? #:value #\◊] +The magic character that indicates a Pollen command, function, or variable. @defthing[world:default-template-prefix string? #:value "main"] Prefix of the default template. diff --git a/world.rkt b/world.rkt index 88cd7f8..ff92dc3 100644 --- a/world.rkt +++ b/world.rkt @@ -23,8 +23,8 @@ (define default-pagetree "index.ptree") (define pagetree-root-node 'pagetree-root) -(define expression-delimiter #\◊) -(define template-field-delimiter expression-delimiter) +(define command-marker #\◊) +(define template-field-delimiter command-marker) (define default-template-prefix "main") (define fallback-template "fallback.html.pt") From cba717bfecf802b03210b85ae9e75e2978509cd8 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Sun, 23 Mar 2014 13:02:46 -0700 Subject: [PATCH 3/4] pupdate --- scribblings/reader.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scribblings/reader.scrbl b/scribblings/reader.scrbl index 18d78ac..99c5a8b 100644 --- a/scribblings/reader.scrbl +++ b/scribblings/reader.scrbl @@ -107,7 +107,7 @@ Beyond that, there's not much to say about Racket form — any valid expression @bold{The relationship of native form and Racket form} -Even if you don't plan to write a lot of Racket expressions, you should be aware that under the hood, Pollen is converting all native-form commands into Racket-form commands. So a native-form command that looks like this: +Even if you don't plan to write a lot of Racket-form commands, you should be aware that under the hood, Pollen is converting all commands in native form to Racket form. So a native-form command that looks like this: @racketblock[ ◊headline[#:size 'enormous]{Man Bites Dog!} From 77e6d9946f9637c8cf1732da6693307562a8ea0b Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Sun, 23 Mar 2014 19:28:44 -0700 Subject: [PATCH 4/4] pupdates --- decode.rkt | 1 + scribblings/reader.scrbl | 120 +++++++++++++++++++++++++++++++++++++-- 2 files changed, 115 insertions(+), 6 deletions(-) diff --git a/decode.rkt b/decode.rkt index fa193d0..010f65b 100644 --- a/decode.rkt +++ b/decode.rkt @@ -14,6 +14,7 @@ [(number? x) (number->string x)] [(path? x) (path->string x)] [(char? x) (format "~a" x)] + [(txexpr? x) (format "~v" x)] ; todo: good or bad idea? will print expressions in preproc mode [else (error)])))) ; put this last so other xexprish things don't get caught diff --git a/scribblings/reader.scrbl b/scribblings/reader.scrbl index 99c5a8b..ef311b3 100644 --- a/scribblings/reader.scrbl +++ b/scribblings/reader.scrbl @@ -32,7 +32,7 @@ But don't knock the lozenge till you try it. Here's how you type it: [todo: instructions] @;-------------------------------------------------------------------- -@section{The two command forms} +@section{The two command forms: native form & Racket form} Every Pollen command is built using one of two basic forms: either @italic{native form} or @italic{Racket form}. Both forms start with a lozenge (@litchar["◊"]): @@ -49,17 +49,17 @@ A native-form command has the three possible parts after the @litchar["◊"]: @itemlist[ @item{The @italic{command name} appears immediately after the @litchar["◊"]. Typically it's a short word.} @item{The @italic{Racket arguments} appear between square brackets. Pollen is an interface to the Racket programming language. These arguments are interpreted according to Racket conventions. So if you like programming, you'll end up using these frequently. If you don't, you won't.} -@item{The @italic{text argument} appears between braces (aka curly brackets). You can put any free-form text here.} +@item{The @italic{text argument} appears between braces (aka curly brackets). You can put any text here.} ] -These parts are combined according to three rules: +Each of the three parts is optional. You can also nest commands within each other. But: @itemlist[ -@item{Each part is optional.} -@item{You cannot have spaces between the three parts.} -@item{They must appear in the order shown.} +@item{You can never have spaces between the three parts.} +@item{Whatever parts you use must always appear in the order above.} ] + Here are a few examples of correct native-form commands: @verbatim[#:indent 2]|{ @@ -68,6 +68,7 @@ Here are a few examples of correct native-form commands: ◊tag{Text inside the tag.} ◊tag['attr: "value"]{Text inside the tag} ◊get-customer-id["Brennan Huff"] + ◊tag{His ID is ◊get-customer-id["Brennan Huff"].} }| And here are some incorrect ones: @@ -152,6 +153,113 @@ In Pollen, you'll typically use the command name for one of four purposes: @item{To insert a comment.} ] +@;-------------------------------------------------------------------- +@subsubsection{Invoking tag functions} + +By default, Pollen treats every command name as a @italic{tag function}. As the name implies, a tag function creates a tagged X-expression with the command name as the tag, and the text argument as the content. + +Example: +◊strong{Fancy Sauce, $1} becomes '(strong "Fancy Sauce, $1") + +To make markup easy, Pollen doesn't restrict you to a certain set of tags, or make you define your tag functions ahead of time. Just type it, and you can start using it as a tag. + +Example: +◊utterlyridiculoustagname{Oh really?} becomes '(utterlyridiculoustagname "Oh really?") + +The one restriction is that you can't invent names for tag functions that are already being used for other commands. For instance, @racket[map] is a command permanently reserved by Racket. It's also a rarely-used HTML tag. But gosh, you really want to use it. Problem is, if you invoke it directly, Pollen will think you mean the other @racket[map]: + +Example: +◊map{Fancy Sauce, $1} becomes '(map "Fancy Sauce, $1") ; error + +What to do? Read on. + +@;-------------------------------------------------------------------- +@subsubsection{Invoking other functions} + +Though every command name starts out as a tag function, it doesn't necessarily end there. You have two options for invoking other functions. + +First, you can use the @racket[define] command to create your own function for a command name. After that, when you use the command name, you'll get the new behavior. + +Example: +◊strong{Fancy Sauce, $1} becomes '(strong "Fancy Sauce, $1") +◊(define (strong . elements) etc....) +◊strong{Fancy Sauce, $1} becomes new thing + +You can attach any behavior to a command name. As your project evolves, you can also redefine the behavior of a command name. In that way, Pollen markup becomes a set of hooks upon which you can attach more elaborate processing. + +Second, you aren't limited to your own commands. Any function from Racket or any of its libraries can be invoked directly by using it as a command name: + +[example] + +Combining these two ideas, you can also invoke Racket functions indirectly, by attaching them to your custom command names: + +[example] + + + +As mentioned above, some command names already have behavior associated with them. But you can use a custom function to work around this. For instance, suppose we want to use @code{map} as a tag even though Racket is using it for its own function called @racket[map]. + +First, we invent a command name that doesn't conflict. Let's call it @code{my-map}. As you learned above, Pollen will treat a new command name as a tag function by default: + +Example: +◊my-map{How I would love this to be a map.} + +But @code{my-map} is not the tag we want. So instead, we attach a function to @code{my-map} that creates the tag we want: + +Example: + +◊(define (my-map . elements) `(map ,elements)) +◊my-map{How I would love this to be a map.} + +And now we can use @code{map} as a tag by invoking @code{my-map}. + + +@;-------------------------------------------------------------------- +@subsubsection{Inserting the value of a variable} + +A Pollen command name usually refers to a function, but it can also refer to a @italic{variable}, which is a simple data value. Once you define the variable, you can insert it into your source by using the ◊ notation without any other arguments: + +[Example +◊(define foo "bar") +◊p{The value of foo is ◊foo} + +Be careful — if you include arguments, even blank ones, Pollen will treat the command name as a function. This won't work, because a variable is not a function: + +[Example +◊(define foo "bar") +◊p{The value of foo is ◊foo[]} + +The reason we can simply drop ◊foo into the text argument of another Pollen command is that @code{foo} holds a text value (i.e., a string). Keep in mind that not every variable holds a string value, and if it doesn't, you'll have to convert it to a string if you want to use it within other text. + +[Example +◊(define zam 42) +◊p{The value of zam is ◊zam} ;; error +◊p{The value of zam is ◊number->string[◊zam]} ; works + +One exception to know about. In the examples above, there's a word space between the variable and the other text. But suppose you need to insert a variable into text so that there's no space in between. The simple ◊ notation above won't work, because it won't be clear where the variable name ends and the text begins. + +For instance, this example fails because Pollen looks for a variable called @code{fooic} (which doesn't exist) rather than @code{foo} (which does): + +@racketblock[ +◊(define foo "bar") +Hyper◊fooic chamber +> ERROR +] + +In this situation, you can surround the variable name with vertical bars to explicitly indicate where the name ends. The bars are not treated as part of the name, nor are they included in the result. + +@racketblock[ +◊(define foo "bar") +Hyper◊|foo|ic chamber +> Hyperbaric chamber +] + + + + +@subsubsection{lalala} + + Besides being a Racket identifier, the @nonterm{cmd} part of an @tech{◊-form} can have Racket punctuation prefixes, which will end up