type-systems

1熱

2答えて

私は、サブクラスに追加された抽象型の名称提供する特色を作成しようとしている抽象型の名前

取得： trait T { type T def myClassOf[T:ClassTag] = implicitly[ClassTag[T]].runtimeClass def getType = { myClassOf[T].getSimpleName } } class TT extends T { type T = Stri

2熱

1答えて

Scalaの型システムとFunctionNへの入力

ScalaがFunction1とFunction2..Nを処理する際に明らかな矛盾がある場合にパッチを当てる方法があるかどうかは疑問です。 Function1については、Int => Stringを言う、パラメータリスト（INT）が（二つの同型であっても）がINTと同一ではない、まだコンパイラは裸INT（以下のコードを参照）として入力を推測します。 Function2..Nの場合、 val f：

4熱

2答えて

未定義のプロパティを持つシンプルなTypeScriptユニオンタイプを絞り込むことはできません。

私は2つのユニオンタイプを持っています.1つはプロパティを持ち、もう1つは持っていません。私は、そのプロパティの存在をチェックすると、それを絞り込むことができますが、それは動作していないと仮定しました。私はthis Playground reproを作成しました。この他のvery similar thingはうまくいくようです。私は組合を間違った方法で使用していますか？ここでは完全を期すための

3熱

2答えて

型チェッカーを満足させるために関数型を "ラップする"必要があるのはなぜですか？

プログラムタイプチェックを次 {-# LANGUAGE RankNTypes #-} import Numeric.AD (grad) newtype Fun = Fun (forall a. Num a => [a] -> a) test1 [u, v] = (v - (u * u * u)) test2 [u, v] = ((u * u) + (v * v) - 1) mai

0熱

1答えて

Java genericsでは、1つのパラメータでジェネリックである必要があるタイプをどのように定義できますか？

具体的な例を挙げておきます。私はFutureConverterと呼ばれるインターフェイスを持っています。考え方は、CompletableFutureを別のタイプに変換できることです。私のライブラリを別のJVM言語で使いたい場合に便利です。 CompletableFuture<MyClass>を返すメソッドがあり、戻り値の型をMyGenericFutureType<MyClass>に変換したいと思

4熱

2答えて

C++ 11標準では、 "auto n2 = const_cast <int &>(n);"で "n2 is int＆"を保証していますか？

const int n = 0; auto& n1 = const_cast<int&>(n); auto n2 = const_cast<int&>(n); C++ 11標準の保証n2 is int&はauto n2 = const_cast<int&>(n);ですか？ auto n2 = const_cast<int&>(n);の代わりにauto& n1 = const_cast<in

2熱

1答えて

アーランのタイパーは、私が<em>タイパー</em>を模索していた文字列

のための奇妙な種類を推定し、そしてそれを何もしません機能与えた： const_str（） - >「QWEを」。男のタイプは次のように推定される： -spec const_str（） - > [101 | 113 | 119、...] 、すなわち "EQW"（ハァッ！？）、この '...' 事業が続きます。定数の文字列が混乱しているように見えます。タイバー;私はこのようなものを使うべきではないこ

5熱

1答えて

Scalaの配列 - 同じ亜型の要素だけを受け入れる

私は、次のようなタイプの階層を持っていると仮定すると： trait Color case class Red(r: String) extends Color case class Green(g: String) extends Color はすべてRedのいずれかの要素が含まれSeq[Color]を受け取るメソッドを作成することが可能であり、またはすべてGreenですが、両方ではありま

1熱

1答えて

coqのようなプログラムの正確性を証明することによってメモリ管理の問題を解決しますか？

私は、メモリ管理の問題（メモリリーク、ダングリングポインタ、ダブルfree()など）を解決できるタイプシステムで、プログラムの正確性を自動的に証明することで言語を構築することが可能かどうかを質問したかっただけです統合されたcoqのような定理証明（証明のようなプログラムの考え方のような）のような命題としての型を持つか？このアプローチには根本的な論理的な問題がありますか（問題はおそらく停止しています

19熱

2答えて

は再帰

私はdfoldを使用しようとしていますせずに機能をn回呼び出すために、タイプが各繰り返し関数呼び出しの後に変更することを可能にする折り目を作成すると、here dfold :: KnownNat k => Proxy (p :: TyFun Nat * -> *) -> (forall l. SNat l -> a -> (p @@ l) -> p @@ (l