Система F

[deni_ok]

Обогатил ру-Википедию стать ей про это дело. Ловите. Надо бы ещё, конечно, понаписать про точное определение и всякие свойства, но пока лень.
UPD: Понаписал про формальности.
UPD2: Добавил типизацию по Карри с классическим примером, демонстрирующим, что System F богаче просто-типа-лямбды. И готовящим читателя к рассуждениям про импредикативность и

Comments

[nponeccop]

Из свойств нужно как минимум ранг и предикативность.

[deni_ok]

Да, тут вообще много чего нужно. Сейчас доделаю технические формальности, а про свойства надо на свежую голову.

[nponeccop]

http://maxim.livejournal.com/394327.html?thread=2231639&style=mine#t2231639

Вот кстати живая иллюстрация того, почему я хотел именно ранг и предикативность: они нужны всем, а не только тем, кто не имеет общего представления об Ф-системе и случайно зашёл.

[deni_ok]

Ну я чего-то понаписал, но, по-моему, ранг и предикативность больше подходят статье <<Параметрический полиморфизм>>, которую кто бы перевёл с довольно приличной английской
http://en.wikipedia.org/wiki/Parametric_polymorphism

[kodt_rsdn]

Мнэээ. Не вчитываясь, просто сравнил объём с объёмом статьи на английском языке. Удручающе :(

[deni_ok]

а теперь как? (на самом деле французская лучше:)

[kodt_rsdn]

Что-то я великой разницы между несколькими минутами назад и сейчас не заметил.
Или ты что имел в виду под "теперь как"? Инглиш и франсэ существенно богаче русской. Либо ты случайно грохнул свою свежайшую правку?

[deni_ok]

Я не грохал, это у тебя, небось, из кэша.

[nivanych]

Надо его по-русски называть "Фсистема"!

[kodt_rsdn]

Это наше Фсё!