higher-kinded-types

2熱

1答えて

より大きい種類のScalacheckの問題：タイプの暗黙の拡張の広がり任意

モナドタイプのクラスを定義しました。私はscalacheckでその法則を検証しようとしています。 私は次のエラーを持っている： diverging implicit expansion for type org.scalacheck.Arbitrary[(A, Box[B])] マイscalacheckコードは以下の通りです： class OptionMonadSpec extends Mon

scala scalacheck higher-kinded-types 2017-12-11

---

1熱

1答えて

共分散と高kindedタイプ2.12

次のコード type Id[+A] = A type ReprF[A, F[_]] = Unit type Repr[A] = ReprF[A, Id] covariant type Id occurs in invariant position in type [A]Playground.this.ReprF[A,Playground.this.Id] of type Repr が

scala covariance higher-kinded-types type-alias 2017-10-26

---

5熱

1答えて

「高親和性多型」がどのようなタイプの問題を解決するのに役立ちますか？

は、私がHistory of Haskellでいくつかのセクションを読んで、私が出会った： をしかし、より高いkinded多型は、独立した有用性を持っている：それは高い種類の上にパラメータ化データ型を宣言するために、非常に便利な完全に可能であり、時折、以下のような：「基本」のADTを知る data ListFunctor f a = Nil | Cons a (f a) 私は少しここに困惑して

haskell polymorphism higher-kinded-types 2017-02-21

---

0熱

1答えて

より上位の種類の継承を使用するにはどうすればよいですか？

型パラメータを含むクラスに対して継承を使用しようとしていますが、scalaコンパイラが型を正しく継承できませんでした。 trait Printer[X] { def pretty(src : X) : String } final case class Higher[P[_] <: Printer[_], X](printer : P[X]) { def pass(arg

scala inheritance higher-kinded-types 2017-02-26

---

0熱

2答えて

スカラ、非常によく似たタイプの抽象ロジック

私は私のコードをさらに抽象化できると感じていますが、私はちょっと立ち往生しています。私はこれを挑戦としてもっとやっているので、時期尚早の最適化については心配しないでください。私のオープンソースライブラリReactive Kraken用です。 このコードを見ると、私が意味することを得ることができます。 case class Response[T](error: List[String], resul

scala higher-kinded-types 2017-07-26

---

1熱

2答えて

より高い親和性のタイプの型パラメータを抽出して使用しますか？

は、私が高いkinded型を取るクラスを持っている、と私はこのような何かを書くことをしようとしていると言う： class Foo[T[U]](thing: T[U]) { def someMethodThatUsesU(arg: U): U = ??? } コンパイラがシンボルUを認識しないので、これは、コンパイルに失敗します。どうして？ class Foo[U, T[U]]のよう

scala higher-kinded-types 2017-03-05

---

1熱

1答えて

制約のある現実的に修飾された高次型のマッピング

私は用語が正しいことを願っています。 私は次の操作を実行したい： data Hide a = ∀ b. (A.ToJSON (a b), A.ToJSON b) ⇒ Hide (a b) mapHide ∷ (∀ c. (A.ToJSON (b c), A.ToJSON c) ⇒ a c → b c) → Hide a → Hide b mapHide f (Hide a) = (Hide

haskell higher-kinded-types higher-order-types rank-n-types 2017-03-08

---

1熱

1答えて

パターンマッチングのより高級なパラメータ

私は4つのサブケースを持つADTを持つドメインモデルを持っています。例えば sealed trait Param case class A(...) extends Param case class B(...) extends Param case class C(...) extends Param case class D(...) extends Param そして、これのP

scala pattern-matching higher-kinded-types 2017-11-13

---

4熱

1答えて

Rustでより親切な型（HKT）のサポートを持たない構造体を汎用化する方法を教えてください。

Iteratee構造を一般的な構造にして、別の解析機能を渡して別のIterateeを取得できるようにしようとしています。 use std::io::{BufRead, BufReader}; use std::str::{from_utf8, Utf8Error}; #[derive(PartialEq, Debug)] struct Cat<'a> { name: &'a st

function generics rust higher-kinded-types 2017-01-21

---