Data types. Complete the sentences

09 sierpnia 2013 | LoadingDodaj do biblioteki

1. Complete the sentences with the Present Simple passive form of the verbs in brackets. Can you translate these sentences into Polish?

 

In many C compilers the float data type, for example, (represent) in 32 bits.

 

Haskell (strongly type) but its types are automatically inferred so that explicit conversions are unnecessary.

 

Type checker running only at compile time doesn’t scan for division by zero in most programming languages, and then it (leave) as a runtime error.

 

If a program passes a static type-checker, then the program (guarantee) to satisfy some set of type-safety properties for all possible inputs.

 

The tests may fail to detect such type errors, because the combination of all places where values (create) and all places where a certain value (use) must (take) into account.

 

Therefore, a dynamic check (need) to verify that the operation is safe.

 

This concept (know) as subsumption.

 

Type system should be a module that can (plug) into a language as required.

 

Some operations (can optimize).

 

If A is a subtype of B, then a value of type A can be used in a context where one of type B (expect).

 

Type systems (often specify) as part of programming languages, and (build into) the interpreters and compilers for them.

 

The type system of a language (can extend) by optional tools that perform additional kinds of checks.

 

The program relies on runtime type information to determine how the variable (may use).

 

The tests may fail to detect such type errors, because the combination of all places where values are created and all places where a certain value is used (must take) into account.

 

Static type-checking (can think of) as a limited form of program verification.

 


 

Odpowiedz

Twój adres email nie zostanie opublikowany. Pola, których wypełnienie jest wymagane, są oznaczone symbolem *