Re: [racket-users] peed of scribble.

[Hendrik Boom]

On Sun, Apr 03, 2016 at 12:38:42PM -0400, Matthias Felleisen wrote:
> 
> 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. 

No need to convince me of the advantage of static type checking.  I 
wouldnt even consider Racket for serious programming if it weren't for 
typed racket.

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

Good point.  I could even use my present text as the random document -- 
it happens not to have any at signs in it, so not much in it should 
get in the way of scribble's syntax.

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

Re: [racket-users] peed of scribble.

[Matthias Felleisen]

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

[racket-users] peed of scribble.

[Hendrik Boom]

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.