[racket-dev] Roogle?

10 minutes ago, Asumu Takikawa wrote:
> On 2011-08-05 00:08:03 -0400, Eli Barzilay wrote:
> > Are there any *practical* uses for that thing?
> 
> It could be useful if you have an idea of the name of the thing
> you're looking for and then want to narrow it down by type.

An important difference is that we often use the same names in the
contracts.


> Or you know you want a higher order function that works on a list
> but don't know where it is (so you look up "(a -> b) -> [a]").

(Yes, that's the use case that I thought would be common, but I doubt
that it's used for that in practice.)


> > That won't be hard in itself, but the real problem is huge blocks
> > of text in the results which would make it much less useful.
> 
> I think this would be a more useful feature than the searching.
> Maybe it could display optionally or truncated if it's too long.

Even tiny contracts tend to be big, so a good UI will be challenging.


> Another nice thing Hoogle does is search Hackage, but I think that's
> been discussed here before (and probably depends on how packages end
> up?).

Yes.

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