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! _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev