kind функционального типа

[lomeo]

Prelude> :kind (->)
(->) :: ?? -> ? -> *

Comments

[kurilka.livejournal.com]

Думаю это артефакт реализации данной вселенной - теорема Гёделя, она же парадокс Рассела и т.п.

[lomeo.livejournal.com]

Так этот вопросительный знак означает тот самый Вопрос о Жизни, Вселенной и всём-таком-прочем?

[kurilka.livejournal.com]

Ну как я и писал - 42, хотя Адамса можно поспорить, там по сути 2 являющаяся 1