Хабр Курсы для всех
РЕКЛАМА
Практикум, Хекслет, SkyPro, авторские курсы — собрали всех и попросили скидки. Осталось выбрать!
Хабр доступен 24/7 благодаря поддержке друзей
Комментарии 2
если f и e — допустимые выражения, то f(e) также является допустимым. Оно называется «наложением» (Application) по очевидным причинам.
Может всё-таки «применение»?
Честно говоря, долго думала, как это правильно перевести. Нашла здесь, что в математике application переводится как «наложение». Поэтому, собственно, так и оставила.
Зарегистрируйтесь на Хабре, чтобы оставить комментарий
Итак, вы всё ещё не понимаете Хиндли-Милнера? Часть 2