type-constructor

13熱

3答えて

私はHaskellの新人で、現在Real World Haskellを見ています。本書では、型コンストラクタは型シグネチャでのみ使用され、値コンストラクタは実際のコードで使用されると説明しています。また、両方の名前が互いに独立していることを示す宣言の例を示します。最初の場所に2つのコンストラクタが必要なのはなぜですか？そのうちの1つだけが実際のコードで使用されていますか？実際のコードで型コンストラ

7熱

1答えて

タイプの脱構築

私のデータ型は、常に、少なくとも2つのパラメータを持つことになりますし、最後の2つのパラメータはそれぞれ、「Q」と「M」は常にあります。エラー Could not deduce (bBase ~ D2 t0) (LINE 1) で {-# LANGUAGE TypeFamilies, FlexibleContexts, UndecidableInstances, TypeOperators, D

0熱

1答えて

型生成者の抽象型メンバーをスカラーで推論できますか？

例えば trait F[T] { type Out } object F { type Aux[T, out] = F[T] { type Out = out } } def glhf[t, out](implicit f: F.Aux[t, out]): out = ??? 私は、これは、抽出のいずれかの種類（さえ複雑なクロス暗黙の型変数）のための魔法のように動作し、暗黙

1熱

1答えて

Haskellは私がこのような何かをしたい列挙

を経由して整数値を制限する：右側には有効なデータコンストラクタである必要がありますので、私はのようなものを使用しなければならないでしょう data Bit = 0 | 1 しかし（？） data Bit = Zero | One 私は私の難問を解決する最善の方法は何実際の値0と1を使用したいので、これは特に良いではないでしょうか？ GHCiの中で、例えば instance Num Bool whe

4熱

4答えて

F＃（関数）に（カスタム）型を代入する

F＃で行ったすべての進歩について、コンストラクタとデコンストラクタの構文のさまざまな部分でまだ失われています。私は再帰的シミュレーションを実行しています。パラメータの1つは停止条件の関数です。私は様々な停止条件を選択できます。私はそれらにすべて同じ署名があるようにする。だから私はそれがカスタムタイプにこれらの機能をロックダウンするために、素敵な、教育だろう決める - 署名を一致させるために起こる

3熱

2答えて

私は他のタイプに余分なデータを添付して、に似た特性を持つようにしようとしているタイプのパラメータ

のサブタイプである形質またはミックスインと汎用的なクラスを作成する方法がありますです： trait ExtraData { def getExtraData() : Array[Byte] } そして、私は現在、このようにそれを使用しています： class ExternalType1WithExtraData(superType:ExternalType1, bytes:Array

2熱

1答えて

ジュリア：自己定義型の空/初期化多次元配列を作る

私は以下のようにKeyValと呼ばれる定義された自分のタイプを作っています： type KeyVal first::Int second::Float64 end そして私は、空/またはゼロ行列で初期化をしようとしています要素のタイプがKeyValであること。は、通常、他のタイプと私は myMat = zeros(KeyVal, (10,3)) を行う。しかし、この