関数型言語によるソフトウェア開発技法

弊社社員が開発した製品、ライブラリ、パッチや、既存のオープンソースライブラリの利用法を公開する予定です。

日経BP ITPro の Scala記事

日経BP社 ITPro 「刺激を求める技術者に捧げるScala講座」 の一部に、弊社社員が寄稿しております。 ITPro会員の方のみお読み頂けます(登録無料)。

O'Caml on Android ： メモリ安全/型安全なAndroidネイティブ開発

弊社社員が、OCaml の Android 向けクロスコンパイラ化パッチ O'Caml on Android を開発しています。 速度が要求されるAndroidのネイティブアプリケーションの開発において、OCamlの安全性の恩恵が得られます。 (参考リンク)

Androidアプリ OCaml Toplevel on Android が公開されました。 Android 上で OCamlのインタープリタを試すことができる試験的なアプリケーションで，Android Market よりダウンロードできます。 ソースコードは bitbucket で公開されています。

(近日公開予定)

関数型言語の組込みソフトウェア開発への適用に向けて

弊社社員が第12回組込みシステム技術に関するサマーワークショップ(SWEST12) に参加した際のポジションペーパーを公開します．

ダウンロード(PDF)

ocamljs による高信頼なJavaScriptコードの生成

ocamljsは、Jake Donham 氏により開発された OCaml から JavaScript へのコンパイラです。

ocamljs により、JavaScript の欠点である モジュールシステム と 型システム の欠如が解決できます。 大規模な JavaScript アプリケーションを 安全に構築できることが期待されます。 弊社は ocamljs により インタラクティブで複雑な HTML5 / CSS3 アプリケーションを構築し、納品致しました。 ocamljs を使った開発について、設計から納品までを詳細に説明します。 (参考リンク)

(近日公開予定)

concurrent-cell ： OCamlのための並行ライブラリ

(ソフトウェア科学会PPL2009においてポスター発表)

弊社社員が、OCamlのマルチスレッドプログラミングのためのライブラリ concurrent-cell を 開発いたしました。 OCamlをIVar/MVarなどの 便利なスレッド間通信機能で拡張します。 ソースコードは公開されており、 OCamlForge より取得できます。

(近日公開予定)