tag:blogger.com,1999:blog-7094652.post1662792436216792641..comments2024-03-23T14:36:09.980+00:00Comments on Neil Mitchell's Blog (Haskell etc): Hoogle 4.0 web client previewNeil Mitchellhttp://www.blogger.com/profile/13084722756124486154noreply@blogger.comBlogger8125tag:blogger.com,1999:blog-7094652.post-20670432321521873312008-08-07T20:05:00.000+01:002008-08-07T20:05:00.000+01:00Gleb: Hmm, that is weird. Hoogle 4 is currently us...Gleb: Hmm, that is weird. Hoogle 4 is currently using the same database as Hoogle 3 was, although I have a new one in development. I'll check Hoogle 4 fixes this.Neil Mitchellhttps://www.blogger.com/profile/13084722756124486154noreply@blogger.comtag:blogger.com,1999:blog-7094652.post-40027345187637471802008-08-06T09:04:00.000+01:002008-08-06T09:04:00.000+01:00Very nice!I've found an odd thing, not sure wh...Very nice!<BR/><BR/>I've found an odd thing, not sure whether it's a bug in Hoogle or Haddock or whatever:<BR/>callCC's type is wrong in both Hoogle 3 and Hoogle 4. I tried to search for ((a -> m b) -> m a) -> m a, found nothing, and was surprised to see that both versions of Hoogle thought that callCC had the following type: MonadCont m => (a -> m b -> m a) -> m a.Unknownhttps://www.blogger.com/profile/12646910389871722935noreply@blogger.comtag:blogger.com,1999:blog-7094652.post-75587799209893079352008-08-06T06:49:00.000+01:002008-08-06T06:49:00.000+01:00cs: re foldl', one query, two bugs - well done :-)...cs: re foldl', one query, two bugs - well done :-). Both fairly minor things, and I'll fix them soon.<BR/><BR/>re: modules, that will be done with the Haddock information, so coming soon.<BR/><BR/>re: iterate, its kind of close - bad answers are a fact of life, the question is if iterate is higher than anything else that seems more sensible?Neil Mitchellhttps://www.blogger.com/profile/13084722756124486154noreply@blogger.comtag:blogger.com,1999:blog-7094652.post-64680050800798587302008-08-06T01:47:00.000+01:002008-08-06T01:47:00.000+01:00Searching for (a -> b) -> [a] -> [b] give...Searching for (a -> b) -> [a] -> [b] gives results I expected and some that I didn't. For example, is Prelude.iterate :: (a -> a) -> a -> [a] supposed to be there?Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-7094652.post-3588691862020988502008-08-06T01:42:00.000+01:002008-08-06T01:42:00.000+01:00Have you considered handling queries like "Prelude...Have you considered handling queries like "Prelude" or "Control.Monad" by showing the functions in that module as the result?<BR/><BR/>Sometimes I can't remember the name of a function but I remember the module it's in.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-7094652.post-82267521110361012102008-08-06T01:39:00.000+01:002008-08-06T01:39:00.000+01:00Searching for foldl' doesn't show any foldl' funct...Searching for foldl' doesn't show any foldl' function on the first page of results, and the URL for the "Show More Results" link at the bottom uses foldl in the query and not foldl'.<BR/><BR/>I like what I see so far. The coloring of of the type parts when you search for a type is very nice.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-7094652.post-40950047218743570462008-08-06T00:16:00.000+01:002008-08-06T00:16:00.000+01:00Anon: Good catch, I'll fix that.Anon: Good catch, I'll fix that.Neil Mitchellhttps://www.blogger.com/profile/13084722756124486154noreply@blogger.comtag:blogger.com,1999:blog-7094652.post-39351014964238213132008-08-06T00:09:00.000+01:002008-08-06T00:09:00.000+01:00Minor bug: searching for "Monad m => m a -...Minor bug: searching for "Monad m => m a -> (a -> m b) -> m b" finds (=<<) before (>>=).Anonymousnoreply@blogger.com