6
Яку частину Гіндлі-Мілнера ви не розумієте?
Я клянусь, що раніше у продажу була футболка із зображенням безсмертних слів: Яка частина ти не розумієш? У моєму випадку відповідь буде ... все це! Зокрема, я часто бачу подібні позначення в роботах Haskell, але я не маю поняття, що це означає. Я поняття не маю, якою галуззю математики це …