Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
在 Scala 中是否可以指定匿名函数的返回类型?
我知道您可以创建一个匿名函数 并让编译器推断其返回类型 val x gt System currentTimeMillis 只是为了静态类型的缘故 是否也可以指定其返回类型 我认为这会让事情变得更加清晰 val x gt System cu
scala
anonymousfunction
statictyping
对于 Scala,“无全局类型推断”是什么意思?
我读过 Scala 的类型推断不是全局的 因此人们必须在方法上放置类型注释 这会是 本地 类型推断吗 我只知道一点点 原因是它面向对象的本质 但我不清楚 是否有 全局类型推断 的解释以及为什么 Scala 不能让初学者可以理解 The pr
scala
typeinference
statictyping
静态/强类型和重构
在我看来 静态 强类型编程语言最宝贵的一点是它有助于重构 如果 当你更改任何 API 时 编译器会告诉你该更改破坏了哪些内容 我可以想象用运行时 弱类型语言编写代码 但我无法想象没有编译器帮助的重构 我无法想象在没有重构的情况下编写数万行代
refactoring
strongtyping
statictyping
weaktyping
具有多个类约束的 Haskell 类型签名
我怎样才能有多个类约束 所以如果A is an Eq and B is a Num 我可以说 f Eq a gt a gt b or f Num b gt a gt b 那么 我怎样才能拥有Eq a gt and Num b gt 同时 f
Haskell
types
statictyping
typesignature
Common Lisp 类型声明未按预期工作
当我在 Common Lisp 中定义一个函数时 如下所示 defun foo n declare type fixnum n n 42 我期待一个像这样的电话 foo a 立即失败 但在调用时失败 是个declareform 不保证静态类
lisp
commonlisp
statictyping
为什么 foreach 跳过接口类型的编译时类型检查?
当我使用foreach在 C 中的循环中 如果项类型是接口类型 则似乎不会执行编译时类型检查 E g class SomeClass interface SomeInterface IEnumerable
c
visualstudio2008
foreach
statictyping
如何解决来自pyright的“类型部分未知”警告?
我通过pyright 使用严格的类型检查 当我有一个返回 pytorch 的方法时DataLoader 然后 Pyright 抱怨我的类型定义 声明的返回类型 DataLoader Unknown 部分未知 Pyright 报告未知变量类型
python
python3x
typing
statictyping
pyright
厌倦了用非语义测试来弥补动态类型 - 建议吗?
在开始学习计算机工程之前 我曾经使用 Rails 之前是 PHP 进行了大量的 Web 编程 从那时起 我用 C 完成了很多学校作业 并用 Objective C Mac 的东西 完成了一些个人工作 我学会了喜欢静态类型 但现在我不得不做一
c
Java
rubyonrails
scala
statictyping
用鸭子类型语言模拟静态类型的各个方面
在我目前的工作中 我正在构建一套严重依赖于对象的 Perl 脚本 使用 Perl 的bless 在哈希上尽可能接近 OO 现在 由于缺乏更好的表达方式 我公司的大多数程序员都不是很聪明 更糟糕的是 他们不喜欢阅读文档 并且似乎在理解其他人的
perl
languageagnostic
ducktyping
statictyping
异常对象的静态类型
我从 C Primer 第 5 版 第 18 1 1 节 中阅读了以下内容 当我们抛出一个表达式时 该表达式的静态编译时类型决定了异常对象的类型 所以我尝试了以下代码 include
c
trycatch
throw
statictyping
dynamicbinding
Python 中的静态类型检查工具
我正在使用现有的大型 Python 代码库 并希望开始添加类型注释 以便获得一定程度的静态检查 我在想象类似的事情Erlang http www erlang org doc reference manual typespec html 强
python
statictyping
当映射到相同类型时,Scala 的 map() 的行为是否应该不同?
在Scala Collections框架中 我认为使用时存在一些违反直觉的行为map 我们可以区分 不可变 集合的两种转换 那些其实现调用newBuilder重新创建结果集合 以及那些经历隐式CanBuildFrom获得建造者 第一类包含所
scala
typeinference
scalacollections
implicit
statictyping
F# 和运算符重载:(>) 和 (^)
好的 有人可以向我解释为什么 F 允许您重载 gt 和 运算符 但不允许您使用它们吗 op Addition Works just fine op Concatenate Compiler error in F Apparently onl
F
operatoroverloading
statictyping
在 Python 3.5 中,如何指定函数作为类型提示?
指定变量应该是函数 相当于委托 Func
python
python3x
typehinting
statictyping
为什么Java中必须声明接口?
有时 我们有多个类 它们的某些方法具有相同的签名 但与声明的 Java 接口不对应 例如 两者JTextField and JButton 其中包括其他几个javax swing 有一个方法 public void addActionLis
Java
interface
statictyping
ducktyping
structuraltyping