?

Log in

No account? Create an account

Заповедник репрессивной психиатрии

Ад Computer Science
metaclass
Изоморфизм Карри-Говарда

Там есть такая строка:
(EF) (где E и F — λ-выражения)
и комментарий к ней:

Третья форма называется аппликацией (или применением). Она определяет попытку приложить терм E (как будто бы это аргумент функции) к терму F (как будто бы это функция).

Я брежу или оно должно быть как-то наоборот, т.е. E - функция, а F-аргумент? Тем более что ниже, при рассмотрении типизации этого выражения оно именно так и рассматривается.

PS: И вообще, как бы это не сойти с ума от чтения подобных вещей.

Купил книжку
metaclass
"Справочник по языку Хаскель" Душкина. Наконец-то опять есть что почитать с бумаги и по русски.
А то мне от теории категорий, по английски и с экрана читать осканированную в pdf книгу крышу срывает напрочь.

Кстате, о черном юморе
metaclass
Добрая картинка под катом:
Read more...Collapse )

Меня в ней больше всего нервирует не сама ситуация, а выражение лица ребенка(если это вообще ребенок, а не злой карлик-трупоед). Оно какое-то совершенно неправильное.