typeclass

3熱

1答えて

What does comparable mean in Elm?comparableは、型変数を組み込み型に制限するために使用できるビルトイン型制約です。これはよく似ています。次の質問が思い浮かびます（見つけにくいです）：現在Elmには他のタイプの制約がありますか？どこかリストがありますか？独自の型制約を作成する方法はありますか？ ElmはHaskell Typeclassesのような機構を

4熱

1答えて

Scalaが暗黙的にnullを返すことはいつですか？

Scalaのimplicitlyの呼び出しが実行時にnullを返すと、私は最近驚いていました。暗黙的なスコープで暗黙的なインスタンスが利用できない場合、コードをコンパイルしてはならないと考えると、そうは考えられませんでした。暗黙のうちにnullを返すことはいつ可能ですか？これはコンパイラの制限ですか、これが予期される動作ですか？ここにいくつかの文脈が役立ちます。私は、任意のネストされたケースクラ

2熱

2答えて

普遍的な限定された制約の書き換えルール/特殊タイプエラー

いくつかのタイプ特化を実装しようとしていますプリズムで動作するいくつかの関数があり、 GHC 8で問題があります。 < 8ですが、別の質問ではです）。 A問題の（不自然な）最小限の例： foo :: Prism' s a -> Prism' s a foo = id {-# RULES "foo/foo'" foo = foo' #-} foo' :: Prism' Char Bool

1熱

1答えて

型なしのREST APIからスカラ型クラスベースのAPIを再利用する方法

呼び出し元が利用可能な型情報を持っていて、def write[T : Writer](x: T)と呼ぶことができるように、プログラムで使用されるAPIがあるとします。ことを考えるとしかし、今は型なしで、REST APIは、IDが動作するため、我々は、手元に型情報を持っていないあなたのREST APIからこれらの型クラスを再利用したいと思います...今、 Tのすべてのインスタンスは、我々はそれに

3熱

1答えて

Coqでネストされた定義の展開

私はCoqのmath-classesライブラリを使って作業しています。このライブラリは、型クラスを賢明に使用して、このような表記をオーバーロードします。 (* From math-classes *) Class Equiv A := equiv : relation A. Infix "=" := equiv : type_scope. (* My code *) Definition

1熱

1答えて

エラー予想されるタイプ 'Char'と実際のタイプ '[Char]'を一致させることができませんでした。

多項式を表すtypeclassのshow関数の文字列表現を作成しようとしています。私は 'Char'から '[Char]'へのミスマッチの型エラーを受け取り続けますが、私の理解から、haskellの "append"関数はCharを文字列/ Charに連結することができます。私はどこに問題があるのか、私が受け取ったエラーに基づいて解決策を探すべきかを理解していません。ここに欠陥のあるコードがあ

2熱

1答えて

Scalaの型クラスAPI

これは、型を制限することなく契約を定義するためにScalaで使用することを検討しているパターンですが、流暢なAPIはすべて冗長な意味を持たずに残しています[..]。アイデアはそうのような型クラスの上に暗黙のクラスを構築することです： val sum = n1.add(n2) の代わりに：：あなたがすることができる範囲で右暗黙で今 implicit class NumberLikeApi[N

2熱

1答えて

impredicative型を作成する方法クラス型で動作する

ImpredicativeTypesで何ができるかを見ていて、正確に何ができるのか見たいと思っていました。 TypeClassesとのやりとりに関しては、私が気がついたことに遭遇したときには奇妙な振る舞いがあります。 :t mempty mempty :: forall a. Monoid a => a :t Right Right :: forall a b. b -> Either a

5熱

1答えて

AuxパターンはScalaで何を達成しますか？

タイプメンバが型パラメータに抽出されるAuxパターン（シェイプレスや他の場所で使用されているような）の感覚が少しありますが、同じ引数リストの引数が 'お互いに依存していますが、私は一般的にどのようなものが使用されているのか、どのような問題が解決するのかはっきりしていません。たとえば、私は現在、ホワイトボックスマクロによって返されたより具体的なタイプを保存して処理する方法を理解しようとしています。

1熱

1答えて

タイプファミリーを使用して、柔軟なコンテキストで重複するインスタンスを明確にしようとしているときにエラーが発生しました

私は作業中のタイプの型引数についてかなり複雑な条件を使用して型クリスタルのインスタンスを定義しようとしています。私が定義しているインスタンスの中から選択するクローズドタイプのファミリを宣言することになります。残念ながら、GHCはインスタンスが重複していると不満を表明するので、私はそのアイデアをまったく動かすことができません。ここで私が見ている同じエラーを与える簡単な例です： {-# LANGUAG