第11回 クロージャによる超軽量並行プロセスの簡単実装法
最近，ネットの一部で「Erlang」（発音はアーランまたはエアラン）というプログラミング言語が流行している（参考リンク）。Erlangはスウェーデンの通信機器メーカーであるエリクソンにて開発された言語で，エリクソン内部や通信業界はもちろん，Twitter（関連記事）などのオンライン・サービスでも採用されているという。 Erlangの特徴は，複数のプロセスが通信をしながら計算をする「並行プログラミング」を，言語の機能として強力にサポートしていることだ。C言語などの逐次プログラミング言語は，プロセスや通信の機能を内蔵しておらず，こうした機能をオペレーティング・システムに「外注」している。しかし，そのような外付けの仕組みは，メモリー消費量や速度，開発効率などの点でオーバーへッドが大きい。Erlangのような並行プログラミング言語では，プロセスや通信といった機能をプリミティブとして実装することによ
数理科学的バグ撲滅方法論のすすめ 第4回 関数型言語とオブジェクト指向，およびOCamlの"O"について
関数型言語とオブジェクト指向は相容れない，という説をよく聞く。たしかに「オブジェクトは状態を持つ」「関数型プログラミングでは，できるだけ破壊的代入を行わない」とすれば，二つの概念は矛盾しているようにも思われる。また，技術的観点以外にも，「とかくシンプルさを好む多くの関数型言語プログラマが，何かと物事を複雑にする（と思われている）オブジェクト指向を嫌っている」という面があるかもしれない。 しかし，個人の好き嫌いはさておき，実際問題として，関数型言語とオブジェクト指向は大いに関係がある。むしろ，基礎理論については，ほとんど同じコミュニティの人たちが取り組んでいる，と言ってもいい。例えば，以下のような研究が，1980年代から現在に至るまで行われている。 関数型言語のモデルであるλ計算という体系において，オブジェクトを表現する研究（参考リンクなど） λ計算にならい，（プロトタイプベースの）オブジェ
第1回 OCamlを試してみる
「プログラミング言語理論」という研究分野がある。この分野の研究者たちは，「ML」「Haskell」「Scheme」あるいは「λ計算」「π計算」（円周率計算のことではない）など，多くのプログラマにとっては聞いたこともない言語やモデルについて，日夜研究している。そのような言語は，C，C++，Java，Perl，Rubyなど，今の世の中で広く使われている言語とは見た目や考え方が違いすぎて，「難しい」「役に立たない」などと思われがちだった。 ところが，その状況が最近になって微妙に変化している。 HaskellやLispなど「関数型言語」についての記事が，専門の学会誌ではなく，一般の技術誌に掲載された（日経ソフトウエア2006年6月号「Haskellによる関数型プログラミング入門」など）様々なフリーソフトウエアがML，Haskell，Schemeなどで開発されたプログラミング言語の研究者ではなく，普
MetaOCaml Homepage
Welcome to the Rice PLT homepage of MetaOCaml A compiled, type-safe, multi-stage programming language. MetaOCaml is a multi-stage extension of the OCaml programming language, and provides three basic constructs called Brackets, Escape, and Run for building, combining, and executing future-stage computations, respectively. (Please read README-META file in distribution for MetaOCaml's syntax for
Objective Caml 入門
Objective Caml 入門五十嵐 淳 京都大学 工学部情報学科計算機科学コース 大学院情報学研究科知能情報学専攻 e-mail: igarashi@kuis.kyoto-u.ac.jp September�24, 2007 Contents Chapter�1�� 1.1��関数型言語 ML と Objective Camlについて 1.1.1��ML・Objective Caml の特徴 1.2��参考書，資料，マニュアル 1.3��環境設定 Chapter�2�� 2.1��インタラクティブコンパイラを使う 2.1.1��簡単な使い方 2.1.2��その他: ファイルからのプログラムの読み込み・コメント 2.2��基本データ型とその演算 2.2.1��unit型 2.2.2��int型 2.2.3��float型 2.2.4��char型 2.2.5��string型 2
Directory Index
Directory Index Name arith bot equirec fomega fomsub fullequirec fullerror fullfomsub fullfsub fullisorec fullomega fullpoly fullrecon fullref fullsimple fullsub fulluntyped fullupdate letexercise purefsub rcdsubbot recon reconbase simplebool tyarith untyped arith.tar.gz bot.tar.gz equirec.tar.gz fomega.tar.gz fomsub.tar.gz fullequirec.tar.gz fullerror.tar.gz fullfomsub.tar.gz fullfsub.tar.gz full
jssst-ocaml.mgp
Objective Caml Jacques Garrigue Kyoto University garrigue@kurims.kyoto-u.ac.jp 2 Objective Caml ? Objective Caml GC( ) Standard ML Haskell 3 OCaml ( ) OCaml 5 let let x = 1 + 2 ;; val x : int = 3 ;; val -: let pair = (3, "three");; val pair : int * string = (3, "three") int string 6 let f x y = x+y+1 ;; val f : int -> int -> int = <fun> f 10 18;; - : int = 29 let f = fun x y -> x+y+1 ;; val f : in
Objective CAML Tutorial
This website is a set of practical, detailed tutorials for people who want to learn Objective CAML (often known as just "OCaml"). OCaml is a fast, concise and powerful language for application development - but I assume you already knew that, and I also assume you've managed to install it. If not, you can find out more at the main OCaml webpages or at the OCaml Alliance's getting started area. For
The Caml language: Home
Caml is a general-purpose programming language, designed with program safety and reliability in mind. It is very expressive, yet easy to learn and use. Caml supports functional, imperative, and object-oriented programming styles. It has been developed and distributed by INRIA, a French research institute in computer science and applied mathematics, since 1985. The OCaml system is the main implemen
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
MagicPoint presentation foils
http://www-ise.is.s.u-tokyo.ac.jp/~inagami/class/jikken1/ocaml/index.php
Objective Caml 入門
meta-njpls.key
https://caml.inria.fr/pub/docs/oreilly-book/ocaml-ora-book.pdf