Secu
What is a type system?
a set of rules that describe how types are associated to language elements
Which language feature is present in most programming languages, but not in C?
parametric types
What kind of languages has the strongest type system?
compiled languages
Can a total language be Turing-complete?
no
What are sum types used for?
representing disjoint states
In a language specification, what is undefined behavior?
behavior that is not specified
What's an automatic coercion?
When variables are converted without syntactic hints
Python is generally described as
imperative
SQL is generally described as
declarative
Haskell is generally described as
functional
Java is generally described as
imperative
Which blunder is most commonly found, in the wild, with the PHP language?
XSS
What is shotgun parsing?
Scattering parsing logic in the program
Is it possible to prevent an attacker from reverse engineering software he can run?
no
What does a stronger type system (relatively to another type system)?
reject more programs than the other