原文地址：http://hi.baidu.com/cg51/blog/item/19035643e8f9fe109313c623.html
定义函数:以下方法等同
# let f=fun x y->x+y;;
val f : int -> int -> int = <fun>
# let e ab =
ab*ab;;
val e : int -> int = <fun>
# let f=function x->function y->x+y;;
val f : int -> int -> int = <fun>
使用函数 # let xx x=x*x;;
val xx : int -> int = <fun>
# xx 10;;
- : int = 100
命名参数
# let f ~x:a ~y:b ~z:c = a + b + c;;
val f : x:int -> y:int -> z:int -> int = <fun>
# let y a b c=a+b+c;;
val y : int -> int -> int -> int = <fun>
定义：
let f ~x:a ~y:b ~z:c = a + b + c;;
<=> let f ~x:x ~y:y ~z:z = x + y + z;;
<=> let f ~x ~y ~z = x + y + z;;
使用：
# f 1 2 3;;
- : int = 6 固定传参顺序
<=> f ~x:1 ~y:2 ~z:3;;
<=> f ~y:2 ~x:1 ~z:3;; 这样多方便!
<=># let x = 1 and y = 2 and z = 3 in f ~x ~y ~z;;
- : int = 6
可选参数可以用来设定默认值、简化调用等。可选参数必须是命名参数。
定义
# let f ?x:(x=3) y = x + y;;
val f : ?x:int -> int -> int = <fun>
# f 4;;
- : int = 7
# f ~x:10 8;;
- : int = 18
ocaml tools用法
ocaml -- the toplevel system
几个常用命令(注意这个#是输入的，不是那个#提示符)：
- #use "x.ml";; 加载并编译一个脚本。即编写即测试，方便极了!
- #load "x.cmo";; 加载一个bytecode模块
- #quit;; 不用^D也能退出:-)
ocaml -- the toplevel system
几个常用命令(注意这个#是输入的，不是那个#提示符)： - #use "x.ml";; 加载并编译一个脚本。即编写即测试，方便极了!
#load "x.cmo";; 加载一个bytecode模块
#quit;; 不用^D也能退出:-)
ocamlc -- the bytecode compiler
基本用法： - ocamlc x.ml -o x.out 编译一个.ml代码并生成可执行的bytecode文件x.out
ocamlc -c x.ml 编译一个.ml代码并生成.cmo目标代码文件(bytecode)和.cmi接口文件
多文件联编/模块编写
ocamlc -a ... (参见3) (TODO)
ocamlrun -- the runtime system
运行ocamlc编译出来的bytecode的。如果ocamlc好比javac，那么ocamlrun就好比java(jre) - 一般直接运行程序就好了。不行的时候就：
- ocamlrun x.out
- 最强的就是java炒作的“一次编译到处运行”了，在OSX上ocamlc，然后在windows上run，没有问题:-)
- ocamlopt -- the native code compiler
TODO - ocamlprof -- the profiling tool
ocamldebug -- the debugger
ocamllex and ocamlyacc -- lexer and LALR(1) grammar analysis tools
ocamllex ocamlyacc (TODO) - ocamldoc -- the documentation generator
ocamldep -- the dependency generator
OCaml中的各种文件后缀
ml
mli
cmi
cmo
cmx
cma
cmxa
a
o
so
dll
四种运行方式
交互界面(ocaml)
$ ocaml
Objective Caml version 3.08.2
# print_string "hello world";;
hello world- : unit = ()
# - 解释执行(ocaml xxx.ml)
$ ocaml helloworld.ml
hello world - 编译执行(byte-code)(ocamlc -o xxx xxx.ml)
$ ocamlc -o helloworld helloworld.ml
$ ./helloworld
hello world
head一下编译出来的helloworld看看，其首行是
#!/usr/local/bin/ocamlrun
也就是说，使用ocamlrun来解释byte-code
来来来，在OSX上编译，然后去Windows下面ocamlrun helloworld。成功！强啊！ - 编译执行(native-code)(ocamlopt -o xxx xxx.ml)
$ ocamlopt -o helloworld helloworld.ml
$ ./helloworld
hello world - 有用的附加模块
单独拿出来放在这里了 - Emacs Mode for O'Caml
Main key bindings:
TAB indent current line
M-C-q indent phrase
M-C-h mark phrase
C-c C-a switch between interface and implementation
C-c C-c compile (usually make)
C-x` goto next error (also mouse button 2 in the compilation log) - 如何设置eshell的PATH?
- (add-hook 'eshell-mode-hook
'(lambda nil
(eshell/export "EPOCROOT=\\Paragon\\")
(let ((path))
(setq path ".;c:/program files/microsoft visual studio/vb98/")
(setq path (concat path ";c:/programs/perl/bin"))
(setenv "PATH" path))
(local-set-key "\C-u" 'eshell-kill-input))
) - 在eshell里退出ocaml要用C-q C-d RET输入^D才能退出