問題タブ [polyml]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
sml - 標準 ML での Word64 へのポリモーフィック強制
8、16、32 ビット ワードを 64 ビット ワードに変換するポリモーフィック関数を作成したいと思います。どうすればいいですか？
更新1
基本ライブラリでは、すべての単語構造には関数がtoLargeあり、 とfromLargeの間で変換しLargeWordます。これは、私が理解している限り、Word32 の同義語です。
更新2
仕様によると、ワード サイズは 2 の累乗でなければなりませんが、SML/NJ では
PolyML にいる間
それはどうですか？Word.wordSize2 のべき乗でないのはなぜですか? Wordまた、これらの SML 実装で表現が異なるのはなぜですか?
更新3
実際、(<<) 演算子を使用して小さな単語を大きな単語に「昇格」させたいのですが、その方法がわかりません。
更新4
WordアーキテクチャにLargeWord依存し、機械語を表すようです。SML/NJ は 64 ビット アーキテクチャをサポートしていないため、ワード サイズが異なります。
recursion - PolyML - 再帰的なリストの並べ替え
リストが PolyML でソートされているかどうかを確認しようとしていました。リストは組み込みタイプではありませんが、私が次のように定義しました：
昇順と降順の両方をチェックする方法がわからないので、今のところ、昇順に限定しています (より一般的な解決策のヒントは大歓迎です!)。
したがって、私のアプローチは次のとおりです。
最初のものInt.minIntはタイプではないIntので、タイプの不一致があります。どうすればそれを解決できますか？
第二に、このアプローチは非常に素朴ではないかと思います。どうすれば問題をより良い方法で解決できますか?
お時間をいただきありがとうございます。良い一日を！
ml - Poly/ML プログラミングで重複のない要素リストをカウントする
Poly/ML での関数型プログラミングのこの演習に行き詰まっています。
タイプ ''a list -> int の関数を実行して、''a 要素のリストを引数として取ります。この関数は、重複をカウントせずにリスト内の要素の数を返す必要があります。
私は本当にそれを解決する方法について考えていません。
助けてくれてありがとう！