то, что не используешь. С монадами притащится новый механизм обработки ошибок, когда в языке уже есть один. Притащится новый контрол флоу без циклов, но с рекурсией.
Это фича стандарта, но ни один стандарт не указывает, как мне применять язык. Не бывает такого, чтобы все С++ разработчики избегали какого-либо кода лишь потому, что в нем что-то оказалось "не zero-cost" с точки зрения языка. Ведь подобный подход может оказаться "zero-cost" с точки зрения бизнеса. Не существует практик, которые бы запрещали использовать абстракции, если по какой-то причине эти абстракции не вполне согласуются с духом языка, но при этом могут решить конкретную задачу.
Циклы не противоречат ФП, если речь идет о внутренних циклах, о которых не знает внешний пользователь. Можно сделать чистую функцию, внутри которой будет сидеть цикл, и отрабатывать коллекцию точно так же, как это бы сделала рекурсия. Да, рекурсия - это идеоматичный способ обхода коллекций или вычисления по шагам, но если присмотреться, то определение чистой функции ничего не говорит о циклах. Это ровно та же ситуация, что и с монадой ST.
Обсуждают сегодня