« Return to Thread: ANN: Hoogle 3.1
ANN: Hoogle 3.1
by Dan Weston
::
Rate this Message:
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@...
> http://www.haskell.org/mailman/listinfo/haskell
>
>
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@...
http://www.haskell.org/mailman/listinfo/haskell-cafe
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@...
> http://www.haskell.org/mailman/listinfo/haskell
>
>
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@...
http://www.haskell.org/mailman/listinfo/haskell-cafe
« Return to Thread: ANN: Hoogle 3.1
| Free embeddable forum powered by Nabble | Forum Help |
