OCaml

来自开放百科 - 灰狐
(版本间的差异)
跳转到: 导航, 搜索
(项目)
(项目)
第60行: 第60行:
 
*[https://github.com/ocsigen Ocsigen] Multi-tier programming for Web and mobile apps
 
*[https://github.com/ocsigen Ocsigen] Multi-tier programming for Web and mobile apps
 
*[https://github.com/BinaryAnalysisPlatform/bap Binary Analysis Platform]
 
*[https://github.com/BinaryAnalysisPlatform/bap Binary Analysis Platform]
*[https://coq.inria.fr/ Coq] [https://github.com/mit-plv Programming Languages and Verification Group at MIT CSAIL]
+
*[[Coq]] [https://github.com/mit-plv Programming Languages and Verification Group at MIT CSAIL]
 
*[https://github.com/savonet/liquidsoap Liquidsoap] Audio & Video Streaming Language
 
*[https://github.com/savonet/liquidsoap Liquidsoap] Audio & Video Streaming Language
 
*[https://github.com/owlbarn Owl] - OCaml Scientific Computing  
 
*[https://github.com/owlbarn Owl] - OCaml Scientific Computing  
 
*[https://github.com/mirage MirageOS] 一个用于构建安全、高性能网络应用的库(library)操作系统
 
*[https://github.com/mirage MirageOS] 一个用于构建安全、高性能网络应用的库(library)操作系统
 
*[https://github.com/rescript-lang/rescript-compiler ReScript Compiler]
 
*[https://github.com/rescript-lang/rescript-compiler ReScript Compiler]
*[https://github.com/reasonml/reason Reason] 是一门基于 OCaml 强大类型系统的编程语言,并拥有让 [[JavaScript]] 和 C 语言家族开发者所熟悉的语法。
+
*[[Reason]] 是一门基于 OCaml 强大类型系统的编程语言,并拥有让 [[JavaScript]] 和 C 语言家族开发者所熟悉的语法。
 
*[https://github.com/esy/esy esy] Easy package management for native Reason, OCaml and more
 
*[https://github.com/esy/esy esy] Easy package management for native Reason, OCaml and more
 
*[https://aeternity.com/#sophia aeternity Sophia] is a Ocaml-like language with syntax mostly resembling that of Reason.
 
*[https://aeternity.com/#sophia aeternity Sophia] is a Ocaml-like language with syntax mostly resembling that of Reason.

2021年12月23日 (四) 06:12的版本

Wikipedia-35x35.png 您可以在Wikipedia上了解到此条目的英文信息 OCaml Thanks, Wikipedia.

OCaml

OCaml-Logo.png

目录

简介

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

OCaml 一般用于编译器、程序分析、金融交易、虚拟机等方面。它是 Jane Street 的核心语言,重点是用它写实时交易系统会很赚钱。

F#,Microsoft .NET平台上 OCaml 风格的编程语言。

Windows

指南

OCamlverse Documenting everything about OCaml

完成第一个OCaml程序,Hello World!,创建test.ml文件,包含:

let _=print_endline "hello world!" 

编译 test.ml

ocamlc test.ml -o test  // Byte-code编译
或 ocamlopt test.ml -o test // Native-code编译
 ./test

REPL

 $ ocmal 或 $ utop // eval $(opam config env)
 utop # let () = print_endline "Hello OCaml World!";;
 Hello OCaml World!  

类型

 utop # (1, "str1", 2.);; // 元组tuple
- : int * string * float = (1, "str1", 2.)     
 utop # [1; 2; 3];; // 列表list
- : int list = [1; 2; 3]  
 utop # [|1; 2; 3|];; 数组array
- : int array = [|1; 2; 3|]   
 utop # type vec2 = { x : float; y : float };; //记录record
type vec2 = { x : float; y : float; }

常见问题

Error: Unbound module Core

vim ~/.ocamlinit 加入以下内容,并重新运行utop

#use "topfind"
#camlp4o
#thread
#require "core.top"
#require "core.syntax"

-bash: ocamlfind: command not found

eval $(opam config env)

项目

Awesome OCaml Awesome.png

Jane Street 开源的 Ocaml 项目

Facebook 开源的 OCaml 项目

  • Hack is a programming language for HHVM
  • flow Adds static typing to JavaScript to improve developer productivity and code quality.
  • Reason: Build Systems Rapidly
  • Infer is a static analysis tool for Java, Objective-C and C, written in OCaml.
  • pfff Tools for code analysis, visualizations, or style-preserving source transformation.

课程

文档

书籍

开发

用户

更多用户成功故事

图集

链接

分享您的观点
个人工具
名字空间

变换
操作
导航
工具箱