gadt

0熱

1答えて

パラメータ化タイプ（GADT）

例えばセレクタのインスタンスを受け入れるアクション。また、Action Predicateの実装も実装していますが、引数の型はコレクションの戻り値の型と一致する必要があります。 主な考え方は、あるタイプを別のタイプに依存させることです。それは普通の古いJava 6でも可能ですか？

java generics gadt 2012-01-10

---

9熱

1答えて

GADTを使用した場合のパフォーマンスの影響

answering a question with a suggestion to use GADTsの場合、パフォーマンスに関するいくつかの質問がコメントに表示されました。質問は型クラスPlotValue関与： class PlotValue a where value :: a -> Double をし、私の答えは、GADT Inputを使うことを提案： data Input w

performance haskell gadt 2011-03-24

---

8熱

2答えて

型コンストラクタの型推論

私はScalaの型コンストラクタの型推論に関する質問があります。 type Pair[A] = (A, A) type BinaryTree[A] = Tree[Pair, A] 私は今BinaryTreeを定義することができます：私のツリーの定義に基づいてBinaryTreeを sealed trait Tree[C[_], A] case class Leaf[C[_], A](a:

generics scala type-inference higher-kinded-types gadt 2011-12-03

---

5熱

3答えて

ocamlのレベルの整数

OCaml（3.12）で型レベルの整数を作成して、それに対する加減算演算をサポートする提案やアドバイスはありますか？例えば 、私はこのような表現の数字を持っている場合： type zero type 'a succ type pos1 = zero succ type pos2 = zero succ succ ... 私はこのようなタイプで関数を定義する方法が必要： val add:

types ocaml gadt 2011-08-30

---