Лямбда-куб, статья в русской Википедии

[deniok]

Каждый должен посадить дерево, построить дом, воспитать ребенка и написать статью в Википедии.

Критикуйте, если что не так, а ещё лучше правьте прямо там.

Comments

[lomeo.livejournal.com]

В Haskell?

[migmit.vox.com (from livejournal.com)]

М-м-м... По большому счёту, везде. Главное, что не у всякого типа есть значения. Это уже означает, что есть кайнд *, а есть всё остальное. Как оно там дальше подразделяется на кайнды - вопрос реализации.

[lomeo.livejournal.com]

Хорошо. Но почему тогда kind не тип? * просто самый общий тип, вот и всё, разве нет?

[migmit.vox.com (from livejournal.com)]

Потому же, почему тип - не значение.

(вроде я что-то такое уже говорил?)

[lomeo.livejournal.com]

Тип - это значение :-) Для кайнда.