> A type system is a tractable _syntactic_ method for proving the absence of certain program behaviors by classifying phrases according to the kinds of values they compute. выделено мной > Terms like “dynamically typed” are arguably misnomers and should probably be replaced by “dynamically checked,” but the usage is standard.
Обсуждают сегодня