问题标签 [typing]

这可能不完全是一个编程问题，但它与程序员有关，所以如果有人知道答案，那一定是这里的某个人。由于我键入括号的方式，我开始遭受某种 RSI 的困扰，我想知道在不拉伤手腕的情况下键入它们的最佳方法是什么。

我目前通过用无名指（右手）按 Shift（右）然后旋转手腕并展平手掌来输入 () 或 _，这样我就可以同时用食指（扳机）手指按下上述符号之一。

更正方法或良好的链接将不胜感激。

我对 Objective-C 中的动态类型如何工作很感兴趣。我一直在研究“id”类型，我知道它的作用以及如何使用它，但我很好奇……这样的功能是如何在幕后实现的？

您无法在编译期间确定/解决任何问题，只能在运行时确定/解决。我想它可以简单地指向内存中某个对象的第一个字节，但是类签名是如何存储的呢？它如何知道它当前指向什么以及它如何为指向对象的类实现各种 getter？

我正在从 Java 过渡到 PHP/Javascript，并发现使用弱类型语言的所有实际方面。

由于我能够完全比较这两种方法，因此我想知道每种方法的优缺点。另外，还有其他形式的打字吗？

背景：我正在为（可能）将我的 WinForms 应用程序转换为 WPF 进行原型设计。

我制作了非常简单的树视图事件处理程序，其代码为：

XAML 是：

当我运行它时，我完全期望看到我的数据网格被填充，但 == 比较在上面的第二行代码中失败了。

调试器显示：

问题：为什么没有编译或运行时错误？（同样的问题另一种方式：实际上是在比较什么以使 == 运算符输出 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 中输入 this，它会给出以下类型信息

而仅仅询问表达式的类型会给出正确的结果，即Ord a => [a] -> (a, Int). 我正在使用 ghc 7.0.3。

长期使用 vim 的用户，您是保持手指打开jkl;还是hjkl处于正常模式？

标准的触摸打字告诉我们右手的起始位置，食指在j键上，所以你的手指在jkl;。

但是标准的 vim 动作键是hjkl.

10 多年后我又回到了 vim 中^{（天哪，当我不注意时我变老了）}并且发现自己被吸引到hjkl......但这使得输入右上角的字母、大括号等变得更加困难。我'想训练自己现在使用最有效/务实的方法，而不必以后重新训练。

长期的铁杆 vim 用户，最佳实践是什么？

笔记：

1. 与触摸打字员如何在 vi 中导航有更大的重叠？
2. 我认为这通过了“主观”测试，因为它是关于刻意培养一种无意识的最佳实践，而不仅仅是人们的偏好

我想知道，在 Ocaml 中，是否有部分输入信息。对于无法编译的程序，可以通过顶层/编译器的一些现有功能绘制吗？让我解释。

在 Ocaml 中，众所周知，推断类型可以通过 -annot 文件检索。但是，有时我们有一段代码由于某些输入错误而无法编译。它给出了一个导出到顶层的错误，这种模式

一个人为的例子是

这段代码的程序员应该很好地理解这条消息的第二部分，即“y is expected of type bool”，因为“not y”部分。但是，她/他可能难以理解此错误消息的第一部分：如何推断此“y”具有“int”类型？因此，在引发类型冲突之前拥有部分推断类型集会很有趣。对于上面的示例，希望解释器告诉第一个“y”（来自“let y = 5”）是 int 类型，由此我将知道第二个“y”（来自“not y”）的原因) 被推断为 int 类型。

您能否告诉我某些 ocaml 解释器/编译器是否已经提供了所描述的功能？

概括地说，我的问题是：ocaml toplevel 或其解释器能否产生用户可以检索的部分推断类型，以便更有效地找到输入错误的来源？

由于部分推断的类型注释的非唯一性，这个问题可能没有意义。但是，示例示例应该表明，至少在某些情况下，某些部分推断的类型有其用途。

谢谢你的想法。

我使用 QTableView 和 QAbstractTableModel 的子类作为其模型。我看到（默认情况下）当用户键入某些内容时，QTableView 开始在第一列中搜索键入的文本并将视图滚动到匹配的元素。这是我想要的，但不是在第一列。我找不到告诉（代码）QTableView 或 QAbstractTableModel 哪个是“搜索列”的方法。任何的想法？

谢谢

我有一个应该是抽象的类。在其中一个抽象方法中，返回类型可能是 class1、class2 或 class3 的实例，具体取决于实现该方法的类。我想知道我应该如何在抽象类中声明该方法。我考虑过使用动态类型，但我希望将返回类型限制为 3 个类之一，而不是每种类型，此外我不确定我是否可以覆盖它，以便在继承类中返回类型不会匹配抽象类中的返回类型。

如果你能帮我解决这个问题，我会很高兴的，
Tnx！