Types

Question 1

What do the following mean:

• type equivalence
• type compatability
• type inference
• type clash

Answer 1

Question 2

What is a strongly typed language?

Answer 2

Question 3

What is a statically typed language? Examples?

Answer 3

Question 4

What is a dynamically typed language? Examples?

Answer 4

Question 5

What is the difference between structural and name equivalence?

Answer 5

Question 6

Is the following an error? Think of equivalence

Answer 6

Question 7

What does name equivalence mean? Are aliases of differenent types the same?

Answer 7

Question 8

What are strict and loose name equivalences?

Answer 8

Question 9

What is the difference between type conversion and type coercion?

Answer 9

Question 10

What is type compatability?

Answer 10

Question 11

What is type inference?

Answer 11

Question 12

Example of type inference

Answer 12

Question 13

What is polymorphism?

Answer 13

Question 14

What are the 3 types of polymorphism and what do they mean?

Answer 14

Question 15

What is static allocation of arrays?

Answer 15

Question 16

What is stack allocation of arrays?

Answer 16

Question 17

What is heap/stack allocation?

Answer 17

Question 18

What are sets and what are their implementations in CS?

Answer 18

Question 19

What are pointers?

Answer 19

Question 20

What are recursive types?

Answer 20

Question 21

What is a dangling reference?

Answer 21

Question 22

What is garbage collection?

Answer 22

Question 23

What are reference counts?

Answer 23

Question 24

Example of reference counts

Answer 24

Question 25

What is tracing collection / mark-and-sweep?

Answer 25

Question 26

What is stop-and-copy?

Answer 26

Question 27

Example of pointer reversal in mark-and-sweep

Answer 27