10
票
Accepted
OCamlにCのような行コメントはないのでしょうか。
OCaml に行コメントは無いです。
行コメントの実装は簡単です。ですがどのような記号を採用しても後方互換性を捨てる変更になりますので、今さら採用するほどのものではないと思われているようです。
自分で定義する、というか行コメントを実現するには、
OCaml 処理系のパーサーを改造する。たとえば、 https://github.com/camlspotter/ocaml/tree/...
- 1,344
9
票
OCamlの ; と ;; の違いが分からない
こちら(ocaml.org) が参考になると思います。
一部を抜粋します。
ルール1。;;を使うべきときとは、コードのトップレベルにある文を区切るときだ。関数定義の中のときや、他の文のときは、いらない。
ルール3と4は、一重の;についてだ。こいつは、;;とは完全に別物だ。セミコロンひとつの;は、 シークエンスポイントということになっている。言ってみれば、これは、C、C++、...
- 3,560
6
票
Accepted
任意の要素をリストの最後に追加したリストを作成する方法
Listのappend (xs @ ys) はxsの各要素を :: で ys に追加していくので、ysの長さと関係なく、xs の長さに比例した時間がかかります。(なお :: は引数に関係なく定数時間で処理が終了します。)
ですから、 y :: xs は :: 一回の操作ですみますが、 xs @ [y] は xs の長さに比例した時間がかかります。これが xs @ [y] ...
- 1,344
6
票
Accepted
OCamlでのscanf後のread_lineがEnd_of_fileを生じる理由
結論から先に言うとScanf.scanfと他の標準入力を利用する関数の併用はうまくいきません。
*scanf関数は内部でバッファリングしています。これを行うのは OCaml標準ライブラリソースコードstdlib/scanf.ml にある from_ic関数ですが、この関数は一度に最大1024バイトのデータをチャンネルから一気に読み込めるなら読み込んでしまいます。...
- 1,344
4
票
Accepted
任意個数の引数の読み込み
「標準ライブラリ」しか使えないという場合は、たとえば、自分で
val split : string -> char -> string list
という分割関数を書いた後、
List.map int_of_string @@ split s ' '
のが普通です。このような関数が「標準ライブラリ」に存在しないので仕方ありません。
OCaml ...
- 1,344
4
票
パターンマッチを合成するには?
クラスの継承の関数型言語での実装の方法と言っていいと思います。
各 eval 関数を reval -> reval という「関数を拡張する関数」として実装し、それらを関数合成で繋げた後に不動点を取るとよいです。次は名前をオブジェクト指向風にいろいろ変えましたが、そんな実装です。
このようなテクニックは OCaml コンパイラ内部の ppx 拡張用のモジュール parsing/...
- 1,344
4
票
OCamlYaccやMenhirでコンフリクトを消す方法
YACC の shift/reduce, reduce/reduce conflict の解消はパーサーの教科書もしくはネット情報に沢山書かれているます。まず、YACC の基本動作原理とともにそれなりに理解してください。たとえば http://guppy.eng.kagawa-u.ac.jp/2006/ProgLang/bison-1.2.8/bison-ja_8.html など。
...
- 1,344
4
票
Accepted
Unix.fork を呼ぶと fork 前のトップレベルの式が再度実行されてしまう
Printf.printf のバッファリングの問題だと思います。%! を使って flush してあげます。
let () =
Printf.printf "hello, world!\n%!";
match Unix.fork () with
| 0 -> ()
| _ -> ignore @@ Unix.wait ()
補足: ...
- 2.2万
4
票
Accepted
OCamlで .. (点が二つ)の使い方はいくつありますか
現在の OCaml には 4種類の .. の使い方があります。(正確な情報は文法定義 https://github.com/ocaml/ocaml/blob/4.14/parsing/parser.mly の DOTDOT を見てください。) それぞれを解説するのは回答が長くなりますので、列挙だけしておきます:
列多相を表す型: < x : int; .. >
...
- 1,344
3
票
opamがstack overflowを吐くようになってしまいました。
私はこういう状況におちいったことがないのですが、opam updateするとその後にupgradeできるかチェックするフェーズがあります。そこでopam内部にあるバージョン条件を解く制限ソルバがスタックを消費して死んでいる状態ですね。
例えば、外部のソルバを使ってはどうでしょうか: 詳しい方法は http://cudf-solvers.irill.org/index.html にあります。
...
- 1,344
3
票
OCamlの ; と ;; の違いが分からない
仕様を見てみましょう。
http://caml.inria.fr/pub/docs/manual-ocaml-400/language.html
http://caml.inria.fr/pub/docs/manual-ocaml-400/manual020.html
Compilation unitsとspecification,definitionを抜粋すると以下のように定義されています。...
- 117
3
票
polymorphicなopen recursionを作りたい
まず、特にこだわらずに不動点を取ってみます。
open Lang
let rec fixed =
fun x -> Plus.open_eval { f = fixed } x
これはエラーです。
File "xxx", line 40, characters 36-41:
Error: This field value has type 'b Lang.expr -> '...
- 1,344
3
票
Accepted
ppx コマンドの簡単な呼び方を教えてください
ppx コマンドは ocamlfind の -package オプションで簡単に呼び出すことができます:
ocamlfind ocamlc -package パッケージ名
と指定すると、 ocamlfind はコンパイルコマンド -ppx ppxコマンドの絶対パス を付けて実行します。
ただしこれには条件があって、 ppx コマンドが ocamlfind パッケージとして「正しく」...
- 1,344
3
票
Accepted
OCamlでFormat.fprintfを使った関数の文字列への変換
上の例を改変して答えます。Format で AST をプリントする場合、間違いなく box を使うものですし (でなければ Printf でよい)、その場合、 flush するとレイアウトが狂います。また、flush が入っていると後の説明にも支障をきたすので、外してあります。
open Format
type e = Int of int | Add of e * e
let rec ...
- 1,344
3
票
Accepted
OCaml のクラスにポリモーフィックな map メソッドを持たせたい
これが通るとまずいというよりも、こういう型を許すと型推論ができなくなります。OCamlは再帰型を正則なもの(型パラメーターの変わらないもの)にすることで、型推論を可能にしています。上のような非正則なものまで許すとぐんと難しくなります。ICALPの20年前の言語理論の論文によれば、扱える可能性がありますが、現実的なアルゴリズムはありません。
ちなみに、構造的な再帰型の代わりに、生成的なものを使うと、...
- 46
3
票
Accepted
OCamlのulexの使い方を教えてください
Ulex は ocamllex 使った字句解析手法ではありません。質問の例では lexer.mll を ocamllex で処理しているので ulex を全く使っていません。
Ulex は .ml に直接字句解析ルールを書くためのライブラリです。 ocamllex や他の字句解析ツールに存在するルール記述のためのDSLは ulex では pa_ulex.cma という CamlP4 ...
- 1,344
3
票
OCamlのリスト探索
Listモジュールにある関数のうち、条件を満たす要素のみ取り出すfilter関数と、条件を満たす要素が少なくとも一つ存在するか調べるexists関数を使って次のように書くことができます。
(* 5を含むリストを探す例 *)
# List.(filter (fun l -> exists (fun x -> x = 5) l) ls);;
- 3,140
2
票
Accepted
ocamlfindがcompiler-libsを認識して名前が被るモジュールがコンパイルできない
解決したようで良かったです。いくつかポイントをあげておきます。
ocamlfind コマンドが何をやっているか判らないときは ocamlfind <command> -verbose ... として実際にどんなコマンドが起動されるか確認する
OCamlFind パッケージと OPAM パッケージは違う。OCamlFind はライブラリの使用を助けるためのツールで、 ...
- 1,344
2
票
任意の要素をリストの最後に追加したリストを作成する方法
示唆されたところによると、OCamlにおいてリストは単一連結リスト(?)という形になっているため、最後に要素を追加するときにはコストがかかり、非推奨であるようです。実際にIdeonで検証コードを書いて頂いたところ、パフォーマンスの違いが明確になっています。
同様に、海外のStackOverflowでも同様の示唆があります。従って、リストの最後に要素を追加したい場合は、...
- 1,363
2
票
Accepted
ppx版のsexplibで旧来の<:sexp_of<型>>に相当するものはあるのでしょうか?
[%sexp_of: ty]
[%of_sexp: ty]
困ったことに現在 deriving 関連は
ppx_deriving
ppx_type_conv (Jane Street製)
の2つのライブラリがあります。この2つを混ぜる事は現在できなくなっています。(前はできたのですが)
ppx_type_conv 側に、 ppx_deriving での書き方、 [%derive....
- 1,344
2
票
polymorphicなopen recursionを作りたい
普通の fix が使えなくても、open_eval専用の fix が定義できますよ。
let open_eval_wrap eval = {f = fun x -> open_eval eval x}
let rec eval_fix (evalf : reval -> reval) : reval =
{f = fun x -> (evalf (eval_fix ...
2
票
Accepted
OUnitをできるだけ簡単に実行するための方法
ユニットテストが必要なレベルのプログラムを書くのならばビルドツールを使ってください。make でも ocamlbuild でも omake でもなんでもいいです。
私はテストとライブラリを別けるのは面倒なので全部一つにまとめています。つまり、 foobar.ml の中に foobar_test.ml の内容を書きます。テストが常にリンクされてしまうのが難点ですが、...
- 1,344
2
票
OUnitをできるだけ簡単に実行するための方法
ocamlbuildを使う
この場合であれば、ワーキングディレクトリにて、_tagsを作成して以下のように書き込みます。
true: debug, linkpkg, thread
true: package(oUnit)
そして以下のコマンドでビルドできます。
ocamlbuild -use-ocamlfind "foobar.native" "foobar_test.native"
&...
- 31
2
票
Accepted
OCamlでライブラリのrequireができない
※この回答は OPAM 1.x 系を想定しています。OPAM 2.x 系ではコマンドのオプションが異なるので、適宜マニュアルをご参照ください。
eval $(opam config env) をすることで正常な結果になるのであれば、OPAM の環境設定が正しくできていない可能性が高いです。
opam init を実行して表示される指示に従い、環境変数周りの設定を行ってください。特に~/....
- 2.2万
2
票
Accepted
OCamlで自分が定義した演算子の結合性は?
定義した演算子の名前がどの記号から始まるかによって、優先度と結合性が変わります。詳しくは OCaml のマニュアルをご覧ください: https://ocaml.org/manual/expr.html#ss%3Aprecedence-and-associativity
今回の場合だと、(^-^) は ^ から始まるので右結合、(||>) は | から始まるので左結合です。
- 2.2万
2
票
Accepted
Ocamlでコロン(:)はいくつの使い方がありますか
ヴァリアントの拡張で、GADT(一般化代数的データ型)のための記法です。
https://ocaml.org/manual/gadts-tutorial.html#c%3Agadts-tutorial
- 2,024
1
票
OCaml4.04.0でlambdasoupが動かない
-w <list> か -warn-error <list> コンパイルスイッチに Warning 58 をエラーと扱うような設定が入っているはずなので、それを外してください。 (参照: http://caml.inria.fr/pub/docs/manual-ocaml/comp.html )
これらのスイッチの使い方の例をあげておきます:
-warn-error ...
- 1,344
1
票
Accepted
OCamlのExtLibのEnum
cloneされた列挙は元の列挙と独立して要素生成関数が消費時に呼び出されるようですね。ダブって出力されるのはそのためです。
メモリリークを避けるデザインだと思いますが、列挙は遅延リストとは違ってcloneされたからといって片方の要素生成の結果がメモ化されてもう片方に使われるというのではないと思います。生成要素をclone間で共有するにはcloneする前にEnum....
- 1,344
1
票
Accepted
OCamlで例外からスタックトレースを取得する方法
OCaml 4.03.0, batteries.2.5.2 で次のプログラムを環境変数 OCAMLRUNPARAM に b を設定するとバックトレースは出力されます:
(* with export OCAMLRUNPARAM=b *)
(* ocamlfind ocamlopt -package batteries -linkpkg -o z.exe z.ml *)
open Batteries
...
- 1,344
1
票
OCamlをEmacsで書く
Ubuntuとの事ですのでSynaptic等からtuareg-modeを入れるという手もあります。
(記憶が曖昧なのですが)自分のinit.elにはocamlに関する設定が見つからないので、そのまま使えるはずです。
- 3,140
Only top scored, non community-wiki answers of a minimum length are eligible