[Haskell-cafe] ANN: Hoogle 3.1
westondan at imageworks.com
Thu Feb 28 14:48:07 EST 2008
I have a question about the ranking algorithm of Hoogle 3.1:
The top match of hoogle "(a -> b) -> b" is the inexact match
Control.Monad.State.Class.gets :: MonadState s m => (s -> a) -> m a
(which cannot be made to unify with (a -> b) -> b) instead of
Control.Monad.Cont.runCont (undefined :: Cont r a) :: (a -> r) -> r
which does. I would have thought all exact matches would come first
(after considering all partial applications), especially as the increase
in complexity is at most a small constant factor (~ 2 or 3) for
considering all possible partial applications (type tails) of known
Neil Mitchell wrote:
> I am pleased to announce Hoogle 3.1. Hoogle is a search engine for
> Haskell functions, that allows the user to search by name or
> approximate type signature. Hoogle can be used without installing
> anything, by simply visiting the online interface, or can be installed
> * Online interface: http://www.haskell.org/hoogle/
> * Cabal release:
> The Cabal release contains a command line version of the Hoogle tool,
> which you can install with the standard Cabal commands.
> Hoogle 3.1 has a number of new features.
> Command line version:
> * A proper cabal release, including proper installing of the search database.
> * cabal-install compatible
> * No longer requires haskell-source-extensions (trhsx) to be installed
> Web interface:
> * Better entity escaping in some bits of the web interface
> * Keyword links work again
> * Lambdabot suggestions work
> * Update to the most recent version of base
> * Security fixes, specifically possible code injection bugs
> (http://en.wikipedia.org/wiki/Code_injection) - none of which were
> ever exploited, or could have been exploited (as far as I can tell)
> I intend to write a more detailed account of the security fixes in a
> blog post, which will be available from http://planet.haskell.org/ .
> Running a custom version of the web interface is not really supported,
> but if you are, please upgrade to the latest darcs version.
> There are still several known bugs in the Hoogle 3.1 release, but
> these are more difficult to fix, and will probably be solved in a
> forthcoming Hoogle 4.0.
> Haskell mailing list
> Haskell at haskell.org
More information about the Haskell-Cafe