次のタグが付いている話題の回答:

10
Accepted

OCamlにCのような行コメントはないのでしょうか。

OCaml に行コメントは無いです。 行コメントの実装は簡単です。ですがどのような記号を採用しても後方互換性を捨てる変更になりますので、今さら採用するほどのものではないと思われているようです。 自分で定義する、というか行コメントを実現するには、 OCaml 処理系のパーサーを改造する。たとえば、 https://github.com/camlspotter/ocaml/tree/...
camlspotter's user avatar
  • 1,344
6
Accepted

OCamlでのscanf後のread_lineがEnd_of_fileを生じる理由

結論から先に言うとScanf.scanfと他の標準入力を利用する関数の併用はうまくいきません。 *scanf関数は内部でバッファリングしています。これを行うのは OCaml標準ライブラリソースコードstdlib/scanf.ml にある from_ic関数ですが、この関数は一度に最大1024バイトのデータをチャンネルから一気に読み込めるなら読み込んでしまいます。...
camlspotter's user avatar
  • 1,344
6
Accepted

任意の要素をリストの最後に追加したリストを作成する方法

Listのappend (xs @ ys) はxsの各要素を :: で ys に追加していくので、ysの長さと関係なく、xs の長さに比例した時間がかかります。(なお :: は引数に関係なく定数時間で処理が終了します。) ですから、 y :: xs は :: 一回の操作ですみますが、 xs @ [y] は xs の長さに比例した時間がかかります。これが xs @ [y] ...
camlspotter's user avatar
  • 1,344
4
Accepted

任意個数の引数の読み込み

「標準ライブラリ」しか使えないという場合は、たとえば、自分で val split : string -> char -> string list という分割関数を書いた後、 List.map int_of_string @@ split s ' ' のが普通です。このような関数が「標準ライブラリ」に存在しないので仕方ありません。 OCaml ...
camlspotter's user avatar
  • 1,344
4
Accepted

Unix.fork を呼ぶと fork 前のトップレベルの式が再度実行されてしまう

Printf.printf のバッファリングの問題だと思います。%! を使って flush してあげます。 let () = Printf.printf "hello, world!\n%!"; match Unix.fork () with | 0 -> () | _ -> ignore @@ Unix.wait () 補足: ...
nekketsuuu's user avatar
  • 2.3万
4
Accepted

OCamlで .. (点が二つ)の使い方はいくつありますか

現在の OCaml には 4種類の .. の使い方があります。(正確な情報は文法定義 https://github.com/ocaml/ocaml/blob/4.14/parsing/parser.mly の DOTDOT を見てください。) それぞれを解説するのは回答が長くなりますので、列挙だけしておきます: 列多相を表す型: < x : int; .. > ...
camlspotter's user avatar
  • 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 ...
camlspotter's user avatar
  • 1,344
3

opamがstack overflowを吐くようになってしまいました。

私はこういう状況におちいったことがないのですが、opam updateするとその後にupgradeできるかチェックするフェーズがあります。そこでopam内部にあるバージョン条件を解く制限ソルバがスタックを消費して死んでいる状態ですね。 例えば、外部のソルバを使ってはどうでしょうか: 詳しい方法は http://cudf-solvers.irill.org/index.html にあります。 ...
camlspotter's user avatar
  • 1,344
3

OCamlのリスト探索

Listモジュールにある関数のうち、条件を満たす要素のみ取り出すfilter関数と、条件を満たす要素が少なくとも一つ存在するか調べるexists関数を使って次のように書くことができます。 (* 5を含むリストを探す例 *) # List.(filter (fun l -> exists (fun x -> x = 5) l) ls);;
letrec's user avatar
  • 3,160
2
Accepted

OUnitをできるだけ簡単に実行するための方法

ユニットテストが必要なレベルのプログラムを書くのならばビルドツールを使ってください。make でも ocamlbuild でも omake でもなんでもいいです。 私はテストとライブラリを別けるのは面倒なので全部一つにまとめています。つまり、 foobar.ml の中に foobar_test.ml の内容を書きます。テストが常にリンクされてしまうのが難点ですが、...
camlspotter's user avatar
  • 1,344
2

OUnitをできるだけ簡単に実行するための方法

ocamlbuildを使う この場合であれば、ワーキングディレクトリにて、_tagsを作成して以下のように書き込みます。 true: debug, linkpkg, thread true: package(oUnit) そして以下のコマンドでビルドできます。 ocamlbuild -use-ocamlfind "foobar.native" "foobar_test.native" &...
Nnwww's user avatar
  • 31
2
Accepted

ocamlfindがcompiler-libsを認識して名前が被るモジュールがコンパイルできない

解決したようで良かったです。いくつかポイントをあげておきます。 ocamlfind コマンドが何をやっているか判らないときは ocamlfind <command> -verbose ... として実際にどんなコマンドが起動されるか確認する OCamlFind パッケージと OPAM パッケージは違う。OCamlFind はライブラリの使用を助けるためのツールで、 ...
camlspotter's user avatar
  • 1,344
2

任意の要素をリストの最後に追加したリストを作成する方法

示唆されたところによると、OCamlにおいてリストは単一連結リスト(?)という形になっているため、最後に要素を追加するときにはコストがかかり、非推奨であるようです。実際にIdeonで検証コードを書いて頂いたところ、パフォーマンスの違いが明確になっています。 同様に、海外のStackOverflowでも同様の示唆があります。従って、リストの最後に要素を追加したい場合は、...
esehara's user avatar
  • 1,373
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....
camlspotter's user avatar
  • 1,344
2
Accepted

Ocamlでコロン(:)はいくつの使い方がありますか

ヴァリアントの拡張で、GADT(一般化代数的データ型)のための記法です。 https://ocaml.org/manual/gadts-tutorial.html#c%3Agadts-tutorial
zakki's user avatar
  • 2,024
2
Accepted

OCamlで自分が定義した演算子の結合性は?

定義した演算子の名前がどの記号から始まるかによって、優先度と結合性が変わります。詳しくは OCaml のマニュアルをご覧ください: https://ocaml.org/manual/expr.html#ss%3Aprecedence-and-associativity 今回の場合だと、(^-^) は ^ から始まるので右結合、(||>) は | から始まるので左結合です。
nekketsuuu's user avatar
  • 2.3万
2
Accepted

OCamlでライブラリのrequireができない

※この回答は OPAM 1.x 系を想定しています。OPAM 2.x 系ではコマンドのオプションが異なるので、適宜マニュアルをご参照ください。 eval $(opam config env) をすることで正常な結果になるのであれば、OPAM の環境設定が正しくできていない可能性が高いです。 opam init を実行して表示される指示に従い、環境変数周りの設定を行ってください。特に~/....
nekketsuuu's user avatar
  • 2.3万
1

OCamlで .. (点が二つ)の使い方はいくつありますか

これは extensible variant types の記法です。 Extensible variant types are variant types which can be extended with new variant constructors. Extensible variant types are defined using ... New variant ...
nekketsuuu's user avatar
  • 2.3万
1
Accepted

OPAM でインストールしたはずのライブラリを使おうとしても Unbound module になる

このエラーは ocamlc が zarith.cma を見つけられていないがために起こっています。 ocamlc はそのままだとライブラリの置いてあるパスを探索してくれないので、こちらから指定する必要があります。 解決法1: ビルドシステムを使う Dune などのビルドシステムを使うのが一番のオススメです。実行する度に長いオプションを詠唱しなくて済みますし、その他の設定も自動で行ってくれます。 ...
nekketsuuu's user avatar
  • 2.3万
1

OCaml4.04.0でlambdasoupが動かない

-w <list> か -warn-error <list> コンパイルスイッチに Warning 58 をエラーと扱うような設定が入っているはずなので、それを外してください。 (参照: http://caml.inria.fr/pub/docs/manual-ocaml/comp.html ) これらのスイッチの使い方の例をあげておきます: -warn-error ...
camlspotter's user avatar
  • 1,344
1
Accepted

OCamlのExtLibのEnum

cloneされた列挙は元の列挙と独立して要素生成関数が消費時に呼び出されるようですね。ダブって出力されるのはそのためです。 メモリリークを避けるデザインだと思いますが、列挙は遅延リストとは違ってcloneされたからといって片方の要素生成の結果がメモ化されてもう片方に使われるというのではないと思います。生成要素をclone間で共有するにはcloneする前にEnum....
camlspotter's user avatar
  • 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 ...
camlspotter's user avatar
  • 1,344
1

OCamlをEmacsで書く

Ubuntuとの事ですのでSynaptic等からtuareg-modeを入れるという手もあります。 (記憶が曖昧なのですが)自分のinit.elにはocamlに関する設定が見つからないので、そのまま使えるはずです。
letrec's user avatar
  • 3,160
1

OCamlをEmacsで書く

tuareg-mode が一般的によく使われていると思います。 参考: http://melpa.org/#/tuareg
Yuki Inoue's user avatar
  • 1.7万
1

Facebook ReasonでCoreライブラリをリンクしたい

Reasonのgithubに質問と回答がありました。 https://github.com/facebook/reason/issues/556 それを参考に、以下のようにしてコマンド一発でエラーなくネイティブバイナリを作成できました。 $ ocamlfind ocamlc -g -thread -package core -pp refmt -linkpkg -o a.native -...
obiwanko's user avatar
1

任意の要素をリストの最後に追加したリストを作成する方法

データ構造からするとなさそう。 http://www.atmarkit.co.jp/fdotnet/special/introfs_01/introfs_01_03.html F# のマニュアルにも新しく後ろに要素を追加するときは新しいリストを生成する例しか載ってませんでした。 https://msdn.microsoft.com/ja-jp/library/dd233224.aspx
takano32's user avatar
  • 521

Only top scored, non community-wiki answers of a minimum length are eligible