type-systems

26熱

2答えて

私はagdaを学ぼうとしています。しかし、私は問題があります。私がagda wikiで見つけたすべてのチュートリアルは私にとっては複雑すぎて、プログラミングのさまざまな面をカバーしています。 agdaの3つのチュートリアルを並行して読んだ後、私は簡単な校正を書くことができましたが、実際の単語アルゴリズムの正確さのためにそれを使用するのに十分な知識はまだありません。件名に関するチュートリアルをお勧

5熱

2答えて

名前が種類だけでなく種類を形成する理由を教えてください。

しばらく前にHaskell拡張機能の1つ（リンクを見つけることができません）とrecently in Ur私は、レコードフィールドの名前が種類を形成していることがわかりました。タイプ抽象化がそれらのために十分でない理由を誰かが説明できますか？

18熱

3答えて

この機能をHaskellのタイプシステムで実装できますか？

Scalaでは、コレクションの上位演算は常にコンテキスト内で可能な限り最良の型を返します。たとえば、BitSetの場合、intをintにマップするとBitSetが得られますが、intを文字列にマップすると、一般的なSetが得られます。同様に、mapMapのペアを生成する関数では、Mapが返されます。それ以外の場合は、簡単なIterableを取得します。静的型とマップの結果のランタイム表現はどちらも

11熱

2答えて

OCaml Printf.sprintf

この現象はなぜ発生しますか？ # Printf.sprintf ("Foo %d %s") 2 "bar";; - : string = "Foo 2 bar" # Printf.sprintf ("Foo %d"^" %s") 2 "bar";; Printf.sprintf ("Foo %d"^" %s") 2 "bar";; Error: This expression h

4熱

1答えて

Dは動的に作業することを可能にするために十分に表現力のあるタイプのシステムを持っていますか？

Dは、静的型付きフレームワーク内で動的に（すなわち、複数のクラスの値を使用して）作業することを可能にするために十分に表現型のシステムであるを持っていますか？私は、読んだ後にお尋ねします。Dynamic languages are static languages.サンプルコードがあればそれを高く評価します。

24熱

1答えて

Scalaの型システムのうち、チューリングが完了したのはどのプロパティですか？

Scalaは、システムFωに基づくタイプシステムを使用します。これは、通常、強く正規化されていると言われています。強く正規化することは、非チューリングの完全性を意味します。それにもかかわらず、ScalaのタイプシステムはTuring-completeです。正式なアルゴリズムやシステムと比較してScalaの型システムTuring-completeが変更/追加/変更されましたか？

0熱

2答えて

スカラ - Scalaで型パラメータ

のスーパータイプで、どのように私はこのような何か行うことができます。xのタイプはタイプの任意のスーパータイプである」という意味の def cast [Type] (x: _ >: Type, errMsg: String): Type = { if (x.isInstanceOf[Type]) { x.asInstanceOf[Type] } else {

19熱

1答えて

ハスケルの存在量を詳細に数値化する

存在量の数値化はどのタイプでどこで使用できるのかという一般的な考えがあります。しかし、これまでの私の経験から、概念を効果的に使用するために理解する必要がある多くの警告があります。質問： GHCに存在量の定量化がどのように実装されているかを説明する良いリソースはありますか？私。存在型の統一はどのように機能しますか - 統一可能なものと不可能なものは何ですか？タイプの後続操作はどのような順序で実

1熱

2答えて

llvm-gccでコンパイルするときのヒントの種類は？

いくつかのCコードで、私は関数の引数として単純な静的配列を定義しています、と言う： void foo(float color[3]); 私はllvm-gccでそれをコンパイルすると、それは次のようLLVMアセンブリ言語の出力を生成します。 define void @foo(float* %n1) nounwind ssp { LLVMアレイ[3 x float]またはベクトル<3 x f

94熱

4答えて

Scalaでは `＃ '演算子は何を意味しますか？

私はこのブログでは、このコードを参照してください。Type-Level Programming in Scala： // define the abstract types and bounds trait Recurse { type Next <: Recurse // this is the recursive function definition type