This gives the expressiveness of duck-typing with the safety of static type-checking.

这既给予了动态类型的表达能力又保留了静态类型检查的安全。

youdao

The compiler's type-checking rules coupled with the API's signature govern what constitutes legitimate input.

编译器的类型检查规则与 API 签名结合确定什么是合法输入。

youdao

He is also concerned with the verification of security protocols through semantic formalisms and type checking.

他关注的领域还有通过语义形式和类型检查对安全性协议进行验证。

youdao

The most bare-boned type of account is zero-interest basic checking.

FORBES: Banking

But, as Canadian officials explain, the type of checking set up for, say, the chemical-weapons treatydoes not fit small, cheap weapons that can be put together in anybody's basement.

ECONOMIST: Landmine ban

Face it -- if you're checking out Engadget HD, you're the type who wants to know stuff before the "other guy, " and by tuning in you can listen to the podcast before even our producer gets a hold of it.

ENGADGET: Join the Engadget HD podcast live on Ustream HD