Lambda calculus-based languages (such as Lisp, ISWIM, and Scheme) are in actual practice value-level languages, although they are not thus restricted by design.
Segundo este punto de vista, as linguaxes baseadas no cálculo lambda (talles como Lisp, ISWIM e Scheme) son linguaxes a nivel de valores, aínda que o seu deseño non as restrinxe a iso.