strong-typing

7熱

1答えて

私は少しのプログラミングとHaskellを行い、GroovyでいくつかのHaskellリスト処理関数を実装したかったのです。以下はunfoldrの実装です。基本的にAは、結果のイテレータ（つまりリスト）のタイプであり、Bは状態です。私は強いタイプを与えたいのですが二つあります。は私が定義できるようにしたいと思いちょうどTuple 私はTuple<A,B>の代わりを言うことできるようにしたいので

0熱

1答えて

厳密に型指定されたビューでポリマーライブラリを使用するにはどうすればよいですか？

ASP.NET MVCプロジェクトでStrongly-Typed ViewのPolymerライブラリを使用できますか？またはカスタム要素と剃刀を使用できますが、ポリマーライブラリが大きすぎます。他の方法はありますか？

0熱

1答えて

キャストするためのきれいなアプローチC＃での匿名型への強く型入力

thisからのフォローアップ。からAnonymous Typeにキャストしたいと思います。次のクラスは、実行時に匿名型オブジェクトに変換する必要があります。これを達成するために苦労しています。 public sealed class CountryModel { public int CountryId { get; set; } public string Country

20熱

3答えて

numpy.ndarrayのヒント/注釈（PEP 484）タイプ

numpy.ndarrayクラスのヒントを実装した人は誰ですか？現在、私はtyping.Anyを使用していますが、より具体的なものを持つことはうれしいでしょう。たとえば、numpyの人々がarray_likeオブジェクトクラスのためにtype aliasを追加した場合。さらにufuncと同様に、dtypeレベルのサポートを実装して、他のオブジェクトもサポートするようにしてください。

5熱

1答えて

ジュリアの抽象型の配列の使用

私はジュリアを探検しているので、初心者です。今私は強く型付けされた機能を探求しています。私が認識していることは、配列の抽象型の使用法がわかりません。例を挙げて説明しましょう：具体的な型にかかわらず、実数の配列を受け入れる関数を作成したいとしましょう。私が使用します。 function f(x::Array{Real}) # do something end この関数は、私がいる限

29熱

2答えて

PHP7のスカラー型と厳密型はパフォーマンス向上機能ですか？

PHP7以降、今はuse scalar typehint and ask for strict types on a per-file basisになります。これらの機能を使用することによるパフォーマンス上の利点はありますか？はいの場合、どうですか？の他のコードを使用するときに誤解を避け、不要な型変換の問題にもっとセマンティックなコードを避けるより正確なエラー、私のような概念の利点を、唯一

3熱

1答えて

いくつかのRxJSオペレータがangular2 CLIプロジェクトから欠落していますか？何をすべきか？

私はRxJSを学ぶ過程にあり、私は常に興味深い多くの演算子と組み合わせを試しています。私はここでフォームを学習しています：http://reactivex.io/documentation/operators.htmlとhereです。私はAngular2 rc4 CLIプロジェクトを持っています。私はTypescriptを使用しています。 RxJSは次のとおりです。5.0.0-beta.6 問

9熱

5答えて

強く型付けされたクライアント側の言語ですか？

強力なサーバー側言語のオプションはたくさんありますが、強く型付けされた本当に強力なクライアント側言語について考えることはできません。 Javascriptはフォーム、基本的な数学、AJAXなどでサーバーとやりとりすることで多くのことをしますが、他の言語と比較して制限があります。私は、画像処理やデータ処理が可能な、厳密に型指定されたクライアント側の言語を探しています。変数のデータ型を強制するのに役

0熱

1答えて

Pythonで厳密な型付けされた変数を定義する

Intellisenceは、オブジェクト型が実行時にのみ認識されるため、オブジェクトのPythonメンバーを手助けできません。変数の型を指定する方法はありますか？など。何かとしてそれを考えるためにバニラPyCharmを強制する方法はあり for data:xml.etree.Element in root.findall('./data'):