static-typing

static-typing

文章 0 浏览 5

为什么我需要在初始化时转换 Rx 对象的值?

考虑这段代码: Rx rxwidget = const Text("test").obs; rxwidget.value = Container(); 这将在运行时抛出以下错误 Expected a value of type 'Text',…

染火枫林 2025-01-15 03:58:56 1 0

如何在 GDScript 中指定任何/未知/变体类型?

有没有办法在 GDScript 中指定未知类型? GDScript 文档为此使用类型 Variant (例如在 Array.count 方法)。 比如说,我想写一个恒等函数。我可以这…

南城追梦 2025-01-09 01:36:46 1 0

为什么这段代码声明 DISTINCT 类型?

ShlObj.pas 第 9922 行(如 Delphi XE 中): type BFFCALLBACK = function(Wnd: HWND; uMsg: UINT; lParam, lpData: LPARAM): Integer stdcall; TFNB…

三人与歌 2024-12-27 07:01:41 3 0

是否有静态类型的函数语言?

我来自静态类型背景并研究函数式编程,但我对动态类型并不完全感兴趣。我很好奇有哪些选择。 首先的一个答案是:ActionScript 3 是静态类型的,并提供…

我不会写诗 2024-12-16 18:39:34 3 0

OCaml:查找特定类型的值

我有一些值的列表,我需要找出哪种值是第一个: type my_types = | MAlpha | MBeta of int list | MGamma of string * int let find_first where what…

两相知 2024-12-06 04:54:08 3 0

Clojure 序列类型

正确的序列类型是什么?我有这段代码: (defrecord MethodInfo [^clojure.lang.ISeq preconds ^clojure.lang.ISeq postconds]) 但它似乎没有正确执行…

桜花祭 2024-11-25 00:48:46 4 0

我们可以用 Java 中的泛型做什么来让它们看起来更好:

我有这种方法可以使用列表元素的属性之一将 List 转换为 Map: 简而言之,它看起来像这样: private Map>> toMap( List> diagnostics ) { Map>> resul…

夏末染殇 2024-11-18 12:25:41 9 0

为什么不能使用 var 声明字段

可能的重复: 为什么类字段不能是 var? 我想避免输入复杂的内容/long 字段的类型定义,就像局部变量一样。 我想知道为什么这不能完成? public clas…

习惯成性 2024-11-18 05:26:39 5 0

在 Haskell 中测试某些数据是否属于某种类型?

既然Haskell有如此表达性的类型系统,是否有直接支持我们可以查询某些数据是否属于某种类型的东西?就像在 Racket 中一样,(String? "Hi") (将返回 t…

一杯敬自由 2024-11-15 22:34:45 8 0

float 比 double 慢吗? 64位程序运行速度比32位程序快吗?

使用 float 类型比使用 double 类型慢吗? 我听说现代 Intel 和 AMD CPU 的双精度计算速度比浮点数计算速度快。 标准数学函数(sqrt、pow、log、sin、…

千寻… 2024-11-02 18:14:51 7 0

如何确保在 map() 期间保留自定义 Scala 集合的动态类型?

我读了一篇非常有趣的关于 Scala 2.8 架构的文章集合,我一直在尝试它。首先,我只是复制了这个漂亮的 RNA 示例的最终代码。仅供参考: abstract clas…

得不到的就毁灭 2024-11-01 15:28:04 10 0

厌倦了用非语义测试来弥补动态类型 - 建议吗?

在开始学习计算机工程之前,我曾经使用 Rails(之前是 PHP)进行了大量的 Web 编程。 从那时起,我用 C 完成了很多学校作业,并用 Objective-C(Mac …

疯了 2024-10-06 04:21:59 10 0

“无全局类型推断”是什么意思?关于Scala 意味着什么?

我读过 Scala 的类型推断不是全局的,因此人们必须在方法上放置类型注释。 (这会是“本地”类型推断吗?) 我只知道一点点,原因是其面向对象的本质…

安穩 2024-10-04 23:11:24 9 0

Clojure 静态类型,第 2 部分

这是我之前关于 Clojure 静态类型的问题的后续内容。 我浏览了编译器的Java源代码,有几个地方检查了*warn-on-reflection*的值,但是当我编译以下代码…

难忘№最初的完美 2024-10-03 10:43:06 11 0

Clojure 静态类型

我知道这对于 Lisp 爱好者(以及其他动态语言爱好者)来说可能听起来像是亵渎,但是增强 Clojure 编译器以支持静态(编译时)类型检查有多困难? 抛开…

夜还是长夜 2024-10-02 03:17:19 11 0
更多

推荐作者

tomoekana

文章 0 评论 0

眼角的笑意。

文章 0 评论 0

在风中等你

文章 0 评论 0

是你

文章 0 评论 0

syong71

文章 0 评论 0

    我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
    原文