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.
