问题标签 [typing]

简单的问题：我用 C++/Java 等编译语言和 Python/Javascript 等解释语言做了很多编程（专业和个人）。我个人发现，当我使用静态类型语言进行编程时，我的代码几乎总是更加健壮。但是，我遇到的几乎所有解释语言都使用动态类型（PHP、Perl、Python 等）。我知道为什么编译语言使用静态类型（大部分时间），但我无法弄清楚解释语言设计中对静态类型的厌恶。

为什么陡峭的断开连接？它是解释语言本质的一部分吗？哎呀？

我不太了解如何使用特定于应用程序的 YAML 标签，也许是因为我想要使用它们是完全错误的。我正在将 YAML 用于配置文件，并希望使用标签为我的配置加载器提供关于它应该将数据解析为什么数据类型的提示 - 应用程序特定的数据类型。

我也将 libyaml 与 C 一起使用。

所以我正在尝试做类似的事情......

在我的应用程序中，我想使用标签作为提示，这样我就可以将 square 的值加载到我的 square 数据结构中，并将 circle 的值加载到我的 circle 数据结构中（这些值在本示例中没有任何意义）。

所以我目前正在做：

当我通过标量“0,4,8,16”时，Libyaml 将提供一个“！square”标签。使用此标签向我的加载程序提供如何处理标量的提示是否有效？

既然它对我有用，我更想知道它是否合适。如果没有，我将如何使这更合适。

谢谢。

TStringStream 类中没有类型的参数是什么类型：

Buffer 参数的类型是什么（它是 Pointer 的类型吗？）。

正如标题所示，我想知道这两个编程概念之间的关系是什么。某种类型系统（静态/动态）是否适合某种类型的作用域（词法/动态），还是这些独立的语言选择？

工会epoll_data_t看起来像：

这更像是一个一般的 C 问题，但为什么使用前导双下划线 __uint{32,64} 类型而不是仅使用不带下划线的 uint{32,64} 类型？我真的不明白为什么/何时使用下划线版本，但我认为没有下划线的 uint32 将是在可公开修改的联合中使用的正确方法。

通过使用 javascript 以及我的 python 经验拓宽我的视野，我提出了一些想法。

如果一个实体对外部客户的看法是通过它的接口，那么类型的目的是什么？

在静态类型语言中，类型具有非常重要的核心重要性。类型和接口是严格关联的。例如，在 java 中，当您声明一个接口 FooIface 并且一个对象实现该接口时，您不能在需要 BarIface 的上下文中使用它，即使两者在方法、签名和异常方面完全相同。

在python中不是这样。即使两个对象具有完全不同且不相关的类型，只要它们的接口相同，它们就可以完全透明地互换。如果它叫起来像鸭子一样走路，那就是鸭子。我可以通过在运行时完全改变对象的接口来完全改变对象的性质，但它会保留原始类型。

这种观点在 javascript 中发挥到了极致，任何原型链中的每个对象都只是一个对象。你在 javascript 中询问每个对象的类型，它会告诉你，它是一个对象。

在我看来，这些语言的类型概念是徒劳的。那么真正重要的是什么？类型在动态类型语言中有真正的意义吗？

我在很多地方都看到过，

聊天时，我可以看到对方是否在打字。

如何最容易地实现这一点？

我的左锁骨骨折了，左手完全不动，所以我只能用右手打字（感谢上帝，我是右撇子）。你可以想象我的打字速度大大降低了。

谁能建议一种方法来克服这个障碍，也许是一些 emacs 模式或专门为只能用一只手打字的人设计的 Visual Studio 插件？

我不是大鼠标用户，所以欢迎任何关于如何简化我与操作系统（Linux、Windows）交互的建议。

注意：正在使用 m4，因此扩展了以“_”为前缀的字符串（m4 是类似于 c 预处理器的宏预处理器）。

我的风格：

用于

有索引

给出：

问题

理想情况下，我希望引擎连接字符串并将其用于哈希。不过，我并不挑剔。有人可以告诉我为访问方法哈希声明这个“操作员类”的语法吗？

我本来希望用户定义的类型有一些默认的散列行为。我真的更愿意保留该类型——即，我不想扩展它，因为我可能会定义一些更复杂的 UDT。

这有点像我之前的问题： C++: Vector3 type "wall"?

除了现在，我想对内置而不是用户创建的类型执行此操作。

所以我想要一个行为就像 float 一样的类型“Length”——除了我要让它的构造函数显式，所以我必须显式地构造 Length 对象（而不是让随机转换飞来飞去）。

基本上，我要参加大量类型的训练营。