Skip to main content

[ocaml] タグが付いた質問

OCaml は関数型プログラミング言語のひとつです。ML 言語族のひとつであり、静的型付け、非純粋、先行評価を特徴とします。

絞り込み
並べ替え
タグ付けされた
3
2 回答
221 閲覧数

プログラムにおけるエフェクトとはどういう意味ですか?

以下の動画の 8:00 あたりで「いま throws と async という2つのエフェクトしかないんですけど、今後、なんらかのエフェクトが追加されたときにエフェクトなのか型なのか区別できなくなる」 という発言がありました。 iOSDC Japan 2024: Swift 6のTyped throwsとSwiftにおけるエラーハンドリングの全体像を学ぶ - YouTube 似たような単語として、...
shingo.nakanishi's user avatar
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 ...
shingo.nakanishi's user avatar
1
1 回答
121 閲覧数

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

レコードの定義: let t = {data: string} 型の明示: let a:int = 1 しかしこのような場合ではどういう意味でしょう? type abc = Abc : ab -> abc 4.0のバージョンからの機能と聞いています、OCamlの本(五十嵐)には書かれていなかったです、英語の説明も見ましたが、日本語で説明いただけないでしょうか。 追記: ...
normidar's user avatar
  • 312
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 なぜここでは左結合になるでしょう? ...
normidar's user avatar
  • 312
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 : ...
normidar's user avatar
  • 312
1
1 回答
476 閲覧数

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

opam install zarith で Zarith をインストールして使おうとしたのですが、ocamlc でバイトコンパイルしようとしたところ、モジュールが見つからないと言われてしまいます。何か追加の設定が必要なのでしょうか? eval $(opam env) はしています。 $ cat main.ml let () = let n = Z.of_string "...
nekketsuuu's user avatar
  • 2.4万
1
1 回答
163 閲覧数

Coqをopam経由でインストール

現在mac上でopam install coq を実行していて、errorは吐かれないのですが二時間待ってもmakeが完了していないようです。そこでお聞きしたいのですが通常Coqをinstallするにはどれくらいの時間がかかるのでしょうか? セットアップが間違っているのかcoqが大きすぎてmakeに時間がかかっているだけなのかはっきりさせたいです。以下実行の様子です。 $ opam list ...
Kumi's user avatar
  • 11
2
0 回答
156 閲覧数

ReasonMlでOCamlのライブラリを使いたい

https://reasonml.github.io/docs/en/installation 公式に従いreasonのプロジェクトを作成しました。 vscodeにて、reファイルでOCamlのライブラリを使おうとすると Error: Unbound module ライブラリ名 と出ます。 mlファイルでは.merilinに"PKG ライブラリ名"を記入することでライブラリを使用できています。...
aruby's user avatar
  • 67
1
1 回答
237 閲覧数

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

ocamlのreplとしてutopを使おうと思っています。 デフォルトのreplでは何も問題がないのですが、utopにてライブラリをrequireすることができません。 具体的にはbaseというライブラリを使おうとすると utop # #require "base";; No such package: base とエラーが出ます。 ❯ opam install base [NOTE] ...
aruby's user avatar
  • 67
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: ...
CoiL's user avatar
  • 53
1
1 回答
203 閲覧数

OCamlのリスト探索

let ls = [[1;2;3];[4;5;6];[7;8;9]];; といったint listリストの中から、特定の値が入っているリストが欲しい時、どのような操作を行えば良いでしょうか。
user27449's user avatar
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でも同じ という状況です。 ...
letrec's user avatar
  • 3,170
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: ...
letrec's user avatar
  • 3,170
3
1 回答
94 閲覧数

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

Unix モジュールの fork 関数を呼ぶと、 fork 前のトップレベルの式が再度実行されてしまいます。 fork 前のコードを fork 後に実行されないようにしたいのですが、どう修正すればよいのでしょうか。 コード: let () = Printf.printf "hello, world!\n"; ignore @@ Unix.fork () 実行結果 (...
Tetsuya SUZUKI's user avatar
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 ...
yozenam's user avatar
  • 63
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 -> ...
hmltn's user avatar
  • 43
2
1 回答
95 閲覧数

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

opamでいろいろパッケージをインストールしていたのですが、パッケージのインストールは成功したものの、その後opamが Stack overflow を返すようになってしまいました。何か解決方法はありますでしょうか。 $ opam update =-=- Updating package repositories =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=...
yozenam's user avatar
  • 63
3
1 回答
222 閲覧数

OCamlで例外からスタックトレースを取得する方法

OCamlでexn型の値からスタックトレースを取得する方法はありますでしょうか?JavaのgetStackTrace()のような。 標準のPrintexcモジュールを探したのですが、現在のスタックトレースを取得する Printexc.get_backtrace はあるものの、例外からこしらえる方法が分かりませんでした。 参考: http://caml.inria.fr/pub/docs/...
yozenam's user avatar
  • 63
1
2 回答
557 閲覧数

OCamlをEmacsで書く

OCaml初心者です。EmacsでOCamlのプログラムを書きたいですが、ocamlのemacsモードはどのように設定するのが良いでしょうか。 試しにpackage.elで次のように設定してみましたが、package-list-packages でみれる一覧にocamlはみつかりませんでした。 http://emacs-jp.github.io/packages/package-...
yozenam's user avatar
  • 63
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 ...
sionio's user avatar
  • 3
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....
obiwanko's user avatar
3
1 回答
427 閲覧数

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

Cなどでは // 以降、行の終わりまでがコメントと見なされますが OCamlにはこのような終端記号の不要な行コメントはないのでしょうか。 ない場合、なぜないのか、自分で定義するにはどうすればよいかについても 教えていただけると幸いです。 どうぞよろしくお願いします。
watagumo's user avatar
5
4 回答
1,945 閲覧数

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

OCamlでコードを書いているときに、リスト操作をすることがあるのですが、 4 :: [1; 2; 3];; みたいに、 リストの先頭に対して要素を追加したリストを作成する方法はわかるのですが、リストの最後に対して追加したリストを作る方法がわかりません。とりあえずの方法として: [1; 2; 3;] @ [4];; という風にしているのですが、たかだか要素を後ろに追加するだけのために、...
esehara's user avatar
  • 1,383
2
2 回答
519 閲覧数

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

OCamlでコードを書くさいに、ユニットテストを書きたいため、OUnitを利用しています。 そのとき、foobar.mlとfoobar_test.mlといったように、ファイルを分けているのですが、ドキュメントを見る限りですとユニットテストを実行する方法として: ocamlfind ocamlc -o test -package oUnit -linkpkg -g foobar.ml ...
esehara's user avatar
  • 1,383
0
1 回答
204 閲覧数

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

OCaml 4.01.0で、標準入力から A1 A2 A3 ... An というように任意個数のint型の引数をスペース区切りで与え、これに関数を適用したいのですが いい方法が浮かびません・・・ 具体的には引数たちを配列とかリストにして関数を適用したいと思っています。 Scanfなどでうまくできないか、 http://caml.inria.fr/pub/docs/manual-ocaml/...
watagumo's user avatar
2
1 回答
363 閲覧数

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

ocaml 4.02.3において、以下のコマンドでlongident.mlというファイルを コンパイルする際に下で示すエラーが表示されました。 longident.mlの中身はtype t = intのみで、他にファイルがないディレクトリでコンパイルしました。 longident.mlはコンパイラのコードでparsing/longident.mlが存在するため ocamlcommon....
nomaddo's user avatar
  • 55
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)...
櫻井洋志's user avatar
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 -> ...
Kik Kik's user avatar
  • 43
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 %% ...
櫻井洋志's user avatar
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 () -> ...
timeout's user avatar
  • 23
2
1 回答
837 閲覧数

OCamlYaccやMenhirでコンフリクトを消す方法

OCamlYaccやMenhirを使ったりするのですが、コンフリクトが発生した場合の解消はトライアンドエラーでなんとなく消しています。 何かツールの使い方やコツ等ご存知の方いましたら教えてください。
櫻井洋志's user avatar
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 ...
櫻井洋志's user avatar
3
1 回答
183 閲覧数

パターンマッチを合成するには?

Extensible variant typesを使ってバリアントを拡張すると、パターンマッチも拡張しなければなりません。しかも、もし二つの独立したバリアントの拡張を合成しようとすると、二つの独立した(パターンマッチを内部的に使っている)関数を合成しなければなりません。(下記の例ではPlus.open_evalとNeg.open_eval) これを実現するために、...
小笠原 啓's user avatar
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 : ...
小笠原 啓's user avatar
3
1 回答
375 閲覧数

ppx コマンドの簡単な呼び方を教えてください

OCaml で ppx コマンドを呼び出す際に ocaml -ppx `ocamlfind printconf path`/ppx_test/ppx_test として ppx コマンドを指定しているのですが、より良い方法はありませんか? ※ 環境は Mac OS X です。ppx は OPAM からインストールしています。 追記 $ ocamlfind ocaml -package ...
櫻井洋志's user avatar
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-...
AshiGirL96's user avatar
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行目に ; が足りない、という意味のエラーメッセージが出ました。実際に ; ...
lastcat's user avatar
  • 111