编程语言 OCaml

编程语言 OCaml

QPL
跨平台
2009-06-01
红薯

OCaml,最早称为 Objective Caml,是 Caml 编程语言的主要实现,开发工具包含交互式顶层解释器,字节码编译器以及最优本地代码编译器。Ocaml有一个巨大标准库,使得可以像 Python 或者 Perl 语言一样可以方便地开发各种应用程序。

OCaml 函数的一些特性:

  • OCaml 是强静态类型的语言
  • OCaml 用类型推导(type inference)来找出类型,所以无需注明类型
  • OCaml 不做任何的隐式转换,如果你需要浮点数,你必须写 2.0,因为 2 是一个整数。OCaml 从不执行任何自动类型转换
  • 由于 type inference 的副作用,OCaml 不允许任何形式的重载(包括操作符重载)。它用不同的运算符来表示“两个整数相加”(用+)和“两个浮点数相加”(用+.)
  • OCaml 返回函数的最后的表达式值

基本类型

int char float bool string unit(void的返回类型)

 

的码云指数为
超过 的项目
加载中

评论(0)

暂无评论

OCaml 4.09.0 发布,函数式编程语言

OCaml 是一种快速、简洁、而强大的应用程序开发语言,开发工具包含交互式顶层解释器,字节码编译器以及最优本地代码编译器。Ocaml 有一个巨大标准库,使得可以像 Python 或者 Perl 语言一样可...

09/22 07:03

OCaml 4.08.0 发布,函数式编程语言

OCaml(Objective Caml) 4.08.0 发布了。OCaml 是 Caml 编程语言的主要实现,Caml 是函数式编程语言,OCaml 将 Caml 语言在面向对象方面做了延展,它的扩展语言还有基于微软 .net 平台的 F#...

06/16 07:21

OCaml 4.06.0 发布,Caml 编程语言的主要实现

Objective Caml (OCaml) 是Caml编程语言的主要实现,由Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy及其他人于1996年创立。OCaml是开放源代码项目。此项目的管理和大...

2017/11/05 06:31

OCaml 4.05.0 发布,Caml 编程语言的主要实现

OCaml 4.05.0 已发布,本次更新主要针对语言特性、代码集成与优化、运行时系统、类型系统、编译器用户界面和警告、标准库、调试和分析等方面进行修复和优化。 内容较多,详情请参阅发布说明。...

2017/07/17 07:10

OCaml 4.04.0 发布,Caml 编程语言的主要实现

OCaml 4.04.0 发布了,该版本更新内容如下: 语言特性: PR#7233: Support GADT equations on non-local abstract types (Jacques Garrigue) GPR#187, GPR#578: Local opening of modules in...

2016/11/05 08:40

OCaml 4.03.0 发布,Caml 编程语言的主要实现

OCaml 4.03.0 发布了,改进日志如下: - PR#5528: inline records for constructor arguments (Alain Frisch) - PR#6220, PR#6403, PR#6437, PR#6801: Improved redundancy and exhaustiven...

2016/04/28 07:29

OCaml 4.02.2 将在下月发布,BUG 修复+ 新特性

OCaml 4.02.2 版本很快就要发布啦,主要是 bug 修复,还有一些新特性,计划在 6 月的第一个星期发布,如果想提前查看 4.02.2,请看 GitHub 地址:https://github.com/ocaml/ocaml/tree/4.02 ...

2015/05/22 07:44

OCaml 发布 iOS7 版编译器(4.0.2)

OCaml 发布 iOS7 版编译器(4.0.2),可以编译 OCaml 4.01.0,同时也可以在 OS X 10.9.4 平台的 Xcode 5.1.1 上运行。 二进制包下载: OCamlXARM 4.0.2 Installer for OS X 10.9 从 SVN 获取...

2014/08/25 07:43

Objective Caml 4.01.0 发布,编程语言

OCaml 4.01.0 包含很多 bug 修复、新特性,以及对库、运行系统和内部的改进。详细内容请看 Changes。 Objective Caml(OCaml)是Caml编程语言的主要实现,由Xavier Leroy,Jérôme Vouillon...

2013/09/14 07:50

没有更多内容

加载失败,请刷新页面

没有更多内容

暂无问答

Ocaml的Emacs配置

环境:Emacs 24.2、linux-kernel 3.7 关于emacs的Ocaml配置其实有很多, 本人刚刚上手, 不想搞得太复杂, 暂时只配了这些。 turareg可以说是必备的, 提供基本的语法高亮和repl等基本功能, 官方...

2012/12/15 11:11
1K
0
开始学习ocaml

安装ocaml USE="emacs" emerge -av ocaml 写个hello world print_endline "Hello World!" 保存为hello.ml 用ocamlc hello.ml -o hello编译,运行正常 观察输出的可执行文件,只有12K,打开一...

2013/07/05 23:56
398
0
inotify+unison双向同步环境部署

最近做的一个项目,项目上线 ,代码部署在,做了LVS负载均衡的两台web服务器,那么问题来了,怎么样保证两台服务器的代码文件和资源文件实时同步呢?

2014/12/29 17:30
5.2K
1
linux web服务器静态资源的处理 unison+inotify双向同步

最近研究高可用的方案,对于前端负载不大,所以采用了较为简单的 keepalived+nginx的方案。 在处理静态内容的时候发现两台web上的静态资源需要一致,于是研究使用了下unison,由于unison是需...

2015/02/24 13:02
246
0
通过Unison实现文件的双向同步

Unison 是Windows、Linux以及其他Unix平台下都可以使用的文件同步工具,它能使两个文件夹(本地或网络上的)保持内容的一致,拥有与其它一些同步工具或文件系统的相同的特性,但也有自身的特...

2013/02/19 11:01
293
0
Apache Thrift

Apache Thrift 是 Facebook 实现的一种高效的、支持多种编程语言的远程服务调用的框架。

2014/08/27 09:23
78
0
Mac OS X TextMate 运行 OCaml代码提示出错

Mac OS X TextMate 运行 OCaml代码提示出错 Uncaught exception: Invalid_argument("Fl_package_base.query") 解决办法,修改 ~/Library/Application\ Support/TextMate/Managed/Bundles/OC...

2015/07/10 17:35
176
0
sublime text2的snippet设置

打开tools-new snippet.. <snippet> <content><![CDATA[ Hello, ${1:this} is a ${2:snippet}. ]]></content> <!-- Optional: Set a tabTrigger to define how to trigger the snippet --> <...

2013/12/21 11:13
291
0
Linux 安装 RabbitMQ

0、切到 root用户 sudo su 1 system init yum -y install ncurses ncurses-base ncurses-devel ncurses-libs ncurses-static ncurses-term ocaml-curses ocaml-curses-devel yum -y install ...

06/11 15:52
26
0
SWIG

SWIG是个帮助使用C或者C++编写的软件能与其它各种高级编程语言进行嵌入联接的开发工具。SWIG能应用于各种不同类型的语言包括常用脚本编译语言例如Perl, PHP, Python, Tcl, Ruby and PHP。支持...

2013/02/18 00:15
154
0

没有更多内容

加载失败,请刷新页面

返回顶部
顶部