Effective Concurrency with Algebraic Effects · KC Sivaramakrishnan
Algebraic effects and handlers provide a modular abstraction for expressing effectful computation, allowing the programmer to separate the expression of an effectful computation from its implementation. In this post, I will present an extension to OCaml for programming with linear algebraic effects, and demonstrate its use in expressing concurrency primitives for multicore OCaml. The design and im
Lwt manual
Backtrace support If an exception is raised inside an Lwt thread, the backtrace provided by OCaml will not be very useful. It will end inside the Lwt scheduler instead of continuing into the code that started the thread. To avoid this, and get good backtraces from Lwt, use the syntax extension in debug mode. In debug mode, the let%lwt construct will properly propagate backtraces. In the ppx syntax
ivarの必要性 - ocaml-nagoya
OCamlではCMLスタイルのスレッド間通信が可能です。 Eventモジュールには基本的なイベント型やその同期関数が揃っています。 ところが、ivarやmvarといった共有変数が無い為に苦しい状況になっています。 例えばとても単純に、整数を渡して計算結果を（今回は倍にして）返してくれるスレッドを作ってみましょう。 すぐに思いつくのは、次のようなコードです。 let start_server () = let in_ch, out_ch = new_channel (), new_channel () in let rec loop () = let x = sync (receive in_ch) in loop (sync (send out_ch (x * 2))) in ignore (Thread.create loop ()); in_ch, out_ch let calc (i
The JoCaml system
What's JoCaml? JoCaml is Objective Caml plus (&) the join calculus, that is, OCaml extended for concurrent and distributed programming. The new JoCaml is a re-implementation of the now unmaintained JoCaml by Fabrice Le Fessant. With respect to this previous implementation, main changes are: Numerous syntax changes, we believe the new syntax to be cleaner. Disparition of mobility features, sacrifie
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - mirage/ocaml-cohttp: An OCaml library for HTTP clients and servers using Lwt or Async
[Caml-list] [ANN] Async, a monadic concurrency library
Old Nabble - Caml Discuss2 - Asynchronous IO programming in OCaml
