Algol 60 procedure types, In Algol 60, the type of each

Algol 60 procedure types

Assignment Help Basic Computer Science

Reference no: EM13963467

Algol 60 Procedure Types

In Algol 60, the type of each formal parameter of a procedure must be given. How- ever, proc is considered a type (the type of procedures). This is much simpler than the ML types of function arguments. However, this is really a type loophole; because calls to procedure parameters are not fully type checked, Algol 60 programs may produce run-time type errors.

Write a procedure declaration for Q that causes the following program fragment to produce arun-time type error:

proc P (proc Q)

begin Q(true) end; P(Q);

where true is a Boolean value. Explain why the procedure is statically type correct, but produces a run-time type error. (You may assume that adding a Boolean to an integer is arun-time type error.)

Reference no: EM13963467

Questions Cloud

Result of evaluating : Consider the following functions, written in ML: exception Excpt of int; fun twice(f,x) = f(f(x)) handle Excpt(x) => x;

Which has the greater wavelength, blue light or red light : A photon corresponding to a particular frequency of blue light produces a transition from the n = 2 to the n = 5 level of a hydrogen atom. Could this photon produce the same transition (n = 2 to n = 5) in an atom of X? Explain.

Explain the implications of research on parental behavior : In your initial post of a minimum of 350 words, explain the implications of the research on parental behavior and environmental factors as they relate to human personality development. Describe how this research data might be used to explain unhea..

Teledex company manufactures products to customers : Teledex Company manufactures products to customers' specifications and operates a job order costing system. Manufacturing overhead cost is applied to jobs on the basis of direct labor cost

Algol 60 procedure types : In Algol 60, the type of each formal parameter of a procedure must be given. How- ever, proc is considered a type (the type of procedures).

What mass of helium will be required. : A 1-liter container of nitrogen gas (N2) at a temperature of 23c is intially at a pressure of 1.25 atm. because of a slow leak the pressure falls to 1.15 atm 1 hour later what is the leak rate in molecules/second?

Overview of the symbolic interactionist perspective : Provide an overview of the "symbolic interactionist" perspective in sociology - what are its main ideas, how does it differ from other sociological approaches

Denotational semantics : The text describes a denotational semantics for the simple imperative language given by the grammar

Calculate the entropy change for each of the following : 10g of steam at l00°C and a pressure of one atmosphere condensing into water at the same temperature and pressure. (The latent heat of vaporization of water is 22571 Jg^-1).

User Account

All Pages