Вот неясно. Остров не является помехой мировому господству (доказано соседом)

Я про новую историю знаю. Они были нищебродами до Евросоюза и в нём тоже были нищебродами пока не отказались от своих территориальных вод (чот типа с 300км от берега, сократилось до 50), посде этого на эту рыбу набежали норвежцы, а Ирландия получила доступ к дешёвым кредитам и ей простили долги. Набрав новые кредиты взамен старых они сделали ставку на АйТи

я не F#, я сочувствующий. так-то мне в F# сильно Тайп Классов не хватало

А ведь кому-то это все поддерживать

Не совсем ясна область применения

Использовать обобщенный код вместо лобового без потери эффективности. Оверлоадить операции для типов, в которых аффтар этого не предусмотрел.

На C# можно приготовить тайпклассы, на F# скорее всего тоже можно

Тайпклассы будешь эмулировать дефолтными интерфейсами

Это как?

На f# есть пропозал по type extension

И не стоит, имхо, натягивать сову на глобус. В c# с т.з. аллокаций очень перспективно выглядят спаны

Спаны жестко посажены на массивы, т.е. куда менее обобщенные и куда более байто.. ские

Это пофиг в общем-то. Они все равно отлично справляются с задачей переиспользованич памяти

Т.е. чтобы нормальный бизнес-код не был кривым по построению в рантайме

Нормальный бизнес код по умолчанию кривой

Т.е. чтобы нормальный бизнес-код не был кривым по построению в рантайме

Просто потому, что качество кода равно нижнему уровню всех участников процесса

И классы типов - один из способов этот уровень поднять

Ну я бы сказал, что проблема так не решается

Ну т.е. тут по идее должен стоять запрет на их неиспользование

Это я могу реализовать. Мой разработчик в среднем должен писать не хуже меня самого. Решается это через код-ревью с ментороством. КЛассы типов помогают сократить трату моих сил на это.

Гггг

Вроде взрослый, а в сказки веришь

Я уже так делал неоднократно

Вроде взрослый, а в сказки веришь

И наоборот)

Наоборот пока еще прецедентов не было.

Ну вон Василий

Я про свой опыт само собой. На других не обобщаю, в отличие от Василия :)

Вот тебе полугруппа https://github.com/Kirill-Maurin/Sample.Struct/blob/master/Sample.Struct/Summators/ISummator.cs

Придется пить два бидона бухла.

Бедненький... Как же ты страдаешь!

Это вот это что ли? Тайп классы?

Да, а что?

В Москве я слышал чот холодно

Выглядит бедненько

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

Это все правда, да, но вот что-то мне не нравится в таком подходе.

Что именно? Сахару конечно меньше чем в хаскеле. У обобщенных методов сигнатуры страшненькие, помимо инстанса тайпкласса надо ваять метод для заворачивания, помимо интерфейса для класса надо писать структуру-обертку. Но по сравнению с хаскелем есть и плюсы - можно иметь больше одного инстанса тайпкласса на тип одновременно.