トップ
編集
凍結
添付
新規
単語検索
ヘルプ
study-link
http://proofcafe.org/ocaml-nagoya/index.php?study-link
トップページ
OCaml Tips
モジュールシステム紹介
let多相紹介
ヘテロなリスト
幽霊型
OCamlでモナド
再帰型(Equi-recursive)
サンタクロース問題
デーモンの例
Expression Problem
ivarの必要性
OSC2008In名古屋
ネタ記録庫
継続
SEND+MORE=MONEY
数独
不動点コンビネータ
AA折れ線グラフ
Coq
Agda
Haskell
JavaScript
OCaml
その他のプログラム言語
圏論(ドンパニ)
その他
関数型言語によるWeb開発
ScalaByExample(訳)
限定継続
お勉強リンク
発表資料
活動記録
最新の20件
2016-02-23
study-link
2015-05-06
web-dev
2015-05-04
wiki
2014-03-12
ocaml-nagoya
2012-05-22
ネタ記録庫/OCaml/暗号化
2012-03-16
SMLSharp/MinGWビルド
2012-03-03
ネタ記録庫/Scala/Lift/CloudBees
ネタ記録庫/Scala/Lift
2012-02-27
OCamlは使えるぞ
2012-02-03
ネタ記録庫/Scala/Lazy型
ネタ記録庫/Scala/Android/sbt-0.11.2
ネタ記録庫/Scala/Android/sbt-0.10
ocaml-android
2011-12-28
ネタ記録庫/Scala/Android/Android SDKとエミュレータのインストール
2011-12-10
ネタ記録庫/OCaml
RecentDeleted
ProofCafe
2011-10-10
ネタ記録庫/Scala/dispatch
2011-09-29
ネタ記録庫/SML/SML#のインストール
2011-09-28
ネタ記録庫/SML/SMLNJのインストール
Thanks
YEAR OF THE CAT
日本語
メーリングリスト
英語
本家
camlp4
その他
日本語
†
Objective Caml 入門 (五十嵐先生)
OCaml プログラミング入門
九大
OCaml.jp
「ま」ってことにして。/OCaml
Akihito Nagata's Page/OCaml
jijixi's diary 初心者が書いた OCaml 入門
OCaml プログラミングメモ
Garrigue先生のサイト
Garrigue先生が、
PPL Summer School 2006
の幹事をなさるそうです。
Developing Applications With Objective Camlとかいう本の日本語訳(途中)版
Cとの橋渡しとか,まだ訳されてないけどマインスイーパを作ろうとか載ってるようです.
Using, Understanding, and Unraveling The OCaml Language
ITPro/本物のプログラマはHaskellを使う by shelarcy氏
第2回 多相性(ポリモーフィズム)への理解を深める
第3回 mapからモナドを理解する
第4回「取り出し可能な値」のみを持つListモナド
第5回 ListではなくMaybeを使う意義
第1回 OCamlを試してみる by 住井先生
第2回「単一代入」と「末尾再帰」
第3回 計算量の工夫でプログラムは劇的に速くなる
第4回 関数型言語とオブジェクト指向,およびOCamlの"O"について
第5回 LablGLで3Dグラフィックス〜OCamlの「多相バリアント」と「ラベル付き引数」〜
第6回 OCamlの「モジュール・システム」
第7回「代数データ型」でいろいろなデータを表してみる
第8回 独自のプログラミング言語を開発してみよう(その1)
↑
メーリングリスト
†
ocaml
(日本語),止まっている マニュアルの和訳プロジェクト等
↑
英語
†
↑
本家
†
本家
OCaml ExtLib Home Page
標準ライブラリを補完するライブラリ。結構有名。
Regexp/OCaml
正規表現ライブラリ。米澤研の大岩さん作。(現在は産総研に移られた模様)
Ocaml-Tutorial.org
こっちは日本語
http://www.ocaml-tutorial.org/ja
日本語のほうは未完成のようです。
翻訳を手伝いました。今は結構そろっています。 - げんま
Programmation en Caml pour D醇Pbutants(初心者のためのCamlプログラミング; フランス語)」
Team Gallium
開発チームのページかな?
↑
camlp4
†
camlp4に関する解説
http://martin.jambon.free.fr/extend-ocaml-syntax.html
camlp4拡張構文集
http://martin.jambon.free.fr/p4ck.html
camlp4: Major changes
http://gallium.inria.fr/~pouillar/camlp4-changes.html
↑
その他
†
住井先生のλ計算に関する簡単な記事
Standard ML and Objective Caml, Side by Side
SMLとOCamlの構文の違い。(両方をやらざるを得ない人のために)
expression problem
Wadler氏による expression problem の話。Garrigue先生からこのURLを教えてもらいました。problemの解としてpolymorphic variantを念頭において読むと分かりやすいと思います。
http://okmij.org/ftp/ML/ML.html
--
ogasawara
?
2007-01-27 (土) 22:06:57
暗記用ITデータ/ITの一般的素養向上用
山口慶太さんの個人サイト/OCaml
Last-modified: 2016-02-23 (火) 00:23:58 (3205d)
Link:
メーリングリスト
(6100d)