Introduction to Functional Programming in OCaml
Functional programming is a programming paradigm which is rapidly attracting interest from a broad range of developers because it allows to write expressive, concise and elegant programs. In this MOOC you will learn Functional programming using the OCaml programming language.You will discover the powerful mechanisms that are offered to build and manipulate complex data structures in a clean and ef
Real World OCaml
Functional programming for the masses2nd Edition (Oct 2022) Yaron Minsky Yaron Minsky joined Jane Street in 2003, where he started out developing quantitative trading strategies, going on to found the firm's quantitative research group. He introduced OCaml to the company and managed the transition to using OCaml for all of its core infrastructure, turning Jane Street into the world's largest indus
Why OCaml, why now?
OCaml first hit my radar in November 2013. I had just learnt SML, a similar but older language, in the excellent Programming Languages Coursera course. Dan Grossman is one of the best lecturers I’ve ever seen, I found his explanations hit all the right notes and made learning easy. The simplicity of the SML syntax, and the power of the language while still producing code that is readable with mini
Writing Performance Sensitive OCaml Code - 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
CamlP4 が何やっているか知りたいときどうするか - camlspotter’s blog
一番よいのは CamlP4 が何を出力しているか見ることです。 例として OCamltter の Twitter API の JSON 表現と OCaml の型との間を取り持つ api11.ml がどうなっているか見てみましょう。 type 'a t = { previous_cursor : Json.t; next_cursor : Json.t; next_cursor_str : string; previous_cursor_str : string; contents : 'a mc_embeded; } with conv(json, ocaml) この型宣言の with conv(json, ocaml) の部分は CamlP4 の拡張の部分で、型定義からなにかしらコードを生成しています。 $ rm lib/twitter/api11.cmo $ omake --verbo
OCaml 開発環境について ~ コンパイラに付属しない非公式ツールたち - camlspotter’s blog
2012年12月での関数型言語 OCaml コンパイラ一式には入っていない 内部もしくは外部開発されたのツール群の紹介を行う。 例によって多岐に渡るので、一つ一つの詳しい説明は行わない。 各ツールの細かい情報はそれぞれのドキュメントを参照して欲しい。 リンクは貼るの面倒だからググって。 もし知らないツール名があったらちょっと読んでみて欲しい。 もしかしたらあなたの問題を解決するツールがあるかもしれないから。 ライブラリとツールの中間のようなコード生成系も取り上げた。 あくまでも基本的に私が触ったことのある物しか紹介しないから、 そっけなかったりするのはあまり触ってないということ。 なんでこれはなんで取り上げてないの？と思ったら、それは使ったことないから。ごめんね。 不満があったら自分で紹介記事書いてください夜露死苦! ★は重要度。五点満点。 コンパイラ同梱のツールの紹介はもうした。 htt
CamlIDL
CamlIDL CamlIDL is a stub code generator and COM binding for Objective Caml. What is CamlIDL? CamlIDL comprises two parts: A stub code generator that generates the C stub code required for the Caml/C interface, based on an MIDL specification. (MIDL stands for Microsoft's Interface Description Language; it looks like C header files with some extra annotations, plus a notion of object interfaces tha
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
OCaml + Cordova = more secured, typed and hybrid mobile applications. - Danny Willems - Blog
http://www.cl.cam.ac.uk/~sd601/papers/multicore_slides.pdf
https://ocsigen.org/js_of_ocaml/
GitHub - klakplok/goji: An OCaml bindings generator for JavaScript libraries
Bitbucket
ctypes tutorial
http://oco.furuse.info/oco
An LLVM backend for OCaml