0
OCaml
OCaml Meeting 2010
id:yoshihiro503

@yoshihiro503
   ocaml-nagoya
   ProofCafe(     )

   Fomal Method

            Scala, CSNagoya, RWH
OCaml

INRIA

        : Xavier Leroy, Jacques Garrigue,...
OCaml             Haskell
 Scheme
             Standard ML
javascript       SML#


             Scala   F#    haXe
: ocaml

             : ocamlc

          : ocamlopt
λterm ::=
  | x
  | λterm λterm
  | fun x -> λterm
λterm ::=
  | x
  | λterm λterm
  | fun x -> λterm
  |
  |
  | let   match    if
λterm ::=
  | x
  | λterm λterm
  | fun x -> λterm
  |
  |
  | let   match    if
  |
λterm ::=
  | x
  | λterm λterm
  | fun x -> λterm
  |
  |
  | let   match    if
  |
  |
λterm ::=
  | x
  | λterm λterm
  | fun x -> λterm
  |
  |
  | let   match    if
  |
  |
  |                   ←   !
OCaml


null



       Coq
OCaml Twitter

ocamltter (http://github.com/yoshihiro503/ocamltter)
ocaml                  Twitter

           bot
http://ocaml.jp/

 @dico_leque
IT

          OCaml




     24
OCaml



        (Coq)
Coq

13:15 - 17:30



                 9F
Ocamlmeeting2010
Upcoming SlideShare
Loading in...5
×

Ocamlmeeting2010

1,132

Published on

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

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

No notes for slide

Transcript of "Ocamlmeeting2010"

  1. 1. OCaml OCaml Meeting 2010
  2. 2. id:yoshihiro503 @yoshihiro503 ocaml-nagoya ProofCafe( ) Fomal Method Scala, CSNagoya, RWH
  3. 3. OCaml INRIA : Xavier Leroy, Jacques Garrigue,...
  4. 4. OCaml Haskell Scheme Standard ML javascript SML# Scala F# haXe
  5. 5. : ocaml : ocamlc : ocamlopt
  6. 6. λterm ::= | x | λterm λterm | fun x -> λterm
  7. 7. λterm ::= | x | λterm λterm | fun x -> λterm | | | let match if
  8. 8. λterm ::= | x | λterm λterm | fun x -> λterm | | | let match if |
  9. 9. λterm ::= | x | λterm λterm | fun x -> λterm | | | let match if | |
  10. 10. λterm ::= | x | λterm λterm | fun x -> λterm | | | let match if | | | ← !
  11. 11. OCaml null Coq
  12. 12. OCaml Twitter ocamltter (http://github.com/yoshihiro503/ocamltter) ocaml Twitter bot
  13. 13. http://ocaml.jp/ @dico_leque
  14. 14. IT OCaml 24
  15. 15. OCaml (Coq)
  16. 16. Coq 13:15 - 17:30 9F
  1. A particular slide catching your eye?

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

×