они полиморфные и дешугарятся в >= и -, что означает, что пользователь может выстрелить себе в ногу, определив какое-нибудь всратое поле и эти операции на нем так, что семантика +, - и >= куда-нибудь уедет. Плюс это странно — захардкодить только + в паттернах и больше ничего в агде люди высказывали мнение, что было бы неплохо разрешить функции в паттернах. Но поставить это все на какие-то осмысленные PLT рельсы, а не просто захардкодить один конкретный вариант, еще и разрешив перегружать его поведение через тайпклассы
Обсуждают сегодня