Batteries user guide
OCaml Batteries Included documentation. OCaml Batteries included (or simply "Batteries") is a community-driven effort to standardize on an consistent, documented, and comprehensive development platform for the OCaml programming language. For the moment, Batteries Included concentrates on: data structures file manipulation inputs and outputs concurrency numbers text, including Unicode For more info
Welcome to Dune’s Documentation! — Dune documentation
Getting Started and Core Concepts Overview Quickstart Stanza Reference Command-Line Interface How-to Guides How to Set up Automatic Formatting How to Generate Opam Files from dune-project Cross-Compilation Dealing with Foreign Libraries Generating Documentation How to Load Additional Files at Runtime Instrumentation JavaScript Compilation With Js_of_ocaml JavaScript Compilation With Melange Toplev
Staticmod
EliomExtendconfigurationAccesscontrolAuthbasicCGImodDeflatemodRedirectmodRevproxyRewritemodOutputfilterUserconfCometCORSDeveloper documentationDeveloping with the Ocsigen frameworkCooperative threadsStatic linking of the Ocsigen serverWriting an extensionLibrariesOcsigen server - API referencePersistent data, writing in the logs, configuration file extension, polymorphic tablesOcsigen_libOcsigen_m
Open Source @ Jane Street
Writing Performance Sensitive OCaml Code 1) OCaml Performance The notes fall into the following categories: notes about the cost of commonly used OCaml constructs and general recommendations that might help speed up OCaml code notes on reading OCaml assembly code so that you may understand what your own OCaml programs do on the CPU. When possible we have tried to motivate these with snippets of as
2017年度「プログラミング言語」配布資料
五十嵐 淳 (京都大学大学院情報学研究科 通信情報システム専攻) 2017年11月17日 モジュールと実装の隠蔽 階層的名前空間の提供 実装の隠蔽 分割コンパイル (ocaml/bstModule2) 講義範囲を越えて [ 前の資料 | 講義ホームページ・トップ | 次の資料 ] モジュールと実装の隠蔽 モジュール(module) とは，工業製品などにおける規格化された構成単位を指すための用語である．要するに部品のことなのだが，この「規格化」というのは重要な点で，これによって例えば様々な会社が製造した部品を集めてひとつの大きな製品を作ることができるし．一部が故障しても簡単に交換することが可能になる．ソフトウェアにおいても，モジュールという用語はプログラム部品の構成単位を指していて，多くのプログラミング言語が，プログラムをモジュールの集まりとして構成するための支援機構を用意している．工業製品
OCaml標準ライブラリのList.sortを読む - fetburner.core
この記事はML Advent Calendar 2017の10日目（！？）のために書かれました． 皆さんOCaml標準ライブラリのList.sortは使っていますか？ 頻繁にリストに対してのソートを行うようならデータ構造かアルゴリズムを考え直した方が良いでしょうが，競プロの様にちょっとしたプログラムを書く時には僕もよくお世話になります． マニュアルによると，そのList.sortはマージソートで実装されているようですが，僕のような者がちょっとやそっと工夫した程度では敵わないような最適化が施されています．今回はそのソースコードを読んでみましょう． まず，OCaml 4.06.0のlist.mlから引っぱってきたList.sortのソースコードを見ていきましょう． (** sorting *) let rec merge cmp l1 l2 = match l1, l2 with | [],
Filenames – OCaml
NotesIn C the header files describe the functions, etc., but only by convention. In OCaml, the *.mli file is the exported signature of the module, and the compiler strictly enforces it. In most cases for a module called Foo you will find two files: foo.ml and foo.mli. foo.ml is the implementation and foo.mli is the interface or signature. Notice also that the first letter of the file is turned to
qtest --- Quick Unit Tests for OCaml --- version 2.0
qtest — Quick Unit Tests for OCaml — version 2.0* Vincent Hugot & the Batteries team Contents 1 Introduction 2 Using qtest : a Quick, Simple Example 3 More qtest Pragmas 3.1 Different Kinds of Tests 3.1.1 Simple Tests: T for "Test" 3.1.2 Equality Tests: = 3.1.3 Randomized Tests: Q for "Quickcheck" 3.1.4 Raw oUnit Tests: R for "Raw" 3.1.5 Exception-Throwing Tests: E for "Exception" 3.2 Ma
How to test Async OCaml code · Andreas Garnæs
How to test Async OCaml code 18 Sep 2014 In the previous blog post, we used Core and Async to write a tiny library for talking to Memcached using the binary protocol. I wanted to write tests for the library in a readable and succint manner to ensure correctness – the type system cannot ensure binary data is parsed correctly after all. The regular go-to tool for testing OCaml code is OUnit, but thi
OCaml Programming Guidelines · OCaml Documentation
OCaml Programming Guidelines This is a set of reasonable guidelines for writing OCaml programs that reflect the consensus among veteran OCaml programmers. OCaml source code can be formatted automatically with OCamlFormat, so you don't have to worry about formatting it by hand. You can speed up code review by just focusing on the important parts. Nevertheless, some best practices are not automated,
Jane Street Tech Blog - Core_bench: better micro-benchmarks through linear regression
This post is meant to be an introduction to Core_bench, our micro-benchmarking library for OCaml. Core_bench is similar to Haskell’s micro-benchmarking library, Criterion, in that it serves the same overall purpose. It is however not a direct port of Criterion to OCaml, but instead employs a different approach to estimating costs that we think yields better results. We think the result is a benchm
OCaml モジュールとシグネチャの命名規則 - 一歩前進
モジュール名 OCamlのモジュール名は大文字から始まる必要があり、単語の区切り方は以下の２つのケースが多いようです。 先頭大文字のスネークケース (例: Type_utils) アッパーキャメルケース (例: TypeUtils） 前者はJane Street CoreやOcsigen等で見受けられます。後者はBatteriesやExtLib等で見受けられるスタイルです。 どちらを使うかは好みの問題なのでしょうが、特に理由がなければ 公式のコーディング規約で推奨されている（ようだ） Jane Street CoreやOcsigenを使った時にモジュール名の語感が合う ということで、先頭大文字のスネークケースのスタイルを扱うのが良さそうです。 module Type_utils = struct ... end シグネチャの名前 モジュールの型のようなものであるシグネチャについては、全て大
Open Source @ Jane Street
Dummy’s guide to Async Async is a library for asynchronous programming, i.e. programming where some part of the program must wait for things that happen at times determined by some external entity (e.g. a human or another program). This includes pretty much any program that uses blocking calls (e.g. networking code, disk access), timeouts, or event loops (e.g. GUIs). In a nutshell, the idea is to
Jane Street packages documentation moved.
Jane Street packages documentation is no longer hosted here. You can find the documentation by searching for a relevant package on ocaml.org.
Extension Points, or how OCaml is becoming more like Lisp
(OCaml 4.02 is entering a feature freeze, which makes it a good time to stop and take a look at what to expect for this release. This is the first of a few blog pots where I’ll describe the features that strike me as notable.) OCaml’s metaprogramming story is kind of messy. The good news is that OCaml has an effective metaprogramming system. It’s called camlp4, and before complaining about it, I w
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Clarify the story on building/running/installing tests and doc · ocaml/opam@4170148
opam - OPAM 1.2 and Travis CI
https://www.math.nagoya-u.ac.jp/~garrigue/papers/modalias-j.pdf
Contact / Erratique
https://caml.inria.fr/pub/old_caml_site/Examples/oc/basics/explode.ml