type-variables

1熱

1答えて

を実装するから、typeパラメータのクラスを取得することは、私はStringでそれを拡張しFooと呼ばれるList<T>を実装するJavaでのいくつかのクラスを考えてみましょう、どのように私はListの型変数（この例ではあるStringある）で入手できますか？ [私が行こうとする前に知っておいてください。私は、これはFooクラスのメタデータは、一般的なスーパークラスとインタフェースが含まれているた

10熱

1答えて

haskellの複数の型変数の順序の規則は何ですか？

たとえば、ParsecTの定義には複数の型変数があります。 newtype ParsecT s u m a = ParsecT {unParser :: forall b . State s u -> (a -> State s u -> ParseError -> m b) -> (ParseError -> m b)

3熱

2答えて

Free PascalにはHaskellのような型変数がありますか？

Haskellでは、タイプがaの3つの関数を定義し、任意のデータ型aに対して3回繰り返された要素のリストを返します。 thrice :: a -> [a] thrice x = [x, x, x] フリーパスカルは型変数を許可しますか？そうでない場合は、Free Pascalでこれを行う別の方法がありますか？

1熱

1答えて

交差型パラメータでシリアライズ可能なラムダをキャプチャするときのClassCastException

ラムダをキャプチャするために型変数型の交差を使用しようとしたときにスローされた例外をレプリケートしました。私は、ローカルまたはでConsumers.serializableを使用することができるよ java.lang.ClassCastException: [insert lambda name] cannot be cast to java.util.function.Consumer ：

3熱

1答えて

xyzが、私は以下のクラスを持つ型変数T

の範囲内ではありません abstract class AbstractPreloadDefinition<T extends PersistedEntity<?>> implements PreloadDefinition<T> およびAddressmasterModelは次のようになります。例えば、 AddressmasterModelは、 PersistedEntityを実装する。エラーは

11熱

1答えて

GHCiは型変数の名前をどのように選ぶのですか？

インタラクティブGHCインタプリタを使用している場合、表現の推論されたタイプに依頼することが可能です： Prelude> :t map map :: (a -> b) -> [a] -> [b] mapがdefinedとしてあるので、それは署名から型変数の名前を取るようですプレリュードの map :: (a -> b) -> [a] -> [b] map _ [] = [] map

-1熱

2答えて

異なるタイプのアイテムをマップできるようにリストに配置

私は、問題を解決するために、スーパークラス内のサブクラスのフィールドにアクセスすることについて先に投稿しました。しかし、彼らはそれが事実上不可能であることを明らかにした。だから私は私が達成したいものの少し例を作った： abstract class LotteryTicket(val numbers: String) { val price: Int } //The numbers ar

3熱

0答えて

ハスケルGADT「Show'-インスタンスタイプ変数控除

{-# LANGUAGE GADTs #-} data Expr a where Val :: Num a => a -> Expr a Eq :: Eq a => Expr a -> Expr a -> Expr Bool eval :: Expr a -> a eval (Val x) = x eval (Eq x y) = (eval x) == (eval

0熱

1答えて

型変数

私はこの { "items": [Day], "pageCount": Int, "totalCount": Int } またはこの { "items": [Order], "pageCount": Int, "totalCount": Int } ように見えるかもしれいずれかのJSONデータを持っていますFromJSONで使用するためのフィールドがありますが、さまざまなエ