Comments 2
если f и e — допустимые выражения, то f(e) также является допустимым. Оно называется «наложением» (Application) по очевидным причинам.
Может всё-таки «применение»?
Честно говоря, долго думала, как это правильно перевести. Нашла здесь, что в математике application переводится как «наложение». Поэтому, собственно, так и оставила.
Sign up to leave a comment.
Итак, вы всё ещё не понимаете Хиндли-Милнера? Часть 2