«Какую часть Хиндли-Милнера ты не понимаешь?»

яswear раньше продавалась футболка с бессмертными словами:

Какая часть

выnot Понимаю?

В моем случае ответ будет ... все это!

В частности, я часто вижу подобные обозначения в документах на Haskell, но я понятия не имею, что это означает. Я понятия не имею, какой должна быть отрасль математики.

Разумеется, я распознаю буквы греческого алфавита и такие символы, как & quot; & # x2209; & quot; (что обычно означает, что что-то не является элементом набора).

С другой стороны, я "никогда не видел" & # x22A2; " до (Википедия утверждает, что это может означать «раздел»). Я также не знаком с использованием винкулюма здесь. (Обычно это обозначает дробь, но это неappear быть здесь.)

Если бы кто-нибудь мог хотя бы сказать мне, с чего начать поиск, чтобы понять, что означает это море символов, это было бы полезно.