typing

typing

文章 0 浏览 5

mypy 应该从 Union 选项推断类型吗?

在下面的代码中, fn_int 只会以 int 作为参数来调用,但 mypy 抱怨我可能会向它传递一个 str (fn_str 反之亦然)。 我在这里缺少什么吗? 在将参数…

十级心震 2025-01-13 09:37:24 0 0

如果列表 arg 仅包含 None,则 Python 键入返回 None 的函数

我正在使用一个有点像这样的函数(作为示例,超级简化): def foo(*stuff: None | int): stuff_not_none = [x for x in stuff if x is not None] if …

许久 2025-01-12 18:33:45 0 0

使用字符串访问 TypeScript 可选对象属性

我正在现有的 JavaScript 代码库中工作。有一个类公开了预定义的函数(例如“复制”、“粘贴”)以供实用程序使用。该类可以使用“扩展”函数进行实例…

我也只是我 2025-01-11 19:53:22 0 0

在 TypeScript 中递归展开数组类型

我需要创建一个可以获取非常“动态”参数的函数。它应该能够接受多种类型的数组 class NdArray { } // need to be able to get f(number[]) // -> NdA…

秋意浓 2025-01-11 11:39:08 0 0

如何根据参数的值更改函数的暗示返回类型

我有一个函数,它通常返回一个它搜索的对象并执行一些其他操作。如果找不到匹配项,它会引发异常。通常,我不在乎它是否找到匹配项,但频率不够高,以…

风铃鹿 2025-01-09 17:11:00 0 0

是否“无类型”?也意味着“动态类型”在学术 CS 世界中?

我正在阅读一个幻灯片,上面写着“JavaScript 是无类型的”。这与我的想法相矛盾,因此我开始挖掘并尝试了解更多信息。 JavaScript 是一种无类型语言…

平安喜乐 2025-01-02 12:43:44 3 0

计算电子邮件地址的打字速度

我需要计算用户的打字速度,打字速度是通过输入他的电子邮件地址来计算的。 该用户将与输入其电子邮件地址的其他用户竞争。我的做法是花时间输入他们…

ゞ记忆︶ㄣ 2024-12-28 16:07:55 0 0

当输入某些内容直到空格时加载 Javascript 函数

例如: 当有人输入 @ 时,它就会准备好该函数。 例如,在 Twitter 上,当有人输入 @USERNAME 时会显示一些内容,然后在空格之后,他们不会显示任何内…

-黛色若梦 2024-12-27 08:01:46 0 0

在浏览器中幽灵输入

我正在开发一个聊天机器人,它需要在您的网络浏览器(或其他软件)中自动“幽灵”输入内容。目标平台是 Mac OSX,但将来可能需要移植到其他操作系统。…

一梦浮鱼 2024-12-23 18:54:06 1 0

将 sleep() 与 rand() 一起使用,在 C++ 中出现错误

我正在尝试创建一个涉及“计算机”向您打字的游戏。我无法获得打字效果,而不是自动显示输​​出。如果有人有任何建议来实现这一点,我愿意接受想法,…

债姬 2024-12-23 18:16:34 0 0

Object.intValue() 的奇怪行为

我正在解决一个问题,我不明白为什么它不起作用。如何通过 double obj 传递变量并转换为 int? 为什么它在顶部代码片段中不起作用,但在该行下方的底…

浅忆 2024-12-23 05:16:23 1 0

如何使用打字脚本绕过粘贴块(在 Mac 上)

我需要使用 Microsoft 的远程桌面连接通过 RDC 进入受限使用系统,并且我有一台 Mac。在Windows系统上,我不允许复制(合理的,以保护机密数据)或粘…

じ违心 2024-12-22 18:16:09 3 0

在 Haskell 中定义逻辑运算符

在我的作业中,我必须定义逻辑运算符,如下所示: 使用这个数据结构: data MyBool = Cierto|Falso deriving (Show,Eq) -- Cierto = True and Falso =…

梦途 2024-12-19 07:46:56 2 0

Scala 集合中的通用类型类

我在 Scala 中创建的通用类遇到问题。我有以下课程: class Channel[T, U](val endPoint : EventSource[U], val filter : Occurrence[T] => Boolean, …

千秋岁 2024-12-18 19:23:25 1 0

我需要请一名打字导师,从哪里开始?

我正在用 java (netbeans) 创建一个打字导师。 现在我已经在 gui 中制作了一个键盘。 我想要的一个简单示例:B 和 A 是按钮,您可以在文本字段中键入…

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