[ocaml] タグが付いた質問
37 件の質問
3
票
2
回答
221
閲覧数
プログラムにおけるエフェクトとはどういう意味ですか?
以下の動画の 8:00 あたりで「いま throws と async という2つのエフェクトしかないんですけど、今後、なんらかのエフェクトが追加されたときにエフェクトなのか型なのか区別できなくなる」 という発言がありました。
iOSDC Japan 2024: Swift 6のTyped throwsとSwiftにおけるエラーハンドリングの全体像を学ぶ - YouTube
似たような単語として、...
1
票
1
回答
80
閲覧数
Algebraic Data Types で自前のListを作るときは、 空 と :: だけを作るのでしょうか?
Algebraic Data Types を備えた言語で自前のListを作る例として、下記を見ました。
名前つきパラメータとGADT|プログラング言語Idrisに入門させたい(v0.9)
data List a = Nil | (::) a (List a)
YouTube: Nathan Holland- GADTs and You; Writing Safer Code Using ...
1
票
1
回答
121
閲覧数
Ocamlでコロン(:)はいくつの使い方がありますか
レコードの定義:
let t = {data: string}
型の明示:
let a:int = 1
しかしこのような場合ではどういう意味でしょう?
type abc = Abc : ab -> abc
4.0のバージョンからの機能と聞いています、OCamlの本(五十嵐)には書かれていなかったです、英語の説明も見ましたが、日本語で説明いただけないでしょうか。
追記:
...
1
票
1
回答
82
閲覧数
OCamlで自分が定義した演算子の結合性は?
タイトルのようにOCamlで自分が定義した演算子の結合性を質問したいと思います。
ためしたこと:
let (^-^) a b = a - b;;
3 ^-^ 2 ^-^ 1;;
- : int = 2
ここは右結合ですね、
補充:
let (||>) a b = a - b;;
3 ||> 2 ||> 1;;
- : int = 0
なぜここでは左結合になるでしょう?
...
1
票
2
回答
101
閲覧数
OCamlで .. (点が二つ)の使い方はいくつありますか
「プログラミングin OCaml」 を見ています、
他のプロジェクトも見ていて..の使い方に疑問を持って質問させていただきました。
この本では..の使い道はオブジェクト定義の拡張でした(列の多相性)、例(251ページ):
# let test_calc c = c#input 10; c#plus; c#input 20; c#eq = 30;;
val test_calc : < eq : ...
1
票
1
回答
476
閲覧数
OPAM でインストールしたはずのライブラリを使おうとしても Unbound module になる
opam install zarith で Zarith をインストールして使おうとしたのですが、ocamlc でバイトコンパイルしようとしたところ、モジュールが見つからないと言われてしまいます。何か追加の設定が必要なのでしょうか? eval $(opam env) はしています。
$ cat main.ml
let () =
let n = Z.of_string "...
1
票
1
回答
163
閲覧数
Coqをopam経由でインストール
現在mac上でopam install coq を実行していて、errorは吐かれないのですが二時間待ってもmakeが完了していないようです。そこでお聞きしたいのですが通常Coqをinstallするにはどれくらいの時間がかかるのでしょうか? セットアップが間違っているのかcoqが大きすぎてmakeに時間がかかっているだけなのかはっきりさせたいです。以下実行の様子です。
$ opam list
...
2
票
0
回答
156
閲覧数
ReasonMlでOCamlのライブラリを使いたい
https://reasonml.github.io/docs/en/installation
公式に従いreasonのプロジェクトを作成しました。
vscodeにて、reファイルでOCamlのライブラリを使おうとすると
Error: Unbound module ライブラリ名
と出ます。
mlファイルでは.merilinに"PKG ライブラリ名"を記入することでライブラリを使用できています。...
1
票
1
回答
237
閲覧数
OCamlでライブラリのrequireができない
ocamlのreplとしてutopを使おうと思っています。
デフォルトのreplでは何も問題がないのですが、utopにてライブラリをrequireすることができません。
具体的にはbaseというライブラリを使おうとすると
utop # #require "base";;
No such package: base
とエラーが出ます。
❯ opam install base
[NOTE] ...
5
票
1
回答
355
閲覧数
OCamlでのscanf後のread_lineがEnd_of_fileを生じる理由
test.ml:
let () = begin
Scanf.scanf " %d %d " @@ Printf.printf "scanf : (%d, %d)\n";
for i = 1 to 2 do
print_string "read_line : ";
print_endline @@ read_line ()
done
end
input.txt:
...
1
票
1
回答
203
閲覧数
OCamlのリスト探索
let ls = [[1;2;3];[4;5;6];[7;8;9]];;
といったint listリストの中から、特定の値が入っているリストが欲しい時、どのような操作を行えば良いでしょうか。
1
票
0
回答
117
閲覧数
Int64.add等がUnbound valueになる
Int64モジュールのadd, sub, mul, divといった名前がUnbound valueになってしまうのですが、どうすれば使えるようになるでしょうか。
utop # Int64.add;;
Error: Unbound value Int64.add
ちなみに
Int64.zero, Int64.remなどは見えている
Int32でも同じ
という状況です。
...
2
票
1
回答
88
閲覧数
ppx版のsexplibで旧来の<:sexp_of<型>>に相当するものはあるのでしょうか?
新しいOCamlではCamlp4の代わりにppxが使われるようになり、Real World OCamlにあるようなS式を取り扱うコードも一部適用できなくなったことを知りました。例えばwith sexpの代わりに[@@deriving sexp]と書く、といった具合です。
# require "ppx_sexp_conv";;
# type some_type = { foo: int; bar: ...
3
票
1
回答
94
閲覧数
Unix.fork を呼ぶと fork 前のトップレベルの式が再度実行されてしまう
Unix モジュールの fork 関数を呼ぶと、 fork 前のトップレベルの式が再度実行されてしまいます。 fork 前のコードを fork 後に実行されないようにしたいのですが、どう修正すればよいのでしょうか。
コード:
let () =
Printf.printf "hello, world!\n";
ignore @@ Unix.fork ()
実行結果 (...
0
票
1
回答
77
閲覧数
OCaml4.04.0でlambdasoupが動かない
opam でocaml.4.04.0をインストールしてlambda-soupを使おうとしてインストールしました。
$ opam install lambdasoup
しかし、lambdasoupを使うプログラムを書いてコンパイルしようとしてみると、次のようなエラーがでてしまいます。
Warning 58: no cmx file was found in path for module ...
4
票
1
回答
98
閲覧数
OCamlのExtLibのEnum
OCamlのライブラリExtLibの中のEnumについて質問します。
以下を実行しました。
open Printf
let tee f e =
let e' = Enum.clone e in
f e';
e
let term e =
Enum.iter (fun _ -> ()) e
let f e =
Enum.map
(fun inp ->
...
2
票
1
回答
95
閲覧数
opamがstack overflowを吐くようになってしまいました。
opamでいろいろパッケージをインストールしていたのですが、パッケージのインストールは成功したものの、その後opamが Stack overflow を返すようになってしまいました。何か解決方法はありますでしょうか。
$ opam update
=-=- Updating package repositories =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=...
3
票
1
回答
222
閲覧数
OCamlで例外からスタックトレースを取得する方法
OCamlでexn型の値からスタックトレースを取得する方法はありますでしょうか?JavaのgetStackTrace()のような。
標準のPrintexcモジュールを探したのですが、現在のスタックトレースを取得する Printexc.get_backtrace はあるものの、例外からこしらえる方法が分かりませんでした。
参考: http://caml.inria.fr/pub/docs/...
1
票
2
回答
557
閲覧数
OCamlをEmacsで書く
OCaml初心者です。EmacsでOCamlのプログラムを書きたいですが、ocamlのemacsモードはどのように設定するのが良いでしょうか。
試しにpackage.elで次のように設定してみましたが、package-list-packages でみれる一覧にocamlはみつかりませんでした。
http://emacs-jp.github.io/packages/package-...
0
票
1
回答
90
閲覧数
OCamlでUnix.pipeへの書き込みができない
Unix.pipeを使って in_channel, out_channelを作りたいです。
let _ =
let read_desc, write_desc = Unix.pipe () in
let read_ch = Unix.in_channel_of_descr read_desc in
set_binary_mode_in read_ch false;
let ...
0
票
1
回答
178
閲覧数
Facebook ReasonでCoreライブラリをリンクしたい
OCaml 4.02.3, Reason 0.0.5, OS X 10.11.5 です。
Reasonのコードは以下です。
open Core.Std;
printf "test %f" (Float.of_int 3);
コンパイルします。
$ rebuild -pkgs core a.native
エラーになってバイナリが生成されません。
何かオプションフラグを追加指定してやれば、a....
3
票
1
回答
427
閲覧数
OCamlにCのような行コメントはないのでしょうか。
Cなどでは // 以降、行の終わりまでがコメントと見なされますが
OCamlにはこのような終端記号の不要な行コメントはないのでしょうか。
ない場合、なぜないのか、自分で定義するにはどうすればよいかについても
教えていただけると幸いです。
どうぞよろしくお願いします。
5
票
4
回答
1,945
閲覧数
任意の要素をリストの最後に追加したリストを作成する方法
OCamlでコードを書いているときに、リスト操作をすることがあるのですが、
4 :: [1; 2; 3];;
みたいに、 リストの先頭に対して要素を追加したリストを作成する方法はわかるのですが、リストの最後に対して追加したリストを作る方法がわかりません。とりあえずの方法として:
[1; 2; 3;] @ [4];;
という風にしているのですが、たかだか要素を後ろに追加するだけのために、...
2
票
2
回答
519
閲覧数
OUnitをできるだけ簡単に実行するための方法
OCamlでコードを書くさいに、ユニットテストを書きたいため、OUnitを利用しています。
そのとき、foobar.mlとfoobar_test.mlといったように、ファイルを分けているのですが、ドキュメントを見る限りですとユニットテストを実行する方法として:
ocamlfind ocamlc -o test -package oUnit -linkpkg -g foobar.ml ...
0
票
1
回答
204
閲覧数
任意個数の引数の読み込み
OCaml 4.01.0で、標準入力から
A1 A2 A3 ... An
というように任意個数のint型の引数をスペース区切りで与え、これに関数を適用したいのですが
いい方法が浮かびません・・・
具体的には引数たちを配列とかリストにして関数を適用したいと思っています。
Scanfなどでうまくできないか、
http://caml.inria.fr/pub/docs/manual-ocaml/...
2
票
1
回答
363
閲覧数
ocamlfindがcompiler-libsを認識して名前が被るモジュールがコンパイルできない
ocaml 4.02.3において、以下のコマンドでlongident.mlというファイルを
コンパイルする際に下で示すエラーが表示されました。
longident.mlの中身はtype t = intのみで、他にファイルがないディレクトリでコンパイルしました。
longident.mlはコンパイラのコードでparsing/longident.mlが存在するため
ocamlcommon....
1
票
1
回答
472
閲覧数
OCamlでFormat.fprintfを使った関数の文字列への変換
以下のようなFormatをつかったデータを出力する関数があります:
type e = Int of int | Add of e * e
let rec pp_e ppf = function
| Int(i) -> Format.fprintf ppf "Int(%d)@?" i
| Add(e1, e2) -> Format.fprintf ppf "Add(%a,%a)...
4
票
1
回答
424
閲覧数
OCaml のクラスにポリモーフィックな map メソッドを持たせたい
次のようなmapメソッドが作れなくて困っています
class ['a] my_ref (x_init : 'a) =
object
val mutable x = x_init
method get = x
method set y = x <- y
method map : 'b. ('a -> 'b) -> 'b my_ref = fun f -> ...
0
票
1
回答
269
閲覧数
OCamlのulexの使い方を教えてください
OCamlでUnicodeを扱うパーサを作る為にulexを使う事を考えています。
例えば、以下のような四則演算のパーサがあります。
parser.mly
%{
%}
%token <int> INT
%token ADD SUB MUL DIV EOF
%left ADD SUB
%left MUL DIV
%type <int> exp
%start exp
%%
...
1
票
1
回答
118
閲覧数
Lwt_main.run実行中にシグナルを受けたら後処理をして停止したい
let rec f _ = ignore (Lwt_unix.sleep 1.0);
f ()
let _ = Lwt_unix.on_signal 2 (fun _ -> print_endline "sig")
let _ =
print_endline "start";
ignore (Lwt_main.at_exit (fun () -> ...
2
票
1
回答
837
閲覧数
OCamlYaccやMenhirでコンフリクトを消す方法
OCamlYaccやMenhirを使ったりするのですが、コンフリクトが発生した場合の解消はトライアンドエラーでなんとなく消しています。
何かツールの使い方やコツ等ご存知の方いましたら教えてください。
1
票
1
回答
368
閲覧数
Coreの使い方を教えてください。
osxで以下のようにopamでcoreをインストールして
opam install core
以下のプログラムex01.mlを書いて、
open Core.Std
let _ =
let list = [1;2;3] in
let rc = List.fold_left list ~init:0 ~f:(fun acc x ->
acc + x
) in
...
3
票
1
回答
183
閲覧数
パターンマッチを合成するには?
Extensible variant typesを使ってバリアントを拡張すると、パターンマッチも拡張しなければなりません。しかも、もし二つの独立したバリアントの拡張を合成しようとすると、二つの独立した(パターンマッチを内部的に使っている)関数を合成しなければなりません。(下記の例ではPlus.open_evalとNeg.open_eval)
これを実現するために、...
9
票
3
回答
421
閲覧数
polymorphicなopen recursionを作りたい
OCaml 4.02で導入されたExtensible variant typesを使ってexpression problemの解のようなものを書いていた際、polymorphicなopen recursionが欲しくなりましたが、書けなくて困っています。
module Lang = struct
type 'a expr = ..
type 'a expr +=
Num : ...
3
票
1
回答
375
閲覧数
ppx コマンドの簡単な呼び方を教えてください
OCaml で ppx コマンドを呼び出す際に
ocaml -ppx `ocamlfind printconf path`/ppx_test/ppx_test
として ppx コマンドを指定しているのですが、より良い方法はありませんか?
※ 環境は Mac OS X です。ppx は OPAM からインストールしています。
追記
$ ocamlfind ocaml -package ...
1
票
1
回答
1,393
閲覧数
OCamlのパッケージが上手くインストール出来ません。
環境は以下のとおりです。
Linux kali 3.7-trunk-amd64 #1 SMP Debian 3.7.2-0+kali5 x86_64 GNU/Linux
以下のようにインストールしようとすると、
sudo apt-get -f install ocaml-findlib camlidl libcamomile-ocaml-dev camlp4-extra libgmp3-...
11
票
2
回答
876
閲覧数
OCamlの ; と ;; の違いが分からない
.mlファイルの中のOCamlコードで、以下のようなコードを書いた際、
let print_for_print_test str =
for i = 0 to String.length-1 str do
print_string(str)
print_newline()
done;;
3行目に ; が足りない、という意味のエラーメッセージが出ました。実際に ; ...