IK
mkObject :: (MonadBaseControl IO m, MonadLogger m, MonadFooBar m) => m Object
Смотришь и сразу понятно, что лучше эту процедуру вообще не вызывать никогда
Size: a a a
2021 February 11
KV
DD
Хороший пример: в Джаве в какой-то момент создание каких-то объектов из стандартной библиотеки отправляло запросы в интернет. Просто создание объектов. Это для многих было неожиданно.
автор в статье писал что в фп если вы хотите сделать нечто нечистым, то вы должны сделать это самостоятельно.
DD
а про изоляцию грязного кода он пишет "мы можем выносить непредсказуемые механизмы на уровни, ещё более отдалённые от основной функции. В итоге мы можем вынести их, условно говоря, в «пограничные области» кода. Это приведёт к тому, что у нас будет тонкая оболочка из нечистого кода, которая окружает хорошо протестированное и предсказуемое ядро." и я подумал что так и принято в фп в целом
MK
это что, луковичная архитектура какая-то?
IK
Dmitry Dugin
а про изоляцию грязного кода он пишет "мы можем выносить непредсказуемые механизмы на уровни, ещё более отдалённые от основной функции. В итоге мы можем вынести их, условно говоря, в «пограничные области» кода. Это приведёт к тому, что у нас будет тонкая оболочка из нечистого кода, которая окружает хорошо протестированное и предсказуемое ядро." и я подумал что так и принято в фп в целом
Это звучит близко к правде
KV
В ФП принято так: куча монадной лапши, которая непонятно чё делает, дёргает сишные либы там, пускает ракеты, и немножко чистой бизнес-логики сбоку
MK
В ФП принято так: куча монадной лапши, которая непонятно чё делает, дёргает сишные либы там, пускает ракеты, и немножко чистой бизнес-логики сбоку
+
KV
Смысл ФП не в том, чтобы огораживаться от IO и состояния, оно ж всё равно будет. Можно разве что свести это к минимуму, что невредно. А смысл в том, чтобы код писать композицией функций, а не какими-то другими примитивами, как в других языках
DD
Смысл ФП не в том, чтобы огораживаться от IO и состояния, оно ж всё равно будет. Можно разве что свести это к минимуму, что невредно. А смысл в том, чтобы код писать композицией функций, а не какими-то другими примитивами, как в других языках
понятно
AP
но мочь отгораживаться — приятно всяко
NI
Dmitry Dugin
Я правильно понимаю один из аспектов функционально подхода в отношении чистых и нечистых функций? мы изолируем нечистые функции(ввод-вывод допустим) , а они уже вызывают чистую функцию, которая в свою очередь может последовательно вызвать цепочку чистых функций. таким образом изолируется "грязный" код как я понял.
> ввод-вывод допустим
Ввод-вывод тоже может быть чистым.
Например, в раннем хаскеле, он делался в виде функции обработки ленивого списка, поступающего "извне".
Ввод-вывод тоже может быть чистым.
Например, в раннем хаскеле, он делался в виде функции обработки ленивого списка, поступающего "извне".
AP
это не был ввод-вывод
AP
так можно сказать и про синус тогда — он вводит чиселку и выводит чиселку