問題タブ [dynamic-typing]

Objective C で動的にキャストし、インスタンス プロパティにアクセスしたいと思います。ここに擬似コード：

次に、コンパイラは次のことを教えてくれます: プロパティ '緯度' がタイプ '__strong id' のオブジェクトに見つかりません

Class1 と Class2 はどちらもコア データ エンティティであり、ほぼ同じ種類の属性を持っています。condition1では、 _fetchedResultsは Class1 タイプのオブジェクトを返し、condition2では、 _fetchedResultsは Class2タイプのオブジェクトを返します。

誰かがこの種の問題を解決する方法のヒントを教えてくれませんか?

ありがとう！

動的に型指定された言語 (Python など) は実行時に型チェックを実行するため、変数またはパラメーターは任意の型の値を参照できます。言語定義では、変数とパラメーターを型指定しない必要がありますか? 言語を変更して、変数とパラメーターに型を持たせることは理にかなっていますか?

私たちが知っているように、Microsoft はかなり前に動的型を導入しました。また、場合によっては ASP.NET MVC アプリケーションにも適用しました。しかし、私にとっては、すべての場合に適しているわけではありません。具体的には、 The Acyclic Dependencies Principle のようないくつかの基本原則に違反しているように見えます。たとえば、パッケージ B を使用するパッケージ A があり、BI では動的および A への参照を使用します。正常に動作します。問題は、動的型を正しい方法で使用するにはどうすればよいですか?

現在、動的型付け言語を開発しています。

開発中に私が直面している主な問題の 1 つは、実行時のシンボル検索を高速に行う方法です。

一般的な無料のグローバル シンボルとローカル シンボルについては、単純にインデックスを付けて、各スコープ (グローバルまたはローカル) にシンボルの配列を保持させ、インデックスを使用してすばやく検索します。私はこのアプローチにとても満足しています。

ただし、オブジェクトの属性の場合、問題ははるかに困難です。現在アクセスしているオブジェクトがわからないため、同じインデックス スキームを使用することはできません。したがって、どのインデックスを使用すればよいかわかりません。

私の言語で働きたいことを反映したPythonの例を次に示します。

検索をすばやく行うための巧妙なトリックを知っている人はいますか? 私はハッシュ マップとスプレイ ツリーについて知っているので、他のルックアップと同じくらい効率的に行う方法があれば興味深いです。

私は静的型プログラミングの出身であり、動的型プログラミングの背後にある理論的根拠を理解し、動的型言語が私のニーズにより適しているかどうかを確認することに興味があります。

ダックプログラミングの背後にある理論について読んだことがあります。また、コンパイル時のチェックが欠落している動的言語では、単体テスト (静的型プログラミングで望ましく使用される) が必要になることも読みました。

しかし、私はまだ全体像を見逃すことを恐れています。特に、変数の型が誤って変更された場合のミスをどのようにチェックできますか?

Python で非常に簡単な例を作成してみましょう。

Pylint、pychecker、および pyflakes は、この問題について警告しません。

この種のエラーを処理するPythonicの方法は何ですか?

コードを try/catch でラップする必要がありますか?

フィルターテンプレート用のdjango pythonコードがあります

私はhtmlファイルで呼び出します：

dict は辞書オブジェクトです。しかし、私がそれを実行すると。エラーが表示されます：

問題は、テンプレートの dict オブジェクトがリストと見なされているため、反復可能ではないことだと思います。オブジェクトがリストではなく辞書であることをPythonに知らせる方法は?

ここでこの質問をしたところ、ここにクロスポストするように言われました。

私は最近、java というわだち掘れにはまった後、python に移行しました。

しかし、おそらく、強く型付けされた言語を使用していた日々の名残りとして、関数を記述してから型チェックを強制していることに気付くことがよくあります。例えば：

これを続けるべきですか？これを行う/行わないことの利点は何ですか?

assert ステートメントが関数呼び出しの数を増やすことは承知しています。それは無視できると仮定しましょう。型チェックを強制するために意味的にできることは何ですか? try/except ステートメントはどのように役立ちますか?