What are the aims of static typing and dynamic evaluation?

What will be an ideal response?


Static typing analysis checks whether each (core) expression is type safe and, if so, determines
its static type. Static type analysis works as a bottom-up technique by applying type inference
rules over expressions, taking into account the type of literals and any input documents. If the
expression is not type-safe, a type error is raised; otherwise, a parse tree is built with each
subexpression annotated with its static type.
Dynamic evaluation computes the value of the expression from the parse tree in the core
language. This phase may result in a dynamic error, which may be a type error (if static type
analysis has not been performed) or a non-type error.

Computer Science & Information Technology

You might also like to view...

Two sets are disjoint if they do not have any common elements. You can determine this with the set type’s isdisjoint method. What values are actually displayed where we’ve inserted ??? in Out[1] and Out[2]:

In [1]: {1, 3, 5}.isdisjoint({2, 4, 6})
Out[1]: ???

In [2]: {1, 3, 5}.isdisjoint({4, 6, 1})
Out[2]: ???

a. False, False b. False, True c. True, False d. True, True

Computer Science & Information Technology

Explain the differences between the output of each command.

Try giving these two commands: $ echo cat $ cat echo

Computer Science & Information Technology

Drawn or cartoon-like images are referred to as ________

Fill in the blank(s) with correct word

Computer Science & Information Technology

Case PPT 1-1Nathan was in charge of training Sales Managers on how to give presentations using Microsoft PowerPoint 2010.  An important part of the training was to review the features available in Slide Show view.The Sales Managers wanted to have the ability to make notes on the actual slide as they were giving a presentation.  Nathan directed them to use the ____ command.

A. Pointer Options B. Next C. Previous D. Screen

Computer Science & Information Technology