*Result*: THE PROMISES OF TYPED, PURE, AND LAZY FUNCTIONAL PROGRAMMING: PART II.

*The article explores the aspects of static type inference and lazy evaluation in functional programming languages. Program elements must be used according to the abstraction represented by the program element. The type system behavior in Clohure, a LISP dialect that runs on the Java Virtual Machine and that of Java's type system are discussed. A delay in the evaluation of the subexpressions of a complex expression is called lazy evaluation, which is a generalization of Boolean short-circuit evaluation.*