ну просто оверинженирингом пахнет

Но в начале леща

Ну на сишарпе много оверинжиниринга

Ну вот я ща смотрю в код, и понимаю, что там адовый оверинжиниринг

Оверинжиниринг=перепроектирование. Что ты, как программист, сделал бы на сишарпе иначе?

подключил бы проект на F# рядом!!!

Мне кажется, тут уже достаточно просто написать "Визитор", и все гореть начнут. :)

Зачем? Это всего лишь жалкое подобие классов типов.

Вообще это нормальный энкодинг типов-сумм.

я хз как правильно

Мб Влашчын

Нормальный=часто встречающийся? Не знаю, по мне так ядреный костыль

https://www.howtopronounce.com/wlaschin/

Веласкин )

Нормальный=часто встречающийся? Не знаю, по мне так ядреный костыль

Вот, например, в F# нет экзистенциальных типов и rank-n полиморфизма. Является ли их энкодинг через ООПшную систему типов .NET костылем?

а как экзистенциальные типы выразить через ООПшные штуки?

Оверинжиниринг=перепроектирование. Что ты, как программист, сделал бы на сишарпе иначе?

Надо ещё разок трудов Карделли курнуть 🤔

public abstract class Command<TAggregate, TIdentity, TSourceIdentity> : ValueObject, ICommand<TAggregate, TIdentity, TSourceIdentity> where TAggregate : IAggregateRoot<TIdentity> where TIdentity : IIdentity where TSourceIdentity : ISourceId

Блин, я всех распугал кажется.

Я ща вброшу за всех, всё что ты написал - дичь, т.к. всё можно закодить на Brainfuck

и потом выходит на сцену @gsomix и говорит НИКАКОГО ОВЕРИНЖИРИНГА в HKT на Брейнфаке нет, просто ОЧЕНЬ ДОХУЯ кода, но это нормально и система типов там мощнее хаскеля, т.к. нет ограничений!

Блин, это максимал тупо.

что такое гадт

что такое гадт

Ayrat я уже почти доделала следующую лабу! Скоро выложу

// забыли про гадты

type Expr<'T> = | Const of 'T -> Expr<'T> | Add of Expr<int> -> Expr<int> -> Expr<int> | IfThenElse of Expr<bool> -> Expr<'T> -> Expr<'T> -> Expr<'T> | App of Expr<'T -> 'S> -> Expr<'T> -> Expr<'S> | Lam of (Expr<'T> -> Expr<'S>) -> Expr<'T -> 'S> | Fix of Expr<('T -> 'S) -> 'T -> 'S> -> Expr<'T -> 'S>

по ракету? отлично! а уровень пожоще будет?

надо интерпретатор написать для игрушечного языка и потом немного кода на нём. Выворачивать мозг наизнанку вроде не надо, но кода кажется побольше 🤔

type Expr<'T> = | Const of 'T -> Expr<'T> | Add of Expr<int> -> Expr<int> -> Expr<int> | IfThenElse of Expr<bool> -> Expr<'T> -> Expr<'T> -> Expr<'T> | App of Expr<'T -> 'S> -> Expr<'T> -> Expr<'S> | Lam of (Expr<'T> -> Expr<'S>) -> Expr<'T -> 'S> | Fix of Expr<('T -> 'S) -> 'T -> 'S> -> Expr<'T -> 'S>

а ты первую лабу уже в боевых условиях тестила?

это же фшарп

это же фшарп

Ну как минимум платежные ордера не стал бы по разным таблицам разносить

по ней скоро дедлайн. Боюсь смотреть пока, что наприсылали

6 человек уже сдали. Надо проверять

дай мне посмотреть, я хочу со своими решениями сравнить, почерпну нового

Не уверена, что так можно 🤔

Про таблицы в статье вроде не было

А я уже почти привык к golang. И правда быстро учится. 🙃

отсутствие жынериков не мешает?