OCaml programming best practice
The best kittens, technology, and video games blog in the world. (The panda doesn't feel well, because of programming too much OCaml. But trust me on this, you do not want to see a panda that had to code C++) OCaml is a very big and complex language, like C++, and many parts ofit kinda stick out, are experiments that didn't go well, or exist only for backward compatibility. If you want to code OCa
Using, Understanding, and Unraveling The OCaml Language From Practice to Theory and vice versa
Using, Understanding, and Unraveling The OCaml Language From Practice to Theory and vice versa Didier Rémy APPSEM'2000 summer school1 Copyright © 2000, 2001 by Didier Rémy. These notes have also been published in Lectures Notes in Computer Science. A preliminary version was written for the Appsem 2000 summer school held in Camina, Portugal on September 2000. The notes are also available in Postscr
Enhanced Ocaml Documentation
I enhanced the html-version of the Ocaml Reference manual in two ways changes to the previous version are marked with icons and a different style an additional appendix contains all grammar rules [In previous versions the enhancement included hot metasymbols, but since 3.10 this feature is already in the original reference manual.] Browse latest version online or Download the .tar.gz. archive! O
OUnit - soutaroブログ
stringとかfloatとかintとかboolに対しては、printerがすでに用意されているOUnit.assert_equal。 let assert_eq msg expected actual = let printer x = let tag = Obj.tag (Obj.repr x) in if tag = Obj.int_tag then string_of_int (Obj.magic x) else if tag = Obj.double_tag then string_of_float (Obj.magic x) else if tag = Obj.string_tag then (Obj.magic x) else "--" in OUnit.assert_equal ~msg:msg ~printer:printer expected actualOUnit使っ
thinking with the objective caml
printf デバッグのススメ 所謂「printf デバッグ」とは、プログラム中に副作用の命令を置き、プログ ラム実行順序や変数の値の確認を行う手法の事を指すと、私は理解しています. ここでは別に定義を論じたい訳ではありませんので、以下 printf デバッグを 上記の意味で遣います. ところで、この printf デバッグ、私は結構多用しています. もちろんデバッ ガを遣うときもありますが、かなり詳細に動作を追いたいときだけです. と、こんなことを暴露してしまうと、「デバッグするのにソースコードを更新 しなくてはいけないような手法に慣れるとは何事か. デバッガを遣え!」とお 叱りが飛んできそうです. 実際 emacs 上では大変簡潔な操作で ocaml のプロ グラムを実行順に追っかけることが出来ます. しかし、多人数で大規模開発をするならいざ知らず、小規模開発において個人 プレーでプ
Camomile 使い方メモ：Rainy Day Codings：So-net blog
Camomile について調べたメモ。 普通の文字列型 (string) と Camomile 内部のユニコード文字列型との間の変換を行うエンコーダ/デコーダを作る。内部エンコーディングとして UTF-8 を使う場合は以下のようにする。UTF8 以外にも UText, XString, UTF16, UCS4 が選べるようだ。 KURO-BOX% ocaml bigarray.cma camomile.cma Objective Caml version 3.10.0 # module U = CamomileLibrary.Default.Camomile.CharEncoding.Make(CamomileLibrary.UTF8);; module U : sig type text = CamomileLibrary.UTF8.t val decode : CamomileLibr
Camlp4: Major changes
Camlp4: Major changes New bootstrap system Camlp4 no longer keeps a generated directory of pure OCaml sources in order to start the build. It starts from to OCaml files (boot/camlp4boot.ml and boot/Camlp4.ml). With these two files we build a single bytecode camlp4 program called camlp4boot. This camlp4boot is a full-featured Camlp4 engine able to parse all Camlp4 sources. With this new system deve
Rainy Day Codings：So-net blog
「プログラミング言語の基礎概念」(五十嵐2011)をAgdaでやっていた途中だが、 ここで "Types and Programming Language" (Pierce 2002) の第8章 "Typed Arithmetic Expressions" をAgdaでやることにする。 open import Relation.Binary.PropositionalEquality using (_≡_; refl) open import Data.Product using (_×_; proj₁; proj₂; ∃; ∃-syntax) renaming (_,_ to ⟨_,_⟩) open import Data.Sum using (_⊎_; inj₁; inj₂) infix 10 succ_ infix 10 pred_ infix 9 iszero_ infix 8 i
Martin Jambon
Art Gallery Notes Dictionary Home I’m a programmer, creator, and researcher. Originally from France, I live in the San Francisco Bay Area. martin@mjambon.com • Mastodon • Twitter • GitHub • LinkedIn • Instagram • Flickr • Strava Art (2022-present) Follow me on Instagram or visit my online gallery. Artificial cognition In my personal time, I develop theories and software for creating machines that
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Archives of the Caml mailing list > Message from Martin Berger
Archives of the Caml mailing list > Message from Jacques Garrigue
Archives of the Caml mailing list > Message from HENRIKSON, JEFFREY
Archives of the Caml mailing list > Message from Jacques Garrigue
Archives of the Caml mailing list > Message from Nicolas Pouillard
Nabble - ocamlbuild, camlp4 and the _tags file
http://www.nabble.com/Pairing-ocamlbuild-with-ocamlfind-t3804065.html
http://www.nabble.com/camlp4-3.10---level-%22expr1%22-t3947865.html
pa_json_static.ml.309 → pa_json_static.ml.310
Archives of the Caml mailing list > Message from Nicolas Pouillard
Objective Caml Reactive Toolkit