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. [email protected] • 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
{{#tags}}- {{label}}
{{/tags}}