ocaml-nagoyaグループ

ocaml-nagoyaグループ

名古屋で活動しているOCamlの勉強会グループ。 OCamlに限らず、関数型言語に関する話題一般を扱っている。 僕たちと一緒に型推論しませんか?

ocamltter

こちらへ移動しました。 http://proofcafe.org/wiki/ocamltter

cryptokit

cryptokitは暗号プロトコルを実装するために使用する様々な暗号の基本的な関数を提供するOCamlのライブラリです。 OCamlの主要開発者である Xavier Leroy 氏によって書かれたライブラリで...

Camlp4

Caml Pre-Processor and Pretty-Printer。Lispのマクロのように、OCamlの文法を拡張できる。 OCaml 3.09以前と3.10で互換性を持たない。 用語 Camlp4 3.10 3.10以降のOCamlに付属するCamlp4のこと...

FUSEでファイルシステムを作ろう

プレゼンテーション 開始 開始(マウスモード) ■ 無限に広がるファイルシステム・・・ それは人類に残された 最後の*戦場*である!!! (どど〜ん) ■ FUSE ...

haXe

"ヘックス" または フランス風に "エックス" と読む(らしい)。 javascript, NekoVM, swf, PHPにコンパイルできるマルチプラットフォームな関数型言語。 ML同様、代数的データ型を持ち、静...

claなんとか

id:clairvyさんのこと。

メンバー一覧

d:id:osiire d:id:syd_syd d:id:suer d:id:Gemma d:id:yoshihiro503 d:id:zyxwv d:id:clairvy d:id:mzp K

リンク集

ocaml-nagoya Lingr Lingrログ ocaml.jp OCaml公式

OCamlSpotter

d:id:camlspotterさんによるOCamlコンパイラ拡張。 -annotオプションをつけることで、*.annotファイルに各変数の参照先が書き出される。 将来的には、OCaml本体に取り込まれるとのこと。 ...

omake

http://omake.metaprl.org/index.html OCamlで書かれたビルドツール。 標準で、OCaml、C、LaTeXのビルドルールが組み込まれているので、 # foo.ml bar.ml baz.mlからmainをビルドする OCamlProgram(main, foo ba...