OCamlを学ぶには、まず何から手を付けたらいいでしょうか？ あなたなら何をしますか？ 私はこれまで、恐らく10数回はOCamlを覚えようとしました。そして手を付けては諦め、また付けては諦めの繰り返しで、ついには数えるのをやめてしまったくらいです。 でも、今回は続いています。ひょっとすると、コミュニティそのものに何か根本的な変化があったのかもしれません。 私にとって功を奏したのが実際は何だったのか、以下に考察してみたいと思います。 役に立つ本は？ 『 Real World OCaml （以下、RWO）』がお勧めです。というよりも、 それ以外にお勧めはありません 。RWOは、私の生涯の中でも1、2を争うことができるくらいのコンピュータ言語解説書です。 ちなみに、その他にも解説書はありますが、大体が不正確な内容を含んでいるか、あるいはフランス語で書かれているかなので、 読まない 方がいいでしょ
Vim の次期バージョンである Vim 7.4 *1から、デフォルトの ftplugin/ocaml.vim が変わります。 というかデフォルトのやつがいろいろひどかったので僕がパッチを書きました。 パッチを書くにあたり、github の vim-jp の人たちにいろいろ教えてもらいました。ありがとうございました。 変更点 global なマッピングを排除してすべて buffer-local なマッピングに 一番許せなかったやつです。型を表示させる <LocalLeader>t がなぜか global なマッピングになっていましたが、最新版では buffer-local になっています。 すべてのコマンドに <Plug> によるインターフェースを追加 既存のキーマップを変えたい場合に便利です。 <Plug>マッピング デフォルトの割り当て 機能 <Plug>OCamlSwitchEdit
F# at Microsoft Research - Microsoft ResearchについてきたTutorial.fsを読みながら、F#とOCamlの違いついてメモしてみます。 拡張子が.fs OCamlは.mlだけど、F#は.fs。 コメントが// OCamlのコメントは(* ... *)だけど、F#は//。 範囲 let oneToTen = [1..10] 内包表記 /// The squares of the first 10 integers let squaresOfOneToTen = [ for x in 0..10 -> x*x ] ディクショナリ let lookupTable = dict [ (1, "One"); (2, "Two") ] let oneString = lookupTable.[1] パイプライン 2008-11-12の+>と同じですね。
OCamlで書いてC言語に変換するプログラム、最低限入れたかった機能を実装して一応形になりました（ソースコードはこちら）。プライベートな時間をちまちま使って作ったので思ったより時間がかかってしまいました。最初にブログで紹介してから1年半もたちました。 OCamlをC言語に変換するプログラムをつくりました - masaterukの日記 サポートしている基本型は、Int型とBool型のみ。レコード型とバリアント型も使えます。型変数による多相型も定義できます。リスト型だけ組み込みでサポートしました（ただしライブラリはありません）。 関数を定義するときには、再帰関数でなくてもlet recとするのはMinCamlと同様です。ラムダは書けませんが、クロージャはサポートしてます。matchによるパターンマッチをサポートしているので、だいぶ書けるものが増えました。 たとえば、Haskellの例でよく引き
(その変態的シンタックスに慣れれば) 結構早くプログラムが理解できるとうわさの OCaml ですが、他人の書いた OCaml ライブラリを読んだり、自分が書いた物でも、コード規模が大きくなってきたりすると、 どこかにあるハズの定義が見つからねぇ ってことが多くなってきます。例えば、 open M open N ... 何百行もある ... let compute () = ... X.f ... っていうソースがあったとして、 X.f の定義を探したいとき、どうしますか？普通は、こんな感じでやります: x.ml というファイルがあれば、多分その中に f というのがあるはず => x.ml なんて無い じゃあ、「何百行もある」の中にモジュール X が定義されてるかもしれないから、エディタでサーチする => 無い あれー？じゃあ、どっか別のディレクトリの中に x.ml があるのか？ find
2012年12月での関数型言語 OCaml コンパイラ一式には入っていない 内部もしくは外部開発されたのツール群の紹介を行う。 例によって多岐に渡るので、一つ一つの詳しい説明は行わない。 各ツールの細かい情報はそれぞれのドキュメントを参照して欲しい。 リンクは貼るの面倒だからググって。 もし知らないツール名があったらちょっと読んでみて欲しい。 もしかしたらあなたの問題を解決するツールがあるかもしれないから。 ライブラリとツールの中間のようなコード生成系も取り上げた。 あくまでも基本的に私が触ったことのある物しか紹介しないから、 そっけなかったりするのはあまり触ってないということ。 なんでこれはなんで取り上げてないの？と思ったら、それは使ったことないから。ごめんね。 不満があったら自分で紹介記事書いてください夜露死苦! ★は重要度。五点満点。 コンパイラ同梱のツールの紹介はもうした。 htt
一昨年から少しずつ書かれていた OCaml プログラミングの本、 Real World OCaml (以下 RWO)がついに public beta になり公開されました。 ( https://realworldocaml.org/beta1/en/html/ ) 版元の O'Reilly ではこのベータ版の状態の e-book が 今なら安く手に入ります。完全版には後から無料でアクセスできるように なるそうです。( http://shop.oreilly.com/product/0636920024743.do ) ！！！！！安く買いたい人は http://shop.oreilly.com/category/deals/early-release.do?code=WKERRLS をよく読んでね！！！！！ この本は、今まで外に伝わりづらかった OCaml プログラミングの最前線の一面を 伝
_ OSXへOCamlの開発環境構築し直した 今年はOCamlの4.0系が出たり、opamというかなりイケてるパッケージ管理システムが出て来たりしたので、 OCamlの開発環境を作り直した。 typerex というのも今年出たので気になってるんだけど、私の環境では3.12.1ではビルドが通らないし、 4.00.1だとビルドは通るけど、emacsとサーバーが通信始めると例外が起きるので、様子見中。 というわけで、相変わらずtuaregなのであった。 前提とする環境は以下。 MacBook Air 11inch 2012 OSX 10.7.5 Lion Xcode 4.5.1 GNU bash 3.2.48(1) Emacs 23.3.1 anything.el 1.287(sprk2012でhelm.elを見て、そろそろhelm.elに移行してもいいのかなーと思ったけど、まだめんどくさくてや
この記事は Vim Advent Calendar 2012 の 185 日目の記事です。 昨日は id:deris さんの Vimでできる脱出系パズルゲーム でした。 はじめに OCaml という静的型付けの関数型言語があります。同じく静的な型をもつ関数型言語である Haskell とは異なり、副作用をもつ関数を定義したり破壊的な操作も行うことができます。 ところが、OCaml 界隈ではどうやら Emacs がデファクトのエディタらしく、Vim での開発環境の情報は非常に少ない、またあったとしも情報が古くなっているものが大半というのが現状です。 参考 OCaml.jp > 開発環境 (追記：更新されたみたいです) 私は Vim でも OCaml をやりたいと思い、プラグインを開発することにしました。 OCamlSpotter (ocamlspot) について 実は、OCaml のソースコ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
