OCamlは関数型言語の一つで、実用性の高さで人気があります。オブジェクト指向や強い静的型付けなどの特徴を持ち、実行速度がC言語並みに速いことも特徴の一つです。筆者の中ではデキるプログラマーが好んで使っているイメージがあります。Microsoftが開発した.NET対応言語のF#をはじめ、多くの言語にも大きな影響を与えました。今回は、OCamlについて紹介します。 OCamlのWebサイト OCamlについて OCamlは、もともとプログラミング言語ML言語の方言の一つです。もともと、「Objective Caml」という名前でしたが、OCamlに改名されました。つまり、OCamlのOはオブジェクト指向のOなのです。1996年にフランスのINRIA(フランス国立研究所)で開発されました。 残念ながら原稿執筆時点では、TIOBE Indexなどの人気プログラミング言語ベスト50にはランクインし

JavaでCPUを使い倒す！ ～Java 9 以降の CPU 最適化を覗いてみる～（NTTデータ テクノロジーカンファレンス 2019 講演資料、2019...NTT DATA Technology & Innovation

前エントリでは Heroku上でOCamlを動かす方法を紹介したので、このエントリではOCaml製のWebフレームワークであるOcsigen/Eliom を動かす方法を紹介します。 Ocsigen/Eliomとは OCamlで書かれたWebフレームワークです。 Ocsigenがプロジェクト名かつサーバ名なので、ちょっとややこしいですが、たぶんOcsigenが全体をまとめるプロジェクト名で、EliomはそのうちWebフレームワーク部分です。 他にはJavascriptを生成するjs_of_ocamlや、HTMLを生成するTyxmlなどのサブプロジェクトがあります。 js_of_ocamlを作っていることからも分かるように、SQL,HTML,Javascriptまでを一貫してOCamlだけで書くことができます。そのおかげで表示しているHTMLとそれを操作するJavascriptの間に矛盾がない

11. 1. Linux/MacOS Xで開発する 2. コンパイルする 3. Xen上で動くカーネルが生成される(!) 4. EC2等のクラウドサービス上で動く(!!) 要約 13年8月26日月曜日

Mirageを使うと、OCamlでXenやEC2の上で動くOSを作ることができる。 スタブライブラリも用意されているので、Linux、 MacOS Xのような普通のOSで開発して、その後、Xen/EC2上で動くカーネルにコンパイルできる。 http://openmirage.org によると、通常のソフトウェアよりも、より安価に、セキュアに、より詳細な制御が利点です。 前提 Debian squeeze (x64) Xen Server 6.1 x64は必須らしい。 OCaml 4.00.1 の インストール 3.12.1以降がapt-getで入るなら、そちらでもOK。 まずは、依存ライブラリをインストールする。

LexiFi 金融商品の開発環境。 メイン言語がOCaml。MLFiという専用言語もOCamlで作られている。 http://www.lexifi.com/ http://www.lexifi.com/downloads/frisch_inria_2008-12-15.pdf XenServerのツールスタック(xapi toolstack) 仮想化サーバーXenのツール群。全部OCamlらしい。 13万行 http://www.citrix.com/English/ps2/products/feature.asp?contentID=1686939 http://caml.inria.fr/pub/ml-archives/caml-list/2009/11/d80201600e5f91fbe48ce4856c034a71.en.html http://ocamlnews.blogspot

Write Yourself a Scheme in 48 Hoursの最後の二章をやっていく。入出力と標準ライブラリ作成。 第九章：入出力 stdin, stdoutやファイルに対する入出力を実装する。 github.com 例によって「Haskellだとモナドが出現していろいろ型を頑張らないといけないけどOCamlだから・・・」という案件。 HaskellではIOモナド型のために新しいIOFunc式を用意したりしているが、OCamlだと普通に今まで通りPrimitiveFuncに放り込んでいける。 type expt = (* 省略 *) | PortIn of in_channel | PortOut of out_channel と入出力用のchannelをラップしたPortIn/PortOut式は用意する。あとはIoモジュールでそれを使う関数を定義し、primitives.mlで

Pyret is a programming language designed to serve as an outstanding choice for programming education while exploring the confluence of scripting and functional programming. It's under active design and development, and free to use or modify. Examples Why Pyret? Set Sail News & Discussion data BinTree: | leaf | node(value, left, right) end fun tree-sum(t): doc: "Calculate the sum of node values" ca

Reason 面白そうだったので、ちょっと触った感想を残す。 まとまってなかったり、情報が古かったりする可能性もあるので注意下さい。 1. BuckleScript Reason を知る前に、まずは BuckleScript を知る必要があった。 What & Why - Intro - BuckleScript Concepts Overview - Intro - BuckleScript BuckleScript は、OCaml Compiler の為の新しい Backend ( 中間形式からコードを生成する部分 ) で、OCaml ( or Reason ) を受け取って、Javascript を生成する。 OCaml と Javascript のスムーズな統合 を志向しており、相互運用性を高めるためのアイデアが各所に散りばめられている。 Readable な Javascript