на шарпе, решения не нахожу, интересно, можно ли решить ее на фэшарпе. Есть несколько методов, которые можно чейнить - ну вроде transaction.ApplyTax().ApplyDiscount().ApplyShipmentCost(). Бизнес диктует, что некоторые методы требуют обязательного предварительно исполнения других, иные же не могут быть исполнены вместе в другими над одним объектом. Например, нельзя считать налог после скидки, обязательно до и т.д. Сейчас у нас все это проверяется во время рантайма. Можно ли как-нибудь перенести эти проверки на компайл-тайм?
да, можно. Ты делаешь discriminated union, описывающий состояние транзакции, и вокруг него машину состояний. А дальше отдельные функции, которые принимают транзакцию, накладывают скидки и возвращают новую транзакцию с другим состоянием
в общем да, чтобы в статике это делать, нужно сделать на каждое состояние отдельный тип, например, ShippedTransaction, TaxedTransaction и тд. Если нужно потом как-то работать с транзакцией независимо от состояния — объединяешь все это в один DU
Объединить необходимые методы?
Обсуждают сегодня