OCaml の let と let rec はなぜ別扱いになっているのか、決定版、もしくは OCaml 暦十何年だったか忘れたけど仕事で Haskell を一年使ってみた - camlspotter’s blog
はじめに断っておくが、全部Pros/Consのあるデザインチョイスなので、こうじゃなきゃいけないってことではない。ただ、 OCaml はこの選択をした、そいう事だ。 前回の「経験15年の OCaml ユーザーが Haskell を仕事で半年使ってみた」 http://d.hatena.ne.jp/camlspotter/20101212/1292165692 のような易しい文章ではないのでわからない人はとことん判らないだろう。まあ勘弁して欲しい。 あと、面倒だろうが、読む人は全部常体を敬体にして最後に「と思います」をつけて読んでくれ。ください、と思います。 Shadowing は便利であると思っている OCaml の let は非再帰なので以前定義された名前に別の値の束縛をオーバーライドできる。OCaml の人はこれが便利だと思っており皆普通に使っている。詳しくは http://d.hat
Syntax extensions without Camlp4
In this post, I’d like to propose a new approach to extending the syntax of OCaml that does not depend on Camlp4. This proposal is the result of discussions with Xavier Clerc, Fabrice Le Fessant, Maxence Guesdon, and has been presented to the latest meeting of the Caml Consortium. It was also quickly mentioned by Xavier Leroy during his talk at the latest OCaml Users Meeting. Camlp4 makes it possi
OCaml の type alias (type synonym) と non-parametric polymorphism - camlspotter’s blog
OCaml では普通のデータ型の定義 (type t = Foo | Bar や type t = { foo : int; bar : float }) とデータ型の別名宣言 (type alias もしくは type synonym: type int2 = int * int) の区別が希薄になっています。 もちろん内部では違いがごっちゃになっているというわけではなく、バグがあるというわけではありません。ただ、問題は、type alias が新しいデータ型を作ってしまうこと。例えば上述の int2 は、int * int という型と暗黙のうちに変換可能な新たなデータ型として定義されます。(より格好良く言うと、型 int2 と 型 int * int は 単一化可能(unifiable)。) *1 これと、ML のモジュールシステムの隠蔽を組み合わせると、型の意味がモジュールによって変
Slides from Combinators, DSLs, HTML, and F#
A few people have accessed recently if they could have my slides from the “Combinators, DSLs, HTML and F#” talk I gave at functional programming exchange 2009. So I decided to add them to slide share.
Smooth Operators
Edit: Of course the module Num is already present in the standard library. I've renamed the module to Arith. The newly-released OCaml 3.12 includes many extensions to the sub-language of modules. One of the simplest but most practical is the syntax for locally opening modules (let open M in e), and for evaluating expressions in the context of an implicitly-opened module (M.(e), equivalent to the f
可変状態モナドと安全な入出力とセッション型 in OCaml - keigoiの日記
今日は関数型言語の型で副作用(入出力)の制約を表現する、というお話を書きます。 (勢いで書いたので、わかりやすいかどうか不明です。) Safeio in OCaml ガリグ先生による Caml-list への投稿に Safeio というお話があります。 任意個のチャネルへの入出力に関して、 開かれたチャネルは必ず閉じられる 入力専用で開いたチャネルには入力しかできない 出力専用で開いたチャネルには出力しかできない このような制限をOCamlの型で表現できるんですよ、というお話です。すごいですね。 Haskellで同じようなことをやっているネタとして、セッション型をHaskellで実装するお話があります。が、複数のチャネルを扱うために、どれも型クラスにヘビーに依存していたり(私やMatthew Sackmanの実装)、型クラスを使わない実装では複数のチャネルを管理するためにswapとかpop
Tuning the OCaml memory allocator for large data processing jobs
Published on Saturday, June 19, 2010 and tagged with programming, ocaml, performance. Updated on Sunday, January 28, 2024. TL;DR: setting OCAMLRUNPARAM=s=4M,i=32M,o=150 can make your OCaml programs run faster. Read on for details and how to see if the garbage collector is thrashing and thereby slowing down your program. In my research work with GroupLens, I do a most of my coding for data processi
迷路の試験問題を解いてみた - にわとり小屋でのプログラミング
参考：人材獲得作戦・４ 試験問題ほか: 人生を書き換える者すらいた。 Lv4に評価されるためには、最短性の完全なチェックが必要だったのでCoqで証明してみた。 まず、accessiblesという関数を定義し、以下の性質を証明した。 ここでplengthはパスの長さを計る関数で、Path x pはpがxを起点としたパスであるという述語。endofはパスの終点を求める関数。 Fixpoint accessibles (start : node) (len : nat) : list path := match len with | O => (PUnit start) :: nil | S n' => div_equiv path_equiv_dec @@ (flat_map expand @@ accessibles start n') end. この関数はstartから始まってlenの長さ
http://cristal.inria.fr/~lebotlan/docaml_html/english/
Copyright © 2001 Alain Frisch, Didier Le Botlan, Alan Schmitt. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.1 or any later version published by the Free Software Foundation; with no Invariant Sections, with no Front-Cover Texts, and with no Back-Cover Texts. A copy of the license is included in the chapter en
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Camlcity.org gets a shared cache
camlcontract.dvi
References with physical equality
Polymorphic recursion with rank-2 polymorphism in OCaml 3.12
Packrat parser with left recursion
the Ocaml format module | Pietro Abate homepage
OCaml and typeful programming: an annotated bibliography (of sorts)