問題タブ [ml]

皆さん、MLでの次の割り当ての違いは何ですか、

と

ML を学習して使用したいのですが、世の中には多くのコンパイラがあります。私は欲しい：

• 速度
• メモリ使用量が少ない
• ねじ切り
• 可変配列とレコード型
• 続き
• 本番コードの準備ができました
• 簡単に
• 最新の
• ... 便利なライブラリ
• ある程度移植可能

私は必要はありません：

• オブジェクト
• GUI
• Windows のサポート

たとえば、 OCaml、OCaml Batteries include、MLtonを見つけました。どちらを選ぶべきかアドバイスはありますか？

私のmlプログラムでは、ネストされた構造を使用してコードを構造化しています。これらの構造の署名を定義していますが、署名をネストすることはできません。

例：

このために私はこのようなことをしたいと思います：

現在、これは機能しません。構文エラーが発生します。私の質問：

1. これは悪い考えですか？もしそうなら、なぜですか？
2. どうすればいいのですか？ネストされた署名をネストされた構造に適用するにはどうすればよいですか？

ml関数を作成し、出力で= Mary（ "a"、[Zary＃、Zary＃]）​​を取得しています。ここで、MaryとZaryはコンストラクターです。しかし、ご覧のとおり、出力には「＃」が含まれています。val Mary（ "a"、x）=out;を実行する場合 次に、x = [Zary（ "b"）、Zary（ "c"）];を表示しています。そうです。

ハッシュではなく完全な出力を取得したい。親切に私を助けてください。

[1,2.0] が有効な構造である int と float のリストを定義したいと考えています。

F# には、たとえば Number から派生した int と float を使用した型または型階層に AND がありますか?

ありがとう。

選択ソートを使用してリストをソートするための単純な関数を修正しようとしています。Imコードは次のとおりです。

...そしてそれは以下のエラーを返します：

データ/型コンストラクターと関数の違いは何ですか？Haskellはそれらを組み合わせて、ユニバーサルインターフェイスを提供します（すべてが関数のように見えます。特に、部分的に適用できます）が、MLファミリー言語はそれらを区別します。

関数がlist_fun : int_list -> string listあり、その関数でモジュールとして定義したStringSetを使用すると、関数を返して取得StringSet = Set.Make(String) ;;しようとしますが、代わりに、StringSetと同じものと思われるを取得します。Set.elements sstring listStringSet.elt listtype t = string

これらのタイプが同じように定義されていることをOCAMLにどのように理解させますか？OCAML標準ライブラリ関数を使い始めたときにこの問題に遭遇したケースがいくつかあります。

Haskell スタイルの型クラスと ML スタイルのモジュールが、インターフェースを指定するための異なるメカニズムを提供することはよく知られています。それらは (おそらく) 同等の能力を持っていますが、実際にはそれぞれに利点と欠点があります。

私は言語機能に関しては少し包摂主義者なので、私の質問は次のとおりです。Haskell に ML スタイルのモジュールを追加する際の主な理論上の問題は何ですか? 次の行に沿った回答に興味があります。

• ML スタイルのモジュールとの相互作用が不十分な既存の型システム機能はどれですか? (不十分な相互作用の例は、fandeps が技術的に関連付けられた型と同等であるにもかかわらず、GADT と関数の依存関係です!)

• ML スタイルのモジュールをコンパイルするために、コンパイラ側であきらめなければならないことは何ですか?

• ML スタイル モジュールは型推論とどのように相互作用しますか?

関連読書:

• この疑問を引き起こした Robert Harper の投稿
• Haskell Reddit でのディスカッション

Just a basic Casaer Cipher. I've tested all of the sub functions, just encryptChar() does not particularly work. I get an infinite loop. It's supposed to be recursive. Here's the all code: