| applicative language | аппликативный язык (ЯВУ этого класса получили своё название из-за аппликативного порядка вычислений (applicative-order evaluation), при котором сначала вычисляется аргумент, затем к нему применяется функция, что отличается от нормального порядка вычислений (normal-order evaluation), при котором сначала вычисляются все аргументы. При обычных вычислениях оба метода дают одинаковые результаты, но аппликативный эффективнее и имеет ряд других важных преимуществ, поэтому применяется в языках функционального программирования. Примером аппликативного языка является Лисп ssn) |