В измельчителе дерева можно измельчить и человек.

Я, кстати, поэтому на f# и перешёл. Код проще получается

хозяйке на заметку: если добровольно ограничить себя приблизительно 30% языка, то кода получается больше и он получается сложнее

Мне нравятся тайпклассы за простоту и понятность, едва ли это действительно нечто, без чего нельзя обойтись. Хорошо спроектированные обычные интерфейсы не намного должны бы уступать, при условии что на параметры можно накладывать ограничения, а это почти везде так.

хозяйке на заметку: если добровольно ограничить себя приблизительно 30% языка, то кода получается больше и он получается сложнее

я с удовольствием послушаю детальные объяснения, почему никак невозможно обойтись без тайпклассов, потому что с моей точки зрения они дают прирост менее десятка процентов относительно уже существующих средств языков.

Можно обойтись. Без генериков можно, без исключений можно, без типов совсем можно. А можно не выпендриваться и освободить народ от писания List.map, Seq.map, Option.map. Один раз написать toJson и не копипейстить её сто раз для каждого божьего рекорда. Вот хотя бы из-за этого сто пудов мне нужны тайпклассы. Распробовал прелесть раз и не хочется отказываться от неё только потому что есть в языке другие конструкции. Ну слабый отмазон это, никакой просто

конечно про статическую, про намек на самый распространенный язык в мире. Вот в нем можно ревьюить в 4 утра просто отлично. Нет типов - нет багов, так ведь?

Можно обойтись. Без генериков можно, без исключений можно, без типов совсем можно. А можно не выпендриваться и освободить народ от писания List.map, Seq.map, Option.map. Один раз написать toJson и не копипейстить её сто раз для каждого божьего рекорда. Вот хотя бы из-за этого сто пудов мне нужны тайпклассы. Распробовал прелесть раз и не хочется отказываться от неё только потому что есть в языке другие конструкции. Ну слабый отмазон это, никакой просто

из того, что я знаю про тайпклассы, следует, что есть крайне малое количество ситуаций, где тайпклассы отличаются от интерфейсов и перегрузки операторов

Ну ключевое отличие в том, что ты не можешь реализовать произвольный интерфейс для типа, которым не владеешь. (Понятное дело, что есть адаптеры, но ими не очень удобно пользоваться) А с тайпклассами таких проблем нет. Ну и вместе с тайпклассами обычно идёт механизм их автоматического вывода, что сильно бойлерплейт сокращает.

Ну ключевое отличие в том, что ты не можешь реализовать произвольный интерфейс для типа, которым не владеешь. (Понятное дело, что есть адаптеры, но ими не очень удобно пользоваться) А с тайпклассами таких проблем нет. Ну и вместе с тайпклассами обычно идёт механизм их автоматического вывода, что сильно бойлерплейт сокращает.

Всего два слова: type extensions

Всего два слова: type extensions

Проблема в том, что интерфейс через type extensions реализовать ты не можешь

Тут srtp же на помощь придет

Там уже есть пр в процессе, но он даже не помечен как vnext

Я про него и говорю

Тут srtp же на помощь придет

Когда доделают. Ну и тогда оно все равно скорее всего ощутимо слабее будет, т.к. не уверен, что тогда будут возможны вещи в духе (где инстанс тайпкласса требует существования другого инстанса): instance (Show a) => Show [a] where show = ... Плюс надо будет посмотреть возможно ли будет MPTC и т.п. расширения выразить. К тому же для type extensions вряд ли хоть когда-то будет доступен автоматический вывод тайпклассов, что достаточно важно для ux разработчика

Данный кейс делается через and. Но ты прав, тут есть ограничения. Как минимум первое, что все это будет инлайнами.

А инлайн type extension можно же будет описать?

Вот насчет этого не уверен.

Ну сценарий вложенных констрейнтов можно сделать, по идее

лично меня, лично меня, больше печалит приверженность народа к определенному набору инструментов - кровопускание вместо пенициллина. И тут тайпкласс всего лишь один из длинного списка. Но как ни печалься, зерно в этом есть, целую армию быдлокодеров надо чем-то занять, чтоб получить валуи уже сегодня, а не когда они узнают, что занимались все это время херней, или даже никогда так и не узнают.

"ну да, вам нужно развитие, а бизнесу нужен результат и он нужен сейчас": наш тимлид

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

Ну я пилю фичи, они мне деньги отсыпают пару раз в месяц. И там явно не те условия чтобы я интересовался что у них там за ситуация и какие потребности

Смотря что за бизнес. Бывает задержался с фичей и она уже не нужна.

Ну вот у меня, например, на том же c# скорость разработки была бы скорее всего в разы ниже

Вообще 90% фич именно такие :)

Вообще 90% фич именно такие :)

У нас на прошлом проекте многие фичи были не нужны уже на момент постановки тз

На f# я был очарован ce, помню. К счастью, это прошло

А зачем делали?

Как в армии

Или что пилим спринт, а потом инвесторы свежую аналитику получили и мы меняем направление

лично меня, лично меня, больше печалит приверженность народа к определенному набору инструментов - кровопускание вместо пенициллина. И тут тайпкласс всего лишь один из длинного списка. Но как ни печалься, зерно в этом есть, целую армию быдлокодеров надо чем-то занять, чтоб получить валуи уже сегодня, а не когда они узнают, что занимались все это время херней, или даже никогда так и не узнают.

Ну вот не всегда оно так. До тех же тайпклассов у меня дошел разработчик, который слова такого не знал, но требования сформировал совершенно определенные. Я доводил до ума констрейнты и генерики с параметрами-структурами, добивался генерации хорошего кода и воевал с выводом типов. А потом посмотрел что получилось и понял что у этого есть имя и я его знаю - классы типов.

@omgszer берите Котлин. Скала походу мертвый язык

Я бы не стал такие иллюстрации использовать. К тому же там К, а не С.