Дорогие мои ученики, простите меня за то, что мне, как некоему Glasgow Haskell Compiler, далеко не всегда получается сразу вывести тип вашего понимания.

Я думал, что мои объяснения будут как Хиндли-Милнер: универсальны и легко выводимы из тех положений, что вам даю, но я наверное больше похож на TypeScript с его any -- слишком много допущений, и недостаточно строгости. Или на Y-combinator -- чрезмерно закрученный и бесконечно рекурсивный. Или на null pointer -- источник неожиданных ошибок и разочарований.

Мои инспекции вашего кода бывают как linter на стероидах: я нахожу малейшие ошибки, даже если они как unused variable -- безобидные и не влияющие на результат.

Я понимаю, что многие мои задачи похоже скорее на P vs NP: вы потратили кучу времени, но так и не смогли найти полиномиальное решение. А я, как старый компилятор, не дал вам достаточно подсказок, и вы застряли в бесконечном цикле отладки.

Обещаю, что буду и дальше стараться становиться более терпимым к вашим implicit conversions. Чтобы в каких-то ситуациях быть как Rust -- безопасный, предсказуемый и без undefined behavior, а в других — проще, как Python с минимумом скобок и максимумом смысла.

Спасибо за ваше терпение, вы -- мои unit tests, которые помогают мне стать лучше, и через все эти Странные Петли в конечном итоге улучшают и вас.
❤️❤️❤️🙏🙏