CamlP4 が何やっているか知りたいときどうするか - camlspotter’s blog
一番よいのは CamlP4 が何を出力しているか見ることです。 例として OCamltter の Twitter API の JSON 表現と OCaml の型との間を取り持つ api11.ml がどうなっているか見てみましょう。 type 'a t = { previous_cursor : Json.t; next_cursor : Json.t; next_cursor_str : string; previous_cursor_str : string; contents : 'a mc_embeded; } with conv(json, ocaml) この型宣言の with conv(json, ocaml) の部分は CamlP4 の拡張の部分で、型定義からなにかしらコードを生成しています。 $ rm lib/twitter/api11.cmo $ omake --verbo
OCaml◎Scope is now an OCaml heroku app!
OCaml◎Scope, a new OCaml API search, is now a service running at http://ocamloscope.herokuapp.com! Change list: Now it no longer uses CamlGI but Eliom as the web engine. Eliom is much safer and easier to write! DB carries 245302 entries from 76 OCamlFind packages. Search algorithm tweak to get better results in shorter time More query forms (see Examples)
MinCamlをLLVMに対応させました - みずぴー日記
きつねさんでもわかるLLVM【電子書籍】柏木餅子, 風薬 達人出版会 発行日: 2013-02-08 対応フォーマット: EPUB, PDF 詳細を見る 先日、表紙がかわいかったので、「きつねさんでもわかるLLVM」を買いました。 なので、MinCamlを改造して、バックエンドにLLVM対応コードを追加してみました。 とりあえずテステケースは全部通ったので、まとめておきます。 MinCamlとは 別名「美しい日本のMLコンパイラ」。住井先生によるMLサブセットであり、以下のようなコードを書けます。 let rec fib n = if n <= 1 then n else fib (n - 1) + fib (n - 2) in print_int (fib 30) 詳しくは解説スライドあたりを読んでください。 やったこと バックエンド部分をLLVMにきりかえた。 LLVMの作法に合せるた
OCaml from the Very Beginning
Ocaml from the Very Beginning is a book about programming in the OCaml language. Amazon $39.99 or less, or free of charge in PDF or HTML formats, thanks to funding from the OCaml Software Foundation. In OCaml from the Very Beginning John Whitington takes a no-prerequisites approach to teaching a modern general-purpose programming language. Each small, self-contained chapter introduces a new topic
OCaml◎Scope : a new OCaml API search by names and types
The first public preview version of OCaml◎Scope is now available at http://ocamloscope.herokuapp.com. It supports: Fast: on memory DB. Friendly with OCamlFind packages: names are prefixed with the OCamlFind package name it belongs to. Friendly with OPAM: each OCamlFind package knows which OPAM package installed it. Auto extraction of OCamlDoc comments. Edit distance based path and type search. Cur
OCaml のソースコードの型を表示したり定義にジャンプしたりする Vim のプラグイン作った - 反省はしても後悔はしない
この記事は Vim Advent Calendar 2012 の 185 日目の記事です。 昨日は id:deris さんの Vimでできる脱出系パズルゲーム でした。 はじめに OCaml という静的型付けの関数型言語があります。同じく静的な型をもつ関数型言語である Haskell とは異なり、副作用をもつ関数を定義したり破壊的な操作も行うことができます。 ところが、OCaml 界隈ではどうやら Emacs がデファクトのエディタらしく、Vim での開発環境の情報は非常に少ない、またあったとしも情報が古くなっているものが大半というのが現状です。 参考 OCaml.jp > 開発環境 (追記：更新されたみたいです) 私は Vim でも OCaml をやりたいと思い、プラグインを開発することにしました。 OCamlSpotter (ocamlspot) について 実は、OCaml のソースコ
The OCaml installer for Windows
This installer is out of date This installer no longer works. Do not use it. Here's some suggestions: Andreas Hauptmann's installer is very solid and does a great job of doing what this installer once did. It also gives you a working OPAM, thanks to Andreas' excellent work in patching every single package in existence to work on Windows. What you're getting is a custom (old) OPAM that was patched
[OCaml]書評「プログラミングの基礎」 - あどけない話
僕はよく「関数プログラミングの入門書には何がいいか」という質問を受ける。そのときは必ずこの本(と他のいくつか)を答えるようにしている。書評を書いたつもりになっていが、検索してみると書いてないようなので、反省して良書を紹介してみようと思う。 プログラミングの基礎 ((Computer Science Library)) 作者: 浅井健一出版社/メーカー: サイエンス社発売日: 2007/03/01メディア: 単行本購入: 17人 クリック: 409回この商品を含むブログ (127件) を見る 本書はプログラミングの経験のない人を対象としており、書名通りプログラミングの基礎が説明されている。使用する言語は OCaml である。著者の浅井先生は、お茶の水女子大学でプログラミングを教えている。授業の経験を元にした本にはよくあることだが、内容が実に整然としており、例題がこなれている。 初心者を対象と
![[OCaml]書評「プログラミングの基礎」 - あどけない話](https://cdn-ak-scissors.b.st-hatena.com/image/square/451dddca47edb994c19bc07dc37173626dd1b4b7/height=288;version=1;width=512/https%3A%2F%2Fimages-fe.ssl-images-amazon.com%2Fimages%2FI%2F51FBsJHo4EL._SL160_.jpg)
Efficient and Insightful Generalization
How OCaml type checker works -- or what polymorphism and garbage collection have in common There is more to Hindley-Milner type inference than the Algorithm W. In 1988, Didier Rémy was looking to speed up the type inference in Caml and discovered an elegant method of type generalization. Not only it is fast, avoiding scanning the type environment. It smoothly extends to catching of locally-declare
1モジュール1データ型主義 - camlspotter’s blog
OCaml の「1モジュール1データ型スタイル」。このプログラミングスタイルは21世紀に入ってからモジュールを多用する OCaml コミュニティで流行りだしたもので私も採用しています。源流は SML 方面にあると聞きましたが…私自信は確認していません。要出典です。 「1モジュール1データ型スタイル」の意味するところは簡単です: データ型一つ一つにモジュールを一つ一つ作る。 モジュール名は型の意味する名前をつける。人なら Person。 モジュール内で定義するデータ型は常に t という抽象的な名前にする。 t を主対象とする操作はモジュール内で定義する。 ただし、全ての OCaml プログラムはこのように書かれるべし、というものでもありません。 例えば、 OCaml のコンパイラのソースコードはこのスタイルでは全く書かれていません。 「1モジュール1データ型スタイル」の利点は: モジュール名
OCamlの開発環境の作り方 2012年暮れ版 - osiire’s blog
この記事はLL/MLアドベントカレンダーの記事です。 一時期停滞していたOCamlの開発環境は最近進化してきています。2012年暮れ時点における知見をまとめてみましょう。なお、これらの進化はOCaml開発チームはもとより、OCamlPro, @camlspotter氏、@m2ym氏の多大な貢献によるものです。 OPAM OPAMはGODI,OASISと同様OCaml専用のパッケージマネージャーです。従来システムに比べて使いやすさが格段にアップしています。現時点ではパッケージマネージャとしてOPAM一択で問題ないでしょう。 http://opam.ocamlpro.com/ (aptやyumに似た)単純で使いやすいコマンドラインインターフェイス。 ビルドシステム非依存でOPAM化が簡単。 デフォルトリポジトリがgithub上にありPRできる。 ダウンロード&インストール： $ wget ht
OCaml 開発環境について ~ コンパイラに付属しない非公式ツールたち - camlspotter’s blog
2012年12月での関数型言語 OCaml コンパイラ一式には入っていない 内部もしくは外部開発されたのツール群の紹介を行う。 例によって多岐に渡るので、一つ一つの詳しい説明は行わない。 各ツールの細かい情報はそれぞれのドキュメントを参照して欲しい。 リンクは貼るの面倒だからググって。 もし知らないツール名があったらちょっと読んでみて欲しい。 もしかしたらあなたの問題を解決するツールがあるかもしれないから。 ライブラリとツールの中間のようなコード生成系も取り上げた。 あくまでも基本的に私が触ったことのある物しか紹介しないから、 そっけなかったりするのはあまり触ってないということ。 なんでこれはなんで取り上げてないの？と思ったら、それは使ったことないから。ごめんね。 不満があったら自分で紹介記事書いてください夜露死苦! ★は重要度。五点満点。 コンパイラ同梱のツールの紹介はもうした。 htt
Meta_conv による OCamlデータ型 と 樹状データ の相互変換自動生成 - camlspotter’s blog
Web にアクセスするプログラムを書いていると良く JSON というデータを扱う ことがあります。JSON とは世間で何と言われているかわかりませんが OCaml では: type t = | String of string | Number of float | Object of obj | Array of t list | Bool of bool | Null and obj = (string * t) list 簡単ですね。まあ S式に毛の生えたようなものです。 型の無い世界の人はこの簡単な型でもって、何でもかんでも表現しているみたい。 例えば、このデータは必ず整数リストだという仮定があっても JSON では本当に データが整数リストであるか、どうか、確かめなきゃいけない。大変ですねー。 じゃあ OCaml だと楽かというと、やっぱり大変です。 JSON のデータをパースし
OSXへOCamlの開発環境構築し直した - tmaeda 日記(2012-10-28)
_ 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に移行してもいいのかなーと思ったけど、まだめんどくさくてや
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Real World OCaml
Try OCaml
http://ocaml.jp/?plugin=attach&refer=Users%20Meeting&openfile=ocsigen-omt2009-black.pdf
GitHub - mzp/heroku-buildpack-ocaml: OCaml buildpack for Heroku
OCaml 4.00.0 on iOS Is Released
GitHub - OCamlPro/opam: OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
