I
Size: a a a
2020 June 25
AD
Рыжиков
Кто он такой?
AN
Александр не топил за ООП
Indeed. Я ровно то же самое скажу сторонникам тру-ооп. Я кстати их застал предостаточно в отличие от большинства присутствующих
I
BP
Блет, тайпклассы это способ неинвазивного приделывания полиморфного функционала, которого в вашем оопэ нет, а не вовсе та бредятина
ну и говорите в каком именно ООП, а то это понятия размазано по всему ИТ
AN
Иммутаюилити нужна потому что лямбда калькулус иммутабельный.
Не, я самоустраняюсь. Аргументы в стиле я хочу эту штуку потому что это та штука, которую я хочу, меня к вечеру не вдохновляют
D
типы ради типов едут через типы к типам.
КМК вести спор безсмысленно, пока не будет предоставлено каких-то результатов вроде рабочего и элегантного софта или академических изысканий. ООП ругать, как говорится, не мешки ворочать.
AN
Тем более, когда я весь день занимался черт знает чем с SSH
AN
КМК вести спор безсмысленно, пока не будет предоставлено каких-то результатов вроде рабочего и элегантного софта или академических изысканий. ООП ругать, как говорится, не мешки ворочать.
Ну кейсы нужны. Иначе это хотелки ради хотелок
BP
1) иммутабилити-ферст стдлибы 2) иммутабилити-ферст синтаксис 3) лямбдочки как полноправные значения 4) инференция типов, это базовый набор, дальше идут ХКТ + контекстуальные абстракции для полиморфных тайпклассов, без хкт ты не напишешь дженеричную монаду. Ещё дальше - линтипы, завтипы, афтипы, тактики, стратегии и т.д.
> ХКТ
это вроде НКТ, тогда F# не фп
это вроде НКТ, тогда F# не фп
AD
Фигня все эти "полиморфные функционалы". У меня запас политкорректности кончился. Напишите конкретные кейсы, тогда может быть поговорим
Конкретный кейс где нужно хкт. Тебе нужно написать метод абстрактно от коллекции, но при этом, чтобы функция возвращала коллекцию с полностью протайпленным нестертым нутром. Потерять тип коллекции - нельзя. потерять тип элемента коллекции - нельзя. Восстановить кастом - тоже нельзя
AD
Иначе, тебе нужно #(коллекций) * #(типов) реализаций
D
Ну кейсы нужны. Иначе это хотелки ради хотелок
+
AD
если у тебя 20 коллекций и 100 типов у тебя уже 2 к методов бойлеплейта одинакового содержания
AN
Конкретный кейс где нужно хкт. Тебе нужно написать метод абстрактно от коллекции, но при этом, чтобы функция возвращала коллекцию с полностью протайпленным нестертым нутром. Потерять тип коллекции - нельзя. потерять тип элемента коллекции - нельзя. Восстановить кастом - тоже нельзя
Обсуждали раз десять. Это на самом деле практически единственный кейс на hkt (при чем не на тайп-классы), которые народ смог придумать, и он решается добавлением одного параметра
AD
он не решается
AN
если у тебя 20 коллекций и 100 типов у тебя уже 2 к методов бойлеплейта одинакового содержания
можно кейс с 20 коллекциями и 100 типами
AD
Моя кодобаза
AN
Ну и поищите по истории здесь и в котли чате, решется. Мне влом по 20 раз одно и то же объяснять.
I
> ХКТ
это вроде НКТ, тогда F# не фп
это вроде НКТ, тогда F# не фп
Я говорю, понверы / "ебнтики" подменяют термины type-level-programming и fp