問題タブ [utop]

~/.lambda-term-inputrc ファイルを何らかの方法で編集する必要があると考えていますが、実際に何を書き込むべきか迷っています。

と入力#require "するとutop、 の後に追加の文字を入力するたびにこのメッセージが表示されます"。

パッケージのインポートが機能していないようです。utop経由で再インストールしようとしopamましたが、エラーが続きます。誰が何が間違っているのか知っていますか?

なぜ Lwt print 関数Lwt_io.printに type が あるのか​​混乱していますが、string -> unit Lwt.t 実行Lwt_io.print "a" >>= fun () -> Lwt_io.print "b";;すると "ab" が出力され、type unit が返されます。

Lwt_io.print は unit ではなく unit Lwt.t を返すため、これは型エラーになると思います。スレッドの 2 番目の部分が呼び出されるのはなぜですか?

ランニング

1 回の utop セッションで約 8 秒かかります。

ここで、別のutop セッションに移動して実行すると、

これには約 13 秒かかります。

最後に、同じセッションで両方を行いましょう

前者はセパレートセッション同様8秒かかりますが、13秒かかっていた操作が3秒に！何が起きてる？

OCaml が内部で型を使って行うすべての作業について、私はほとんど知りません。おそらく、スマートキャッシングを介して2式ツリーから4式ツリーを構築できるのでしょうか?

それとももっと手の込んだものですか？

たとえば、私のカスタム型にはどちらの場合も再帰コンポーネントがあるため、ある種の「構造的」類似性があるかどうかをチェックexpression_1していますか? expressionコンパイラがプログラム内で型に注釈を付けて統合するにつれて、新しい型に遭遇したときにいくつかのオプション (しゃれは意図されていません) がある場合があります。それとも、それが知っているタイプを通過してから、私が定義したカスタムタイプを通過しますか?

コンパイラは最初に何らかの型を評価してから、それが特定の型であるかどうかを確認する表現を考え出していますか? この例では、すべてのexpression * expression... の再帰構造をツリーに構築していますか?

よくわからないけど知りたい！