Без некого подобия IO ты хрен ее достигнешь.

а если добавить в раст гц получится недохаскель с сишным синтаксисом

typescript

Хотя, можно конечно (если ты по DDD) делаешь накидать все в слое Entity все реально ссылочно прозрачно. Привет readonly struct да и просто классы с полями только на чтение ну будет в этогде что-то вроде Money foo = Money bar * Discount baz или Money foo = bar.Applay(baz); Только как только ты выйдешь из слоя Entity тут же прощай ссылочная прозрачность.

Хотя не так. Скорее так. (Basket) a = (Basket)b.Add((Product)c);

он структурно типизированый

и совсем не порицает использование any

ну и то что там УБ (в смысле раста) полным полно

то есть вернуть невалидный примитив (нулл вместо числа, например) - как два пальца

офк это проблема кривых аннотаций, но она есть

Вообще си и кресты меня бесят просто потому, что сложный софт на них приходится засовывать в огороженные песочницы, ведь очередная RCE в каком нибудь imagemagick или ffmpeg - только вопрос времени.

меня си бесит своим коммьюнити

"да, язык опасный, НО ВЫ ПРОСТО ДУМАЙТЕ"

+++

- а может стоит инструмент подработать, сделать более безопасным, и тд?
- ТЫ ЧО, ТРУС?!? ПРОСТО ПИШИ НОРМАЛЬНО И БУДЕТ НОРМАЛЬНО. А твои беби-сит костылики только замедляют меня, компилятор говорит МНЕ что делать. Понимаешь? Мне, человеку! Диктует что делать машина! Не бывать такому.
Только днари у которых нет чувства собственного достинства вроде джавистов или сраных продажных майкрософтовских прихвостней могут на такое согласиться.

а я говорил что есть?

ну смесь

смесь императивного и императивного, как раст

часть фп часть императивочки