問題タブ [typing]

これは正確にはプログラミングの質問ではないかもしれませんが、プログラマーに関連しているので、誰かが答えを知っているなら、それはここの誰かでしょう. 括弧の入力方法が原因で、ある種の RSI に悩まされ始めました。手首に負担をかけずに括弧を入力する最善の方法は何かと考えていました。

私は現在、4 本目の指 (右手) で Shift(Right) を押して ( ) または _ を入力し、次に手首を回転させて手のひらを平らにして、言及された記号の 1 つを人差し指 (トリガー) で同時に押すことができるようにします。

修正方法または良いリンクをいただければ幸いです。

Objective-Cでの動的型付けがどのように機能するかに興味があります。私は「id」タイプを研究していて、それが何をするのか、そしてそれをどのように使うのかを知っています、しかし私は興味があります...そのような機能はどのように内部で実装されますか？

コンパイル時には何も決定/解決できず、実行時にのみ解決できます。メモリ内のオブジェクトの最初のバイトを指すだけでよいと思いますが、クラスシグネチャはどのように保存されますか？現在何を指しているのかをどのように知るのでしょうか。また、指しているオブジェクトのクラスにさまざまなゲッターをどのように実装するのでしょうか。

私はJavaからPHP/Javascriptに移行し、弱い型の言語を使用することのすべての実用的な側面を発見しています。

私は2つを完全に比較する立場にあるので、それぞれのアプローチの長所と短所を知りたいと思います。また、他の形式のタイピングはありますか？

コンテキスト：WinFormsアプリをWPFに変換するための準備としてプロトタイピングを行っています。

コードが次のような非常に単純なツリービューイベントハンドラーを作成します。

XAMLは次のとおりです。

それを実行したとき、データグリッドにデータが入力されることを完全に期待していましたが、上記のコードの2行目で==比較が失敗しました。

デバッガーはこれを示します：

質問：コンパイルエラーやランタイムエラーが発生しなかったのはなぜですか？（同じ質問を別の方法で：==演算子がFALSEを出力するように実際に何が比較されていますか？）

私はEditTextプロパティを持っています:

ただし、入力を開始すると、途中で入力されますEditText。

領域の左上から入力を開始する方法はありますEditTextか?

stackoverflowに関する質問に答えたところ、GHCi（インタラクティブ）がletステートメントで制限が強すぎるタイプを割り当てていることに気付きました。つまり、コードが与えられると、

（ https://stackoverflow.com/questions/6281813/maximum-of-list-and-count-of-repeat-maximum-number/6283594#6283594への私の回答のように）f、これをghciに入力すると、次のタイプ情報が得られます

一方、式のタイプを要求するだけで、正しい結果、つまり。が得られますOrd a => [a] -> (a, Int)。ghc7.0.3を使用しています。

長年の vim ユーザーの皆さん、指をオンjkl;またはhjkl通常モードに保ちますか?

標準的なタッチタイピングでは、右手の人差し指がjキーの上にあるため、指が上にあるホームポジションを教えてくれますjkl;。

しかし、標準の vim モーション キーはhjkl.

私は10年以上後にvimに戻ってきました（ああ、私は注意を^{払っていなかったときに年を取りました）}hjkl .. 「後で再トレーニングするのではなく、今最も効率的で実用的な方法を使用するように自分自身をトレーニングしたい.

長年の筋金入りの vim ユーザー、ベスト プラクティスは何ですか?

ノート：

1. タッチタイピストは vi でどのようにナビゲートしますか?とのより大きな重複
2. これは「主観的な」テストに合格していると思います

Ocamlで、部分的な入力情報かどうかを知りたいです。コンパイルしないプログラムの場合、トップレベル/コンパイラの既存の機能によって描画できますか? 説明させてください。

Ocaml では、推論された型が -annot ファイルで取得できることはよく知られています。ただし、入力エラーが原因でコンパイルできないコードがある場合があります。このパターンのトップレベルにエクスポートされたエラーが発生します

人為的な例は

このコードのプログラマーは、このメッセージの 2 番目の部分、つまり「y は bool 型であることが期待されます」をよく理解する必要があります。これは、「y ではない」部分があるためです。ただし、このエラー メッセージの最初の部分を理解するのが難しい場合があります。この「y」はどのように「int」型であると推測されるのでしょうか。したがって、型の競合が発生する前に、推論された型の部分的なセットを持つことは興味深いでしょう。上記の例では、最初の "y" ("let y = 5" から) が int 型であることをインタープリターに伝えてほしいと思います。これにより、2 番目の "y" ("not y" から) の理由がわかります。 ) は int 型であると推測されます。

説明されている機能がすでに一部の ocaml インタープリター/コンパイラーによって提供されているかどうか教えていただけますか?

一般的な言葉で言えば、私の質問は次のとおりです: ocaml トップレベルまたはそのインタープリターは、入力エラーの原因をより効率的に見つけるために、ユーザーが取得できる部分的に推測された型を生成できますか?

部分的に推論された型注釈が一意でないため、この質問は意味をなさない可能性があります。ただし、例の例は、少なくともいくつかのケースでは、一部の部分的に推測された型にその使用法があることを示す必要があります。

アイデアありがとうございます。

モデルとしてQTableViewとQAbstractTableModelのサブクラスを使用しています。ユーザーが何かを入力すると、（デフォルトで）QTableViewが最初の列に入力されたテキストの検索を開始し、一致する要素までビューをスクロールすることを確認しました。これは私が欲しかったものですが、最初の列にはありません。「検索列」であるQTableViewまたはQAbstractTableModelを（コード化して）伝える方法が見つかりません。何か案が？

ありがとうございました

私は抽象的であるはずのクラスを持っています。その抽象メソッドの 1 つで、戻り値の型は、メソッドを実装しているクラスに応じて、class1、class2、または class3 のインスタンスになる場合があります。抽象クラスでメソッドをどのように宣言すればよいのでしょうか。動的型付けを使用することを考えましたが、戻り値の型をすべての型ではなく 3 つのクラスのいずれかに制限する必要があり、さらに継承クラスで戻り値の型が変更されないようにオーバーライドできるかどうかもわかりません。抽象クラスの戻り値の型と一致します。

Tnxさん、手伝ってくれたら嬉しいです！