ocaml

    0

    1答えて

    私はOCamlのBSTの基本的な操作のためにモジュール/インタフェースを作成しようとしています。 2,3,5からなるBSTツリーを得るために T.create();; T.push(2);; T.push(3);; T.push(5);; :私の目標は、私はこのような何かをやってすることができます実装を持つことです。これを達成するための しかし、現時点では、私はこのような何か書く必要があ

    1

    1答えて

    モジュール/ファンクタを使用してより汎用的なコード設計をしようとしています。簡素化するために、私は2つのインターフェイスがあります。 module type T1 = sig type t end;; module type T2 = sig type t end;; をし、私はそうT1.tに基づいてバリアント型でT2.tをインスタンス化したいと思います。しかし Unbound module

    4

    2答えて

    は立石に未使用の優先順位の警告を抑制することが可能ですか? 背景: 私は、別途、Lib.mlyから定義を使用して、追加のパーサ(A.mly、B.mly、...)のホストをいくつかのルールを持つコアパーサLib.mlyを持っていると。すべての言語で単一のレクサーを使用するために、すべてのトークンはLib.mlyで定義されており、_tagsにはexternal_tokens(Lib)注釈を使用し、my

    0

    2答えて

    私はVirtualBoxのUbuntu 16.04.3でOCamlを設定しようとしています。私はそれらのすべてに新しいです。私の無知を許してください。私は wget https://raw.github.com/ocaml/opam/master/shell/opam_installer.sh -O - | sh -s /usr/local/bin を使用してopamをインストールし、opam

    2

    1答えて

    答えを提供しないテキストを質問に見つけました。 "aとbが空でない2つの文字列を見つけると、a^b = b^a。 通常、コミットされた文字列のペアについては何が言えるでしょうか? 「aaa」や「apa」のように、aとbの両方が同じであると思う唯一の文字列です。 答えが簡単か、それとももっと複雑なのですか? (^)の種類は何ですか。私がutopで(^)を入力すると、 "bytes - > bytes

    2

    2答えて

    Ocamlや関数型言語の一般的な学習を試みる中で、私はパターンマッチングについて検討してきました。 4タプルの各要素が等しいように整数4タプルが入力されたときには、trueと評価される式を作成します。これは、this documentationです。 (4、4、4、4) - >true (4、2、4、4) - > Iは見つけるfalse その値の特異性についてパターンマッチングを行います要素は明白

    2

    1答えて

    私はPrintf.sprintfの結果を別の関数(例えば、f)に差し込んでいます。 let printf : 'a 'b. ('a,unit,string) format -> 'b = (fun fmt -> Printf.sprintf fmt) |> f しかし、これはです。TypeCheck、ともObj.magicのいくつかのアプリケーションとそのバージョンを実行していない:

    1

    1答えて

    OCamlを初めて使用しており、cohttpをインストールしようとしています。Xcode使用許諾契約書(OS X Sierra 10.12パッケージマネージャ(opam)がサブの依存関係をインストールしようとしている間、0.6)私は、エラーを取得するocamlfind =-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-

    0

    2答えて

    私はちょうどその "問題"を打ちました:文字列の末尾にファイル(ASCII 0)を挿入するスマートな方法はありますか? 「スマート」と は、私は、我々はEOFではなく、「ASCII値が0である謎の文字」を追加していることを反映するものです let s = "foo"^(String.make 1 (Char.chr 0)) let s = "foo\000" よりも良いものを意味します。 E