SóProvas


ID
3219952
Banca
VUNESP
Órgão
FUNDUNESP
Ano
2016
Provas
Disciplina
Inglês
Assuntos

O texto a seguir deve ser utilizado para responder à questão.

    The term “safe language” is, unfortunately, even more contentious than “type system”. Although people generally feel they know one when they see it, their notions of exactly what constitutes language safety are strongly influenced by the language community to which they belong. Informally, though, safe languages can be defined as ones that make it impossible to shoot yourself in the foot while programming.
(Types and Programming Languages, Benjamin C. Pierce, MIT Press, 2002)

Segundo o texto,

Alternativas
Comentários
  • When we call a language “safe” in some respect, that formally means that there’s a proof that no well-formed program in the language can do something we consider dangerous.
  • GABARITO A

  • a-

    Although people generally feel they know one when they see it, their notions of exactly what constitutes language safety are strongly influenced by the language community to which they belong. Informally, though, safe languages can be defined as ones that make it impossible to shoot yourself in the foot while programming.