OCaml 開発環境について ~ OCaml コンパイラソース付属ツール - camlspotter’s blog
2012年12月での関数型言語 OCaml コンパイラ一式をインストールした際に付属する「公式」ツール群の紹介を行う。多岐に渡るので、一つ一つの詳しい説明は行わない。各ツールの細かい情報はそれぞれのドキュメントを参照して欲しい。 もし知らないツール名があったらちょっと読んでみて欲しい。もしかしたらあなたの問題を解決するツールがあるかもしれないから。(特に caml-types.el) ★は重要度。五点満点。 外部ツールの紹介はまた今度ね。 錦小路と堺町通のあたりで見かけた。見ただけなんでイタリアンで駱駝なのかはわからない。 OCaml コンパイラ 現時点での公式最新バージョンは 4.00.1。 4.00.1 は基本的に 4.00.0 のバグフィクスリリース。 4.00.0 では GADT と 3.12.1 より使い易い first class module が入っている。 このところ OC
Archives of the Caml Mailing list: Re: Functional composition o
Re: Functional composition operator? From: Pierre Weis (Pierre.Weis@inria.fr) Date: Tue Dec 08 1998 - 18:02:21 MET Next message: Andrew Kay: "RE: Functional composition operator?" Previous message: John Whitley: "Functional composition operator?" Next in thread: Andrew Kay: "RE: Functional composition operator?" Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] From: Pierre Weis <Pier
on F#
On F# By chance I have got interested in F#, although I have been and will be a happy O'Caml programmer. In fact I have never imagined that I would seriously try to use programming languages which do not support polymorphic variants. They are too useful to miss! Yet of cource it is useful to learn other languages and I will keep possibly biased notes on F# as long as I have good appetites. Please
Coherent Graphics: CamlPDF
UK: 617 Fox Hollies Road, Hall Green, Birmingham, B28 9DR
Ocaml リファレンス
3.09.3 がでています。マニュアルが派手だなぁ。(どういう印象だ) recursive module ってはいってたのかぁぁぁ。Caml Weekly Newsでの記事 ocamlc -dtypes でコンパイルして、Emacsでソースを開いて、 式の上でマウスの真中ボタンをおすと、なんだかうれしくなります。 注: 関数型言語としてのOcamlを学ぶにはまず 五十嵐先生のページなどをみて下さい 手っ取り早くMLを勉強したければこちら超特急、超入門。超、超。。。 目次 Language Imperative features (1.5) 配列(Array) 再帰以外の繰り返し Labels(2.1) Optional arguments (2.1.2) Classes and objects (3.1) Class定義 Instanceを作成 メソッドへのアクセス Reference t
combinator - Nobuhisa's diary
コンビネータとは自由変数を含まないλ項のことをいいますが、Yコンビネータ以外あまり取り上げられていない気がするのですが、これも100年に1度の金融危機の影響かとか、WBC楽しみですねだとか、そういえば今年雪祭り行けなかったんですよとか、最近携帯変えましたとか色々あるのですが、自分の練習もかねて、そんなコンビネータ達と戯れたいと思います。 沢山ある！ Y以外にも広く知られている（？）コンビネータはいっぱいあるようですが、その中からいくつか。 I ≡ λx.x K ≡ (λx.(λy.x)) //以下、簡単に λx y.x と書きます F ≡ λx y.y M ≡ λx.xx S ≡ λx y z.xz(yz) B ≡ λx y z.x(yz) C ≡ λx y z.xzy L ≡ λx y.x(yy) Y ≡ (λx.xx)(λx.xx) (SLL) （当てるアルファベットが違うのはたまに見
OCaml/guideline - U-Wiki+
Caml Programming Guideline 和訳 原文 本ページの和訳は未許可翻訳ドラフト版です。 This Japanese translation document is a draft, which is not yet permitted to make public by original authors. Japanese translation by M.Ukai (ukai at sansu dot org). Caml プログラミングガイドライン これはCamlプログラムの体裁を整えるための、 ベテランのCamlプログラマのコンセンサスを反映したガイドライン集です。 が、誤りや漏れの指摘は喜んで受け入れます。 コメントはここに送ってください: webmaster @ caml.inria.fr オリジナルの英訳者: Ruchira Datta このページに批評を
代数的データ型 - Wikipedia
代数的データ型（だいすうてきデータがた、英: algebraic data type）とはプログラミング、特に関数型プログラミングや型システムにおいて使われるデータ型である。それぞれの代数的データ型の値には、1個以上のコンストラクタがあり、各コンストラクタには0個以上の引数がある。 代数的データ型の値（データ）の感覚的な説明としては、引数で与えられた他のデータ型の値を、コンストラクタで包んだようなもの、である。コンストラクタに引数がある代数データ型は複合型（他のデータ型を組み合わせて形成する型）である。
不動点演算子ふたたび - sumiiの日記
（追記：Ｙコンビネータって何に使うの？） Yコンビネータ（Curryの不動点演算子）を説明するのがプチブーム（死語）らしいので、ふたたび挑戦。 まず、ふつーに再帰関数factをSchemeで定義してみる。 (define fact (lambda (n) (if (= n 0) 1 (* n (fact (- n 1))))))この定義は、右辺にfact自身が出現するので、再帰的定義なのであった。ここから右辺にfactが出現しないようにするのが目標。とりあえず、factを関数の引数として外から受け取るようにしてみる。 (define make-fact (lambda (my-fact) (lambda (n) (if (= n 0) 1 (* n (my-fact (- n 1)))))))これは( (make-fact fact) 10)みたく使えるが、make-factを呼び出す際に
関数型プログラミング
関数型プログラミングとは? チュートリアルも、かなり進んできたが、まだ関数型プログラミングについて深く考えたことがない。これまでに教えた機能をあまさず使うことを考えれば - 豊富なデータ型、パターンマッチング、型推論、入れ子関数 - これはもう、"超C言語"みたいに思えてくる。これらはたしかにクールな機能で、あなたのコードを、わかりやすく、読みやすく、それでいてバグは少なく、してくれる。しかし、それらは実は、関数型プログラミングとは、ほとんど関係がない。私の主張としては、関数型言語がすばらしい理由は、関数型プログラミングだからではない。それよりも、私たちがCライクの言語に長年、足をとられていたからということと、その間にプログラミングの最先端が目に見えて動いたからだ、というのが大きいと思う。私たちは、struct { int type; union { ... }を何度書いたことだろう。その
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
OCaml API search
CamlGI
Ocaml Projects
Objective Caml 入門
初心者が書いた OCaml 入門
Objective Caml 入門
速攻MinCamlコンパイラ概説
サービス終了のお知らせ