12.2.1. Promises · Functional Programming in OCaml
Promises In Lwt, a promise is a write-once reference: a value that is permitted to mutate at most once. When created, it is like an empty box that contains nothing. We say that the promise is pending. Eventually the promise can be resolved, which is like putting something inside the box. Instead of being resolved, the promise can instead be rejected, in which case the box is filled with an excepti
文字列を段階的に組み立てる - Qiita
プログラムで文字列を組み立てていると、 "(" ^ なにか ^ ")" のように、文字列結合で段階的に結果を組み立てたいことがある。 文字列が小さいことがわかっているうちはこれでもよいのだけれど、文字列が大きくなってくると段々と計算量が気になってくる（特に最適化をしていなければ、文字列の長さを n とすると結合のたびに O(n) のコストがかかる）。 左から右に組み立てることがわかっていれば、OCamlなら Buffer モジュールが使えるが、括弧のようなものがからむとそうも言っていられない。 stringを使うのをやめて、ropeのようなデータ構造を使う手もあるけど、依存ライブラリを増やしたくない場合もある（言語処理系によっては文字列の内部表現がropeになっていて以下のような小細工をする必要がない場合もある）。 ということで、自分でデータ構造をつくってみる。
OCamlで車輪を再発明する - fetburner.core
最近研究でCoqぐらいしか書いてないので、リハビリがてらAtCoderで 開かれるコンテストにOCamlで参加して遊んでます。 僕は個人的な趣味もあってOCamlを使う際は専ら言語処理系を書いていましたが、 競技プログラミングでは全く関係ない題材を扱う必要があるので新鮮な感じですね。 それに伴って有名なアルゴリズムもいくつか実装したので、 ここではそういうアルゴリズムをMLではどう書いたのか紹介したいなと思います。 高速なべき乗のアルゴリズム 正式名称はよく分からないのですが、ありますよね？O(log n)でべき乗を計算するアルゴリズム。 x ^ nを計算する時、nが偶数の時は(x * x) ^ (n / 2)とみなすやつです。 OCamlで素朴に実装するとこんな感じ。 let rec power m = function | 0 -> 1. | n when n mod 2 = 0 ->
OCaml.jp
このページは最後に更新されてから1年以上経過しています。情報が古い可能性がありますので、ご注意ください。 OCaml（オキャムル／オーキャムル）は、INRIA（フランス国立情報学自動制御研究所）で開発されている関数型言語の一種で、最新の言語理論の成果が取り入れられたプログラミング言語です。 型安全な静的型システムを基盤に、バグの少ない高信頼なプログラムが開発できます。 オブジェクト、型推論、代数的データ型、モジュールシステム、多相バリアント、第一級モジュール、GADTといった様々な機能を利用して、より簡潔で整理されたコードが記述できます。 x86, x86-64, ARM, PowerPCなど多数のアーキテクチャのネイティブコードを出力できるコンパイラを持っています。Android や iOS 向けのクロスコンパイルも可能です（Linux 上でのクロスコンパイルは opam-cross-a
Replacing Python: candidates - Thomas Leonard's blog
This post evaluates the programming languages ATS, C#, Go, Haskell, OCaml, Python and Rust to try to decide which would be the best language in which to write 0install (which is currently implemented in Python). Hopefully it will also be interesting to anyone curious about these languages. I'm not an expert in these languages (except Python). My test-case is to read the tutorial for each language
Deprecating the Forge in 2017
This news was initially published as forge.ocamlcore.org/forum/forum.php?forum_id=958 on 2016-12-30, it has been migrated to this static website later. The OCaml Forge was launched 9 years ago. Today, the OCaml community will probably benefit to switch to a more popular hosting option, like Github. Over the course of 2017, the content of the current forge will be transferred to a static website or
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Lisp implementations
GitHub - ocaml-sf/learn-ocaml: A Web Application for Learning OCaml
サービス終了のお知らせ