This document discusses Hoogle, an API search tool for Haskell, and proposes creating a similar tool called OCaml Hoogle for the OCaml programming language. It notes that OCaml Hoogle would search OCaml library documentation and provide type signatures of functions to help with code completion, as Hoogle does for Haskell. The document provides details on the implementation and links to related projects.

1. OCaml Hoogle
OCaml API Search
ocaml-nagoya / mzp
2010-08-28 OCaml Meeting 2010 Nagoya
1

2. • / mzp
• http://twitter.com/mzp
• SE(not OCaml)
• 1 OCaml
API Search
2

3. Haskell ?
OCaml Haskell
※Google
3

4. Haskell ?
2,130,000
OCaml Haskell
※Google
3

5. Haskell ?
3,380,000
2,130,000
OCaml Haskell
※Google
3

6. Haskell ?
3,380,000
2,130,000
OCaml Haskell
※Google
!
3

7. Hoogle
4

8. • (a -> b) -> [a] -> [b] ...
5

9. • (a -> b) -> [a] -> [b] ...
map
5

10. =
6

11. OCaml
• caml-list : [caml-list]OCaml for Hoogle
7

12. OCaml
• caml-list : [caml-list]OCaml for Hoogle
OCaml Hoogle
?
※
7

13. OCaml
• caml-list : [caml-list]OCaml for Hoogle
OCaml Hoogle
?
※
GODI
( )
7

14. OCaml
• caml-list : [caml-list]OCaml for Hoogle
OCaml Hoogle
?
※
GODI
( )
OCamlBrowser
(Web )
7

15. OCaml
• caml-list : [caml-list]OCaml for Hoogle
OCaml Hoogle
?
※
GODI
( )
OCamlBrowser
(Web )
• : OCaml Hoogle
7
!

16. 8

17. • http://search.ocaml.jp
• http://github.com/mzp/ocaml-hoogle
9

18. (‘a -> ‘b) -> ‘a list -> ‘b list
...
10

19. (‘a -> ‘b) -> ‘a list -> ‘b list
...
map
10

20. •
11

21. •
• : Unix, Thread,Num
• extlib
• http://code.google.com/p/ocaml-extlib/
12

22. • OCamlBrowser
•
otherlibs/labltk/browser/searchid.ml
(* *)
val module_list : string list ref
(* *)
val search_string_type :
string -> mode:[`Exact|`Included] -> (Longident.t * pkind) list
13

23. • HTML
•
•
14

24. • Hoogle
• OCaml
• http://search.ocaml.jp
• OCamlBrowser
15