type-systems

-1熱

1答えて

Swiftタイプのシステムがタイプを間違った期待パラメータに変換しようとしています

Xcode 8 betaを使用すると、2番目の拡張子はコンパイルできません。これが迅速なバグか既知の制限であるかどうかはわかりません。 extension Array { func scanl<T>(initial: T, combine:(Iterator.Element, T) -> T) -> [T] { guard let first = self.first els

16熱

1答えて

AST操作のためのRc内のダウンキャスト形質

私はRustのASTを操作しようとしています。たくさんの操作があり、私は木を不変にしたいので、時間を節約するためにすべての参照はRcです。マイツリーノードは次のようになります。 enum Condition { Equals(Rc<Expression>, Rc<Expression>), LessThan(Rc<Expression>, Rc<Expression>),

2熱

1答えて

従属型

私は「ユニークなセールスポイント」が依存型のように見えるプログラミング言語Idrisに遭遇しました。どのような依存型があるのか、どのような問題に取り組んでいるのかを誰かが説明できますか？

1熱

1答えて

TypeScriptリテラル型パラメータは返されません。

TypeScriptには、リテラル文字列が汎用関数の型パラメータになるという便利なプロパティがあります。そのため、あなたは let a:HTMLAnchorElement = document.createElement("a"); を行うことができますし、コンパイラが、それは（あるため、過負荷createElement(tagName:"a"):HTMLAnchorElementの）正しいで

6熱

1答えて

一般型不履行ルール

Haskell's type-defaulting rulesデフォルト変数タイプ制約と（C1のA、...、CN A）場合：変数はない他の制約に表示タイプすべてのクラスCiが標準です。 CIクラスの少なくとも一つは、数値ですこれは私には理にかなっているが、それはまた、非常に限られます：実際に、それはあなたが常にあなたが作業しているとき、それは曖昧であるとき、型を指定しなければならないことを意

6熱

3答えて

共分散と分散フリップせっかち</em></strong>ため<strong><em>スカラで

は機能はこれはその結果タイプ引数でコントラ変異体及び共変であると言われていますわかりやすくわかりやすいですが、同じトピックではハウエフ私はそれが言う明確にそれを取得しておりません def foldLeft[B](z : B)(op : (B, A) => B) : B ：関数パラメータ内の小胞体には、分散は、そのパラメータが共変であり、それはようIterator のfoldLeft方法

10熱

1答えて

Agdaにはどのようなサイズの種類がありますか？

アグダのサイズの種類は何ですか？ MiniAgdaについての論文を読もうとしましたが、以下の点で進めませんでした：なぜデータ型はそのサイズよりも一般的ですか？私が知る限り、サイズは誘導木の深さです。データ型がサイズに対して共変するのはなぜですか？< = j - > T_i < = T_j？ >と#のパターンは何を意味していますか？

0熱

1答えて

T型の種類{type T}

私はdrmacvierのScalaの存在型についてのブログを行っています。それを読んだ後、私はタイプを試していました。rndujaブログで与えられているように、次のようにタイプの平等をチェックしています。 def implicitly[A](implicit a: A) = a // To check equality of two types class =:=[A, B] implic

8熱

1答えて

EWS：私はMicrosoft.Exchange.WebServiceのAPIを使用したいのF＃

でExchangeCredentialsとNetworkCredentialの互換性がありません：型 'NetworkCredentialのは' ではありません。 C＃が細かい ExchangeService service = new ExchangeService(userData.Version); service.Credentials = new NetworkCredential(u

3熱

1答えて

Scalaの従属型の等価プルーフ

Scalaで等価証明を実装することは可能ですか？ Idrisによるタイプドリブン開発では、平等プルーフタイプの定義方法の例を示しています。 data (=): a -> b -> Type where Refl : x = x スカラ座にこれを変換するために私の最初の本能は、このようなものです。 sealed trait EqualityProof[A, B] final case