Удивительное рядом

я: :type 1 2 3

GHCi: 1 2 3 :: forall t a a1. (Num a1, Num a, Num (a -> a1 -> t)) => t

Чудеса философии! Sm_rolleyes.svg

(В более человеческих терминах это будет так:

я: Расскажите, милейший, мне тип выражения «\(1\;2\;3\)», прошу вас!

GHCi: Пожалуйте. Да будет вам известно, тип его может быть любым \(\gamma\), необходимо только любым типам \(\alpha\) и \(\beta\) быть числовыми, и чтобы числовым был и \(\alpha\to\beta\to\gamma\), тип функций из \(\alpha\) и \(\beta\) в \(\gamma\).

Разумеется, это не так, и выполнить 1 2 3 не удастся… Sm_cry.svg

P. S. Со дня сего я более не именую на новые страницы, рубрики и теги латинским алфавитом ссылки.

P. P. S. Я забыл закрыть скобку. Закрою хотя бы здесь.)

Удивительное рядом: 2 комментария

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *

:) :D :( :E: ;) :yes: :no: :donno: more »