Think of authoring web pages with Scribble as a typed approach to creating HTML and ad hoc processing tools based on some simple parsing or regexp matching as programming in a dynamic language.
With ad hoc tools, you may create a link within the document that goes nowhere. Not with Scribble. With ad hoc tools, you probably won’t have live examples that double-check error behavior. With ad hoc tools, you don’t get automated linking to existing docs [if that’s your job]. So you will pay quite a bit for programming in Scribble [extra time spent in type checking] but at the same time, you will get more out of it. Many of us think of types as an imposition but in reality they are really a linguistic mechanism for saying things you couldn’t say before (this function won’t inspect its second argument) and in particular for saying negative things (don’t apply this function to anything but integers). Scribble raises your level of expressive power, for a small cost. — Matthias p.s. I’d create a mostly random 80,000 simple word document and time its rendering with Scribble. > On Apr 2, 2016, at 9:41 PM, Hendrik Boom <hend...@topoi.pooq.com> wrote: > > I'm thinking of converting some of my writing > > from an ad-hoc file format I invented ten or twenty yearas ago because > I needed something that would cooperate with revision control and > prevailing word-processors just wouldn't do that > > to Scribble. > > and I'd like some performance estimates so that I can judge feasibility > before I start on the long process of learning Scribble and actually doing > the conversion. > > One question: how fast is it? I have an 80-thousand word document, and > converting it to HTML and reviewing is an operation I oerform > frequently as I fix, say, typos. It's mostly plain text with chapter > headings and a few ad-hoc notations to delimit optional or > coloured text. > > The conversion using my ad-hoc tools takes about 15 seconds on my laptop, > and it's longer than I'd like. > > I don't know exactly how big the entire Scribble manual at > http://docs.racket-lang.org/scribble/ is (icluding all the subsections > in defferent pages) but knowing how long it takes to format > something like that on a typical laptop would give me an > order-of-magnitude idea. > > Or, for that matter, how can I download the source to the manual and > format it at home so I can measure it myself? > > -- hendrik > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
