OCaml 基礎最速マスター — Scratch Leaf — MAYAH.JP
OCaml は Haskell とは違って純粋でない関数型言語です。ML (Meta Language) という言語ファミリーの方言の一つで、フランスの INRIA という研究所で開発されています。速度を稼ぐために命令型のように書こうと思えば書けるし、遅延評価もデフォルトではしません。その分、practical なアプリケーションが書きやすくなっています。 他の言語をある程度知っている人はこれを読めば OCaml のとりあえずの基礎をマスターして OCaml を書くことができるようになります。多分。関数型言語の知識は仮定していません。C/C++ ぐらいの知識があれば読めると思います。元の Perl 基礎文法最速マスターではリファレンスぽい作りですが、チュートリアルぽくなってしまいました。 なお、読んでいると分かりますが、色々とめんどくさいことが多いように感じます。しかし、これをちゃんと書く
型レベルプログラミング会議 - keigoiの日記
# トラックバックをバラまいてしまいました m(_ _)m スミマセン… 型レベルプログラミング会議 に行ってきました。 帰りの新幹線でこれを書いています。随時更新予定。 私の発表 最後の TCast がメインなのですがそれはソース参照 スライド1とHaskellソース http://www.agusa.i.is.nagoya-u.ac.jp/person/sydney/typelevel/ スライド2 http://www.itpl.co.jp/ocaml-nagoya/index.php?plugin=attach&refer=%B3%E8%C6%B0%B5%AD%CF%BF%2F20081022&openfile=fundeps.pdf 型レベル継続渡し(CPS) http://d.hatena.ne.jp/keigoi/20081209/p1 発表はホメてくれる人もいらっしゃいまし
Index of /~asai/book-data
Index of /~asai/book-data NameLast modifiedSizeDescription Parent Directory - Makefile2008-07-31 10:42 386 chap01.ml2008-07-31 09:36 61 chap02.ml2008-07-31 09:36 792 chap03.ml2008-07-31 09:36 228 chap04.ml2008-07-31 09:36 728 chap05.ml2008-07-31 09:36 560 chap06.ml2008-07-31 09:37 434 chap07.ml2008-07-31 09:37 404 chap08.ml2008-07-31 09:37 1.1K chap09.ml2008-07-31 09:37 572 chap10.ml2008-07-31 09
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Exercise