Xavier Leroy - Home page
Hello and welcome to my corner of the Web. I'm a senior computer scientist interested in all scientific aspects of computer programming. I'm a professor at Collège de France, where I hold the chair of software sciences, and a member of Académie des sciences. I'm also a member of the Cambium research team of Inria. News [01/2024] Award: the 2023 ACM SIGPLAN Programming Languages Software Award was
高階関数クイズ - camlspotter’s blog
ちょっとした高階関数を使ったパズルです。前の会社の面接で使おうかなあと思っていたのですが、使う機会もなくなったので。全く別の機会に、高階関数を教えるための例を書いていて、遊んでいたら面白いものを見つけたので覚えていたのです。 # let twice f x = f (f x) これは f という関数と値 x をもらって、f を二回 x に適用する関数です。 次の add1 は引数 x を受け取って、１足して返す関数です。これを twice に使うと、こうなります。 # let add1 x = x + 1 # add1 0 1 # twice add1 0 2 関数型言語に慣れている方なら、twice ((+) 1) 0 でも同じですね。(OCaml を使っていますが、慣れていない方の為に、出力を一部省略しています。# はプロンプトです。コメントじゃありません。あと、入力の後には ;; を
はじめてのにき(2009-10-21)
_ 対関数 sin-x さんに教えてもらう。 http://ja.wikipedia.org/wiki/対関数 よく整数2つの点とかの hash 値をどう計算するか悩むわけなんだけど、 本質的にこの関数はちょっと遅そうだけど、悪くないかも、ね。 ちょっとやってみた。 適当な値域の乱数のペアを大量に作って適当に突っ込む。 http://github.com/shinh/test/blob/da1e28b9fd201ca2d203d3e187cc280e9a8b9f9a/bijection_hash.cc ハッシュ関数としては単なるかけ算、 よくある x + y * prime みたいなヤツ、 それとこの対関数、をそれぞれ使ってみた。 最初の立ち上がり部分は値域がほぼ埋まってるのであんまり関係ない。 単なるかけ算は明らかに悪い。 対関数は密度がある程度あるうちは衝突が少ないおかげかちょっと早そ
PPL2009 のみかいにて - keigoiの日記
マジメな話は省略、主に自分の話だけメモ 飲み会は2日目だけ参加しました。 kinabaさん→id:osiire さん、 「リストの重複を省く関数(多相的)を作るときに Setモジュールが使えない」 OCaml の Set モジュールが多相的に使えない問題。 let uniq xs cmp = let module ASet = Set.Make ( struct type t = 'a (* 'a is unbound *) let compare = cmp end) in ASet.elements (List.fold_right ASet.add xs ASet.empty);; OCaml には scoped type variable がないから駄目なんじゃね？ class の 型引数を scoped type variable として使えない？ ムリポ class ['a]
Apache Thrift - Home
The Apache Thrift software framework, for scalable cross-language services development, combines a software stack with a code generation engine to build services that work efficiently and seamlessly between C++, Java, Python, PHP, Ruby, Erlang, Perl, Haskell, C#, Cocoa, JavaScript, Node.js, Smalltalk, OCaml and Delphi and other languages. Getting Started Download Apache Thrift To get started, down
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
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
Ten Years of Purely Functional Data Structures
In 1998, I published a book called Purely Functional Data Structures. Ten years later, the book is still selling well. (Every time I get a royalty check, my wife the skeptic says “People are still buying that?!”) The ten-year anniversary seems like a good time to reflect back on my experience with this book. Origins My first introduction to functional programming was at Carnegie Mellon University,
第11回 クロージャによる超軽量並行プロセスの簡単実装法
最近，ネットの一部で「Erlang」（発音はアーランまたはエアラン）というプログラミング言語が流行している（参考リンク）。Erlangはスウェーデンの通信機器メーカーであるエリクソンにて開発された言語で，エリクソン内部や通信業界はもちろん，Twitter（関連記事）などのオンライン・サービスでも採用されているという。 Erlangの特徴は，複数のプロセスが通信をしながら計算をする「並行プログラミング」を，言語の機能として強力にサポートしていることだ。C言語などの逐次プログラミング言語は，プロセスや通信の機能を内蔵しておらず，こうした機能をオペレーティング・システムに「外注」している。しかし，そのような外付けの仕組みは，メモリー消費量や速度，開発効率などの点でオーバーへッドが大きい。Erlangのような並行プログラミング言語では，プロセスや通信といった機能をプリミティブとして実装することによ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Archives of the Caml mailing list > Message from Jacques Garrigue
Catch me if you can Towards type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml David Teller LIFO, Universit´e d’Orl´eans David.Teller@univ-orleans.fr Arnaud Spiwack LIX, ´Ecole Polytechnique Arnaud.Spiwack@lix
OCaml - The OCaml Manual
初心者が書いた OCaml 入門
Amazon.co.jp: 入門OCaml ~プログラミング基礎と実践理解~: OCaml-Nagoya: 本
数理科学的バグ撲滅方法論のすすめ---目次 | 日経 xTECH（クロステック）