Elmの型制約

Question

What does comparable mean in Elm?comparableは、型変数を組み込み型に制限するために使用できるビルトイン型制約です。これはよく似ています。次の質問が思い浮かびます（見つけにくいです）：

• 現在Elmには他のタイプの制約がありますか？どこかリストがありますか？
• 独自の型制約を作成する方法はありますか？ ElmはHaskell Typeclassesのような機構を持っていないので、答えはノーだと思いますか？
• 上記がtrueの場合（カスタムタイプの制約なし）、それはElmで多型がかなり制限されていることを意味しますか？例えば、以下のようなことは今のところ達成できないと思われます。g（すなわち、f）の引数として使用できる要素（同じではあるが不確定な型の要素）のリストを受け入れる関数fを作成したいと思います。タイプaのList a、しかもinstビーイングがg(inst)は理にかなっていることを意味受け入れ）

Answer 1

comparableほかに（int型、浮動小数点数、文字、文字列、リスト、タプル）appendable（文字列、テキスト、およびリスト）もありますし、 number（整数と浮動小数点数）私は正式なリスト（コンパイラソースの外）を見ていない。

あなた自身の類似のタイプメスを定義する方法はありません。

はい、これはあなたが書くことができる機能を制限します。この限界が問題であるとEvanに確信した人はいません。