OCaml        Hoogle
OCaml API Search
       ocaml-nagoya / mzp




                     2010-08-28 OCaml Meeting 2010 Nago...
•                  / mzp

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


       ...
Haskell                    ?




 OCaml           Haskell
          ※Google




             3
Haskell                        ?

  2,130,000




 OCaml               Haskell
              ※Google




                 3
Haskell                             ?
                        3,380,000




  2,130,000




 OCaml               Haskell
 ...
Haskell                             ?
                        3,380,000




  2,130,000




 OCaml               Haskell
 ...
Hoogle




         4
• (a -> b) -> [a] -> [b]   ...




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




                  map




                        5
=




    6
OCaml
•   caml-list   : [caml-list]OCaml for Hoogle




                   7
OCaml
    •   caml-list       : [caml-list]OCaml for Hoogle
                    OCaml   Hoogle
                           ...
OCaml
    •   caml-list           : [caml-list]OCaml for Hoogle
                        OCaml   Hoogle
                   ...
OCaml
    •   caml-list               : [caml-list]OCaml for Hoogle
                         OCaml     Hoogle
            ...
OCaml
        •   caml-list               : [caml-list]OCaml for Hoogle
                             OCaml     Hoogle
    ...
8
• http://search.ocaml.jp
• http://github.com/mzp/ocaml-hoogle




                    9
(‘a -> ‘b) -> ‘a list -> ‘b list
                        ...




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


                      map




                 10
•


    11
•
    •    : Unix, Thread,Num

• extlib
 • http://code.google.com/p/ocaml-extlib/

                    12
•    OCamlBrowser



              •
otherlibs/labltk/browser/searchid.ml
(*                                     *)
val mo...
•   HTML

•

•

           14
• Hoogle
• OCaml
 • http://search.ocaml.jp
• OCamlBrowser

                     15
Upcoming SlideShare
Loading in...5
×

OCamlAPISearchの紹介

1,201

Published on

0 Comments
1 Like
Statistics
Notes
  • Be the first to comment

No Downloads
Views
Total Views
1,201
On Slideshare
0
From Embeds
0
Number of Embeds
1
Actions
Shares
0
Downloads
5
Comments
0
Likes
1
Embeds 0
No embeds

No notes for slide




















  • Transcript of "OCamlAPISearchの紹介"

    1. 1. OCaml Hoogle OCaml API Search ocaml-nagoya / mzp 2010-08-28 OCaml Meeting 2010 Nagoya 1
    2. 2. • / mzp • http://twitter.com/mzp • SE(not OCaml) • 1 OCaml API Search 2
    3. 3. Haskell ? OCaml Haskell ※Google 3
    4. 4. Haskell ? 2,130,000 OCaml Haskell ※Google 3
    5. 5. Haskell ? 3,380,000 2,130,000 OCaml Haskell ※Google 3
    6. 6. Haskell ? 3,380,000 2,130,000 OCaml Haskell ※Google ! 3
    7. 7. Hoogle 4
    8. 8. • (a -> b) -> [a] -> [b] ... 5
    9. 9. • (a -> b) -> [a] -> [b] ... map 5
    10. 10. = 6
    11. 11. OCaml • caml-list : [caml-list]OCaml for Hoogle 7
    12. 12. OCaml • caml-list : [caml-list]OCaml for Hoogle OCaml Hoogle ? ※ 7
    13. 13. OCaml • caml-list : [caml-list]OCaml for Hoogle OCaml Hoogle ? ※ GODI ( ) 7
    14. 14. OCaml • caml-list : [caml-list]OCaml for Hoogle OCaml Hoogle ? ※ GODI ( ) OCamlBrowser (Web ) 7
    15. 15. OCaml • caml-list : [caml-list]OCaml for Hoogle OCaml Hoogle ? ※ GODI ( ) OCamlBrowser (Web ) • : OCaml Hoogle 7 !
    16. 16. 8
    17. 17. • http://search.ocaml.jp • http://github.com/mzp/ocaml-hoogle 9
    18. 18. (‘a -> ‘b) -> ‘a list -> ‘b list ... 10
    19. 19. (‘a -> ‘b) -> ‘a list -> ‘b list ... map 10
    20. 20. • 11
    21. 21. • • : Unix, Thread,Num • extlib • http://code.google.com/p/ocaml-extlib/ 12
    22. 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. 23. • HTML • • 14
    24. 24. • Hoogle • OCaml • http://search.ocaml.jp • OCamlBrowser 15
    1. A particular slide catching your eye?

      Clipping is a handy way to collect important slides you want to go back to later.

    ×