問題タブ [ocaml]

文字列ではなく、一部の型の等価比較のようです。

これは予想通りです。

"odp" != "odp"が評価されるのはなぜtrueですか? それは実際に何をしているのですか？型エラーを生成するべきではありませんか?

一般的なデバッグ手法について、何を読むことをお勧めしますか? 特定のプラットフォーム ソリューションよりも、原則とベスト プラクティスに関心があります。記録のために、私は主に .NET (F#、C#) を使用し、Haskell と Ocaml に手を出しています。

ある金曜日の夕方、家に帰る途中で同僚とデバッグについて話しました。VisualStudio デバッガーからライブ オブジェクトの状態を表示および変更できることを知って驚きました。彼はまた、彼が知っている別の開発者である「Java の第一人者」が、デバッグの魔法を彼に示し、デバッグに関する記事または小冊子を渡したことがあり、私の同僚の最初の「それには何もない」という態度に異議を唱えたと述べました。虫狩りに思った以上の時間を費やしたので、挑戦する準備もできています。お勧めのリンクはありますか？

OCamlWinPlus v1.9RC4 を使用しています。それはかなりハードコアです。常にクラッシュし、基本的な機能が不足しています。Windows Vista に推奨できるトップレベルの OCaml プログラムは他にどのようなものがありますか?

次のタイプを定義した場合：

start = Noun「タイプ変換のリストのどこにレコードがあるか」という質問に答える最良の方法は何ですか？

のようなもの

構文が機能していないように見えることを除いて。

私はこのレコードタイプを持っています:

核だけが定義されているシラブルをインスタンス化したい場合はどうすればよいですか? デフォルト値を指定できますか? デフォルトは [] またはそのようなものですか？

PHP では、引数のデフォルト値を次のように設定できます。

OCaml に同様の機能はありますか?

int リストまたは文字列リストを指定する代わりに、メンバーが文字列または int である必要があるリストを指定できますか?

オブジェクトがある場合、そのタイプをどのように判断できますか? instanceof(Javaの演算子に相当するOCamlはありますか?)

私は ocamlyacc と ocamllex で書かれたパーサーとレクサーを持っています。行末のセミコロンを忘れた場合のように、解析するファイルが途中で終わっても、アプリケーションは構文エラーを発生させません。私はEOFを発生させてキャッチしているため、lexerが未完成のルールを無視しているためだと認識していますが、構文エラーを発生させるにはどうすればよいですか?

これが私の現在のパーサーです（簡略化）、

およびレクサー (簡体字)、

サンプル入力ファイル、

解決策の 1 つは、コマンド ルールに再帰呼び出しを最後に追加し、空のルールを追加することです。これらはすべて、メイン プログラムに戻るリストを作成します。私はおそらくEofを期待として解釈し、レクサーのエラーではなく終了条件を解釈していると思いますが、これは正しいですか?

ここに関数定義があります：

ここに式があります：

g引数を取らない定数関数と考えることができますか? 違いはありますか？