これは ML Advent Calendar 2017 の 4日目の記事です (書き溜めていたものを公開.) OCaml のモジュール (module) とモジュール型 (module type) がややこしいと思った,そんな初心を思い出して少し記事を書きました. OCaml で簡単なプログラムは書けるけれど,モジュール化の方法がいまいち分からないという人向けです. (本当に書きたかった話題は「ファンクターを使ったモジュール抽象化」でした.具体的には, OCaml の非同期処理のモナド Async と Lwt の両方で使えるライブラリを設計する…ということを書きたかったのですが,時間がなくなりました.そういうものに興味がある人は,例えば ocaml-cohttp をじっくり辿ってみると良いと思います. 他に,私の作りかけのライブラリ でも,base.ml においてモナドモジュールをパラメタ
![OCamlのモジュール (ストラクチャ) とモジュール型 (シグネチャ) - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/2e10c5d496b84e63159e8da2f3acea992c042e55/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Farticle-ogp-background-412672c5f0600ab9a64263b751f1bc81.png%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTk3MiZoPTM3OCZ0eHQ9T0NhbWwlRTMlODElQUUlRTMlODMlQTIlRTMlODIlQjglRTMlODMlQTUlRTMlODMlQkMlRTMlODMlQUIlMjAlMjglRTMlODIlQjklRTMlODMlODglRTMlODMlQTklRTMlODIlQUYlRTMlODMlODElRTMlODMlQTMlMjklMjAlRTMlODElQTglRTMlODMlQTIlRTMlODIlQjglRTMlODMlQTUlRTMlODMlQkMlRTMlODMlQUIlRTUlOUUlOEIlMjAlMjglRTMlODIlQjclRTMlODIlQjAlRTMlODMlOEQlRTMlODMlODElRTMlODMlQTMlMjkmdHh0LWFsaWduPWxlZnQlMkN0b3AmdHh0LWNvbG9yPSUyMzIxMjEyMSZ0eHQtZm9udD1IaXJhZ2lubyUyMFNhbnMlMjBXNiZ0eHQtc2l6ZT01NiZzPTNiNGY1NjczZDE5M2Y0NjcxMjZkMWQ0MTg4MjQ1ZjNl%26mark-x%3D142%26mark-y%3D57%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZoPTc2Jnc9NzcwJnR4dD0lNDBrZWlnb2kmdHh0LWNvbG9yPSUyMzIxMjEyMSZ0eHQtZm9udD1IaXJhZ2lubyUyMFNhbnMlMjBXNiZ0eHQtc2l6ZT0zNiZ0eHQtYWxpZ249bGVmdCUyQ3RvcCZzPTA1ZGNkZmRjMzE4NDc3MzIwOTVjMTBmOGMyMWYzMTA0%26blend-x%3D142%26blend-y%3D486%26blend-mode%3Dnormal%26s%3D6b102de31fd9c5a269c81424359fa0a9)