带有声音类型系统的语言是否是强类型语言的子集? [英] Are the languages with a sound type system a sub set of strongly typed languages?

问题描述

具有声音类型系统的语言是强类型语言的子集吗?

Are the languages with a sound type system a sub set of strongly typed languages?

推荐答案

什么是声音类型系统?您认为静态打字比动态打字更合理"吗?弱打字是否意味着打字系统不健全"?您是否认为C或C ++是弱类型的，因为它们允许大量的即席类型转换?

What is a sound type system? Do you consider static typing more "sound" than dynamic typing? Does weak typing imply the type system being "unsound"? Do you consider C or C++ to be weakly typed because they allow for a number of ad hoc type conversions?

Lua的类型很弱，但是提供的类型却具有惊人的力量.健全性在情人眼中.

Lua is weakly typed, but the types provided make for asonishing power. Soundness lies in the eye of the beholder.

这篇关于带有声音类型系统的语言是否是强类型语言的子集?的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！