Математическое введение в декларативное программирование. Зюзысов В.М. - 69 стр.

UptoLike

Составители:

Рубрика:

Вариант ламбда–исчисления, в котором каждый терм помечен некоторым типом,

называется типовым ламбда–исчислением. Функциональная аппликация f g в типовом

ламбда–исчислении синтаксически правильна, если терм f имеет тип s → t, где тип терма g

есть s (или экземпляр s в полиморфном языке) и t – любой тип. Если множество типов ог-

раничено так, что терм не может применяться сам к себе, то в языке исчезает один из ви-

дов незавершающихся вычислений. Большинство функциональных языков, например,

Haskell, использует типовое ламбда–исчисление как промежуточный код при трансляции

на машинный язык.