This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: CS3723 Midterm Exam 1 Review Questions 1. Concepts (a) Give three key differences between the ML and Scheme languages (e.g., interpretation vs. compilation, dynamic vs. static typing). (b) What is the difference between regular ML variables and C variables? What is the difference between ML reference cells and C pointers? (c) What is a type? What are types used for in the design and imple- mentation of programming languages? (d) What is a basic type? What is a compound type? Give three exam- ples of each. (e) What is a type declaration? What is the difference between a trans- parent and an opaque type declaration? (f) What are the different ways to determine whether two types are equivalent? Give two example types for each method of type equiv- alence. (g) What is a type system? What components does it include? (h) What is a type error? What is the requirement for a language to be type safe? Give an example code in C that has a type error. Is C type-safe? Why or why not? Give two languages that are type safe.type-safe?...
View Full Document
- Spring '08
- Software engineering, Function block, regular ML variables