Dynamical Type and Static Type Language

Scheme is a statically scoped programming language. Each use of a variable is associated with a lexically apparent binding of that variable.

Scheme has latent as opposed to manifest types. Types are associated
with values, also call objects, rather than with variables. Some
authors refer to languages with latent types as weakly typed or
dynamically typed languages. Other languages with latent types are APL,
Snobol, and other dialects of Lisp. Languages with manifest types, sometimes referred to as strongly typed or statically typed language,
include Algol 60, Pascal, and C.

A new concept of variables. In Lisp, all variables are
effectively pointers. Values are that have types, not variables, and
assigning or binding variables means copying pointers, not what they
point to.