SlideShare a Scribd company logo
1 of 24
OCaml        Hoogle
OCaml API Search
       ocaml-nagoya / mzp




                     2010-08-28 OCaml Meeting 2010 Nagoya
               1
•                  / mzp

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


                     2
Haskell                    ?




 OCaml           Haskell
          ※Google




             3
Haskell                        ?

  2,130,000




 OCaml               Haskell
              ※Google




                 3
Haskell                             ?
                        3,380,000




  2,130,000




 OCaml               Haskell
              ※Google




                 3
Haskell                             ?
                        3,380,000




  2,130,000




 OCaml               Haskell
              ※Google

                           !
                 3
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
                                 ?
※




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




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

                    OCamlBrowser
                         (Web               )


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

                        OCamlBrowser
                             (Web               )


    •        : OCaml Hoogle
                                       7
                                                !
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 module_list : string list ref


(*                                               *)
val search_string_type :
    string -> mode:[`Exact|`Included] -> (Longident.t * pkind) list


                                            13
•   HTML

•

•

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

                     15

More Related Content

Similar to OCamlAPISearchの紹介

Coqによる証明駆動開発
Coqによる証明駆動開発Coqによる証明駆動開発
Coqによる証明駆動開発Hiroki Mizuno
 
What's New and Cooking in Open Babel 2.3.2
What's New and Cooking in Open Babel 2.3.2What's New and Cooking in Open Babel 2.3.2
What's New and Cooking in Open Babel 2.3.2baoilleach
 
Intro to Open Babel
Intro to Open BabelIntro to Open Babel
Intro to Open Babelbaoilleach
 
Introduction to Kotlin Language and its application to Android platform
Introduction to Kotlin Language and its application to Android platformIntroduction to Kotlin Language and its application to Android platform
Introduction to Kotlin Language and its application to Android platformEastBanc Tachnologies
 
Internship final report@Treasure Data Inc.
Internship final report@Treasure Data Inc.Internship final report@Treasure Data Inc.
Internship final report@Treasure Data Inc.Ryuichi ITO
 
証明駆動開発のたのしみ@名古屋reject会議
証明駆動開発のたのしみ@名古屋reject会議証明駆動開発のたのしみ@名古屋reject会議
証明駆動開発のたのしみ@名古屋reject会議Hiroki Mizuno
 

Similar to OCamlAPISearchの紹介 (6)

Coqによる証明駆動開発
Coqによる証明駆動開発Coqによる証明駆動開発
Coqによる証明駆動開発
 
What's New and Cooking in Open Babel 2.3.2
What's New and Cooking in Open Babel 2.3.2What's New and Cooking in Open Babel 2.3.2
What's New and Cooking in Open Babel 2.3.2
 
Intro to Open Babel
Intro to Open BabelIntro to Open Babel
Intro to Open Babel
 
Introduction to Kotlin Language and its application to Android platform
Introduction to Kotlin Language and its application to Android platformIntroduction to Kotlin Language and its application to Android platform
Introduction to Kotlin Language and its application to Android platform
 
Internship final report@Treasure Data Inc.
Internship final report@Treasure Data Inc.Internship final report@Treasure Data Inc.
Internship final report@Treasure Data Inc.
 
証明駆動開発のたのしみ@名古屋reject会議
証明駆動開発のたのしみ@名古屋reject会議証明駆動開発のたのしみ@名古屋reject会議
証明駆動開発のたのしみ@名古屋reject会議
 

More from Hiroki Mizuno

TypeSafe OSの試み
TypeSafe OSの試みTypeSafe OSの試み
TypeSafe OSの試みHiroki Mizuno
 
OCamlでWebアプリケーションを作るn個の方法
OCamlでWebアプリケーションを作るn個の方法OCamlでWebアプリケーションを作るn個の方法
OCamlでWebアプリケーションを作るn個の方法Hiroki Mizuno
 
#NGK2012B Excelによる設計書について
#NGK2012B Excelによる設計書について#NGK2012B Excelによる設計書について
#NGK2012B Excelによる設計書についてHiroki Mizuno
 
Scala基礎勉強会: Featherweight Scalaの紹介および型付け規則の決定可能性について
Scala基礎勉強会: Featherweight Scalaの紹介および型付け規則の決定可能性についてScala基礎勉強会: Featherweight Scalaの紹介および型付け規則の決定可能性について
Scala基礎勉強会: Featherweight Scalaの紹介および型付け規則の決定可能性についてHiroki Mizuno
 
Coq for Moblie Phone @ ML名古屋
Coq for Moblie Phone @ ML名古屋Coq for Moblie Phone @ ML名古屋
Coq for Moblie Phone @ ML名古屋Hiroki Mizuno
 
Darcs紹介@20120423-scmbc
Darcs紹介@20120423-scmbcDarcs紹介@20120423-scmbc
Darcs紹介@20120423-scmbcHiroki Mizuno
 
Gallinaによる証明駆動開発の魅力
Gallinaによる証明駆動開発の魅力Gallinaによる証明駆動開発の魅力
Gallinaによる証明駆動開発の魅力Hiroki Mizuno
 
CoqによるMsgPackの証明
CoqによるMsgPackの証明CoqによるMsgPackの証明
CoqによるMsgPackの証明Hiroki Mizuno
 
「Frama-Cによるソースコード検証」 (mzp)
「Frama-Cによるソースコード検証」 (mzp)「Frama-Cによるソースコード検証」 (mzp)
「Frama-Cによるソースコード検証」 (mzp)Hiroki Mizuno
 
20110424 action scriptを使わないflash勉強会
20110424 action scriptを使わないflash勉強会20110424 action scriptを使わないflash勉強会
20110424 action scriptを使わないflash勉強会Hiroki Mizuno
 
Coq to Rubyによる証明駆動開発@名古屋ruby会議02
Coq to Rubyによる証明駆動開発@名古屋ruby会議02Coq to Rubyによる証明駆動開発@名古屋ruby会議02
Coq to Rubyによる証明駆動開発@名古屋ruby会議02Hiroki Mizuno
 
NGK忘年会 2010 / CoqからRubyへ
NGK忘年会 2010 / CoqからRubyへNGK忘年会 2010 / CoqからRubyへ
NGK忘年会 2010 / CoqからRubyへHiroki Mizuno
 
From Coq to Ruby / CoqからRubyへ
From Coq to Ruby / CoqからRubyへFrom Coq to Ruby / CoqからRubyへ
From Coq to Ruby / CoqからRubyへHiroki Mizuno
 
Proove Mark&Sweep GC with Coq
Proove Mark&Sweep GC with CoqProove Mark&Sweep GC with Coq
Proove Mark&Sweep GC with CoqHiroki Mizuno
 
CoqでGCの証明をしてみたよ(LT)
CoqでGCの証明をしてみたよ(LT)CoqでGCの証明をしてみたよ(LT)
CoqでGCの証明をしてみたよ(LT)Hiroki Mizuno
 

More from Hiroki Mizuno (20)

TypeSafe OSの試み
TypeSafe OSの試みTypeSafe OSの試み
TypeSafe OSの試み
 
OCamlでWebアプリケーションを作るn個の方法
OCamlでWebアプリケーションを作るn個の方法OCamlでWebアプリケーションを作るn個の方法
OCamlでWebアプリケーションを作るn個の方法
 
#NGK2012B Excelによる設計書について
#NGK2012B Excelによる設計書について#NGK2012B Excelによる設計書について
#NGK2012B Excelによる設計書について
 
Scala基礎勉強会: Featherweight Scalaの紹介および型付け規則の決定可能性について
Scala基礎勉強会: Featherweight Scalaの紹介および型付け規則の決定可能性についてScala基礎勉強会: Featherweight Scalaの紹介および型付け規則の決定可能性について
Scala基礎勉強会: Featherweight Scalaの紹介および型付け規則の決定可能性について
 
Java基礎
Java基礎Java基礎
Java基礎
 
Sml#探検隊
Sml#探検隊Sml#探検隊
Sml#探検隊
 
どこでもCoq
どこでもCoqどこでもCoq
どこでもCoq
 
Coq for Moblie Phone @ ML名古屋
Coq for Moblie Phone @ ML名古屋Coq for Moblie Phone @ ML名古屋
Coq for Moblie Phone @ ML名古屋
 
Darcs紹介@20120423-scmbc
Darcs紹介@20120423-scmbcDarcs紹介@20120423-scmbc
Darcs紹介@20120423-scmbc
 
Gallinaによる証明駆動開発の魅力
Gallinaによる証明駆動開発の魅力Gallinaによる証明駆動開発の魅力
Gallinaによる証明駆動開発の魅力
 
CoqによるMsgPackの証明
CoqによるMsgPackの証明CoqによるMsgPackの証明
CoqによるMsgPackの証明
 
「Frama-Cによるソースコード検証」 (mzp)
「Frama-Cによるソースコード検証」 (mzp)「Frama-Cによるソースコード検証」 (mzp)
「Frama-Cによるソースコード検証」 (mzp)
 
20110424 action scriptを使わないflash勉強会
20110424 action scriptを使わないflash勉強会20110424 action scriptを使わないflash勉強会
20110424 action scriptを使わないflash勉強会
 
Coq to Rubyによる証明駆動開発@名古屋ruby会議02
Coq to Rubyによる証明駆動開発@名古屋ruby会議02Coq to Rubyによる証明駆動開発@名古屋ruby会議02
Coq to Rubyによる証明駆動開発@名古屋ruby会議02
 
NGK忘年会 2010 / CoqからRubyへ
NGK忘年会 2010 / CoqからRubyへNGK忘年会 2010 / CoqからRubyへ
NGK忘年会 2010 / CoqからRubyへ
 
From Coq to Ruby / CoqからRubyへ
From Coq to Ruby / CoqからRubyへFrom Coq to Ruby / CoqからRubyへ
From Coq to Ruby / CoqからRubyへ
 
SacalaZa #1
SacalaZa #1SacalaZa #1
SacalaZa #1
 
CoqUn2010
CoqUn2010CoqUn2010
CoqUn2010
 
Proove Mark&Sweep GC with Coq
Proove Mark&Sweep GC with CoqProove Mark&Sweep GC with Coq
Proove Mark&Sweep GC with Coq
 
CoqでGCの証明をしてみたよ(LT)
CoqでGCの証明をしてみたよ(LT)CoqでGCの証明をしてみたよ(LT)
CoqでGCの証明をしてみたよ(LT)
 

OCamlAPISearchの紹介

  • 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
  • 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

Editor's Notes