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 library functions. Dan Neil Mitchell wrote:
Hi,
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 locally.
* Online interface: http://www.haskell.org/hoogle/ * Cabal release: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hoogle-3.1
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.
Thanks
Neil _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell