問題タブ [typing]

動的および/または弱い型付けを特徴とする、マシン コード/バイナリ (VM によって実行されるバイトコードではなく、型付けを考慮するとまったく異なるもの) にコンパイルされるプログラミング言語があるかどうか疑問に思いました。

次のようなコンパイル済み言語を考えてみてください。

• 変数を宣言する必要はありません
• 実行時に変数を作成可能
• 関数はさまざまな型の値を返すことができます

質問:

• そのようなプログラミング言語はありますか？
• （なぜだめですか？

動的でありながら強力な型付けされたコンパイル済み言語は本当に理にかなっていると思いますが、それは可能ですか?

コード編集のためにマウスを置き換えるためのまともな視線追跡パッケージはありますか？

マウスを解放したいのですが、コードの編集にキーボードを使い続けます。

それについていくつかの調査を行った結果、適切な視線追跡ハードウェアは高価であると結論付けました。ウェブカメラまたは高解像度ビデオカメラを使用することが最も実行可能なオプションのようです。

残念ながら、（赤外線追跡とは対照的に）画像ベースの追跡は精度を制限するため、すべての機能が実用的であるとは限りません。

必要な視線追跡IDE機能：

• ページスクロール
• タブの選択
• カーソル位置の設定
• キーボードで視線に焦点を合わせたテキストを選択する

同様の質問でWebカメラにOpengazerが推奨されていますが、基本的なテキスト編集の高速化に特に関心があります。特にアイトラッキングと実際の使用例の経験がある場合は、推奨事項を歓迎します。

click()を使用して要素のクリック イベントをトリガーする方法と同様に、文字列の入力をシミュレートする方法はありますか?

静的に型付けされた言語と動的に型付けされた言語は、原理的には反対の概念のように見えます。しかし、たとえば Objective-C のような言語が、これらの両方を一度に実現するにはどうすればよいでしょうか? 私には、Objective-C は動的というよりも静的なように思えます。誰かがこれがどのように可能かを説明できますか?

"序章"

私はC ++に比較的慣れていません。私はすべての基本的なことを調べ、自分のプログラミング言語用に 2 ～ 3 個の単純なインタープリターを構築することができました。

最初に頭を悩ませ、今でも頭を悩ませているのは、自分の言語の型システムを C++ で実装することです。

考えてみてください。Ruby、Python、PHP、および Co. には、明らかに C で実装されている多くの組み込み型があります。そこで、私が最初に試みたのは、私の言語で値を与えることができるようにすることでした: Int、ストリングとニル。

私はこれを思いついた：

ええ、うわー、私は知っています。文字列アロケータを常に呼び出す必要があるため、このクラスを渡すのは非常に時間がかかりました。

次回は、次のようなことを試しました。

すべての文字列を に保存しstringTable、その位置を に書き込みindexます。の型が の場合、Value整数Intを に格納しただけですindex。int インデックスを使用して別の int にアクセスするのはまったく意味がありません。それとも?

とにかく、上記も頭を悩ませました。しばらくすると、ここのテーブルから文字列にアクセスし、そこで参照し、そこにコピーすると、頭がいっぱいになり、制御できなくなりました。私は通訳草稿を下に置かなければなりませんでした。

さて: C と C++ は静的に型付けされます。

• 上記の言語の主な実装は、プログラム内のさまざまな型 (fixnums、bignums、nums、strings、arrays、resources など) をどのように処理しますか?

• 利用可能なさまざまなタイプで最大速度を得るにはどうすればよいですか?

• 上記の単純化されたバージョンと比較して、ソリューションはどうですか?

私はPythonとプロローグに不慣れです。私の理解では、Pythonは強く型付けされた言語です。Prologも強く型付けされた言語ですか？

暗黙の型強制は絶対的な悪ですか? または、歴史は、私が聞いたことのないものの適切な実装を知っています..

「弱い」タイピングは、PHP や Javascript などで行われるような方法で実装される運命にありますか?

私は少し混乱しています：

• 基本クラス A と、A を拡張するクラス B がある場合、型 A の変数は型 B の値を保持できますか、またその逆は可能ですか?

はいの場合、なぜですか? BがAから派生したとしても、それらはまったく異なるものではありませんか? タイプセーフはどうですか？

• これが可能である場合、これを使用する際にどのような点に注意する必要がありますか? これは、パフォーマンスの点でどのように機能しますか?

注: 質問が多すぎて申し訳ありません。無視して、リストの装飾ドットで「マーク」されているものに注意してください :) また、これは私の宿題ではありません。私は趣味のプログラマーであり、OOP を使用したスクリプト言語のスキルを持っていますが、C++ での OOP の入力については比較的初心者です。

私は通訳を開発していますが、いくつか質問があります。

私は最近、言語のすべてのオブジェクト/値に対して以下のような非常に単純な構造体を使用する小さな C インタープリターを見ました。

この構造体は、インタープリターが使用している言語で使用される文字列、整数、ブール値、およびリスト (と思います) を保持できます。

• この Object 構造体にこれらすべての型を保持させるにはどうすればよいでしょうか?

私は sqlite のマニフェスト タイピング / タイプ アフィニティのアイデアが好きです。

http://www.sqlite.org/datatype3.html

基本的に、列のアフィニティを「数値」に設定すると、整数型または浮動小数点型をダックしてそれらを格納しますが、必要に応じて文字列を格納することもできます。これは、列に格納したいデータが事前にわからない場合に、列に最適な「デフォルト」タイプのようです。

だから私は行きます：

しかし、テーブルに「abc」などの文字列値を保存しようとすると、sqlalchemy が失敗します。

ブー、ヒス。それで、sqliteに型付けをさせるようにsqlalchemyを納得させる方法はありますか? おそらく、sqlachemy.dialects.sqlite の代わりに sqlalchemy.types の型を使用できますか?

[編集:] ボーナス ポイント: イントロスペクション/リフレクションを介してテーブルにアクセスできる必要があります。したがって、これを meta.reflect() で機能させる何らかの方法は素晴らしいでしょう! ;-)