[racket-users] Search code

2015-08-08 Thread Paulo Matos

Hi,

Where can I find the code for :
http://docs.racket-lang.org/search/index.html

I would like to repurpose the engine that does this kind of search and 
display it.


Could you please point me to the sources for it?

Thanks,

--
Paulo Matos

--
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] Search code

2015-08-08 Thread Matthew Flatt
At Sat, 08 Aug 2015 16:19:23 +0100, Paulo Matos wrote:
 Where can I find the code for :
 http://docs.racket-lang.org/search/index.html

It's in scribblings/main/private in the racket-index package:

https://github.com/plt/racket/tree/master/pkgs/racket-index/scribblings/main/private

-- 
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] Search code

2015-08-08 Thread Eli Barzilay
On Sat, Aug 8, 2015 at 11:23 AM, Matthew Flatt mfl...@cs.utah.edu wrote:
 At Sat, 08 Aug 2015 16:19:23 +0100, Paulo Matos wrote:
 Where can I find the code for :
 http://docs.racket-lang.org/search/index.html

 It's in scribblings/main/private in the racket-index package:

 https://github.com/plt/racket/tree/master/pkgs/racket-index/scribblings/main/private

Note that some of that code is ancient, and could probably be organized
much better these days.  (For example, using something like promises
instead of the hand-rolled quasi-cps thing for the search.)  Worse, the
complication of the search is not really needed now: originally, the
search was lond enough to benefit from being interrupted by a new
character, but now it's fast enough to not even be noticed.  Another
questionable feature is the loading of the whole index into memory and
searching through it (unless someone cleaned that out since then...).

Finally, the actual search has a bunch of not-too-organized hacks that
try to get expected results higher than others, and a bunch of features
(a query language) that practically no one knows about...

-- 
  ((lambda (x) (x x)) (lambda (x) (x x)))  Eli Barzilay:
http://barzilay.org/   Maze is Life!

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