[
прикольненько.
Можно точно знать, в каких функциях налажал
Можно точно знать, в каких функциях налажал
Size: a a a
2021 March 24
MK
Во всех
[
Ну это само собой
[
А где налажал что упало - смотри в IO
[
ага. Надо было в вебкам идти
к
Я правильно понимаю, внутри IO-функций можно использовать чистые функции, а внутри чистых IO - нельзя?
ну да, в этом и смысл весь
к
можно еще больше ограничить скоуп возможностей
class Monad m => MonadFS m where
readF :: FilePath -> m ByteString
writeF :: FilePath -> ByteString -> m ()
myAction :: MonadFS m => m ()
myAction = do
a <- readF "a"
writeF "b" a
instance MonadFS IO where
readF = BS.readFile
writeF = BS.writeFile
main = myAction -- но мы точно знаем, что в myAction не может быть ничего из эффектов кроме работы с файлами
class Monad m => MonadFS m where
readF :: FilePath -> m ByteString
writeF :: FilePath -> ByteString -> m ()
myAction :: MonadFS m => m ()
myAction = do
a <- readF "a"
writeF "b" a
instance MonadFS IO where
readF = BS.readFile
writeF = BS.writeFile
main = myAction -- но мы точно знаем, что в myAction не может быть ничего из эффектов кроме работы с файлами
[
является ли чистой функция, возвращающая
[IO ()]?ну типа она возвращает лист грязных функций
[
прЕколы из теории категорий