DG
можно практиковаться бесплатно, но всё равно практика важна
++
Size: a a a
2021 March 23
DG
(извините)
D
пацаны, я что-то давно на хаскеле ничего не решал, поэтому подскажите такой момент:
когда у меня монада рекурсивная, как бэйскейс описывать?
потому что я в своём js понятно что могу что угодно написать, но хочется уже приближаться к канонам
конкретный пример - у меня массивный по объёму процесс (генерация данных), поэтому я делаю рекурсивный вызов child процесса, чтобы куча не разваливалась
когда у меня монада рекурсивная, как бэйскейс описывать?
потому что я в своём js понятно что могу что угодно написать, но хочется уже приближаться к канонам
конкретный пример - у меня массивный по объёму процесс (генерация данных), поэтому я делаю рекурсивный вызов child процесса, чтобы куча не разваливалась
D
типа через Either?
D
или Maybe
IK
Рекурсивная монада это когда
newtype M n a = M (M (M n) a)?IK
Или о чем речь?
D
ну я на хаскеле не знаю, я просто понимаю что это у меня выполняется процесс с IO
IK
Я не очень понимаю что ты вкладываешь в понятие “рекурсивная монада”. Можешь это другими словами выразить?
IK
Или конкретный пример
D
да, наврено я неправильно сказал, не монада рекурсивная, а рекурсия, которая юзает монаду
IK
пацаны, я что-то давно на хаскеле ничего не решал, поэтому подскажите такой момент:
когда у меня монада рекурсивная, как бэйскейс описывать?
потому что я в своём js понятно что могу что угодно написать, но хочется уже приближаться к канонам
конкретный пример - у меня массивный по объёму процесс (генерация данных), поэтому я делаю рекурсивный вызов child процесса, чтобы куча не разваливалась
когда у меня монада рекурсивная, как бэйскейс описывать?
потому что я в своём js понятно что могу что угодно написать, но хочется уже приближаться к канонам
конкретный пример - у меня массивный по объёму процесс (генерация данных), поэтому я делаю рекурсивный вызов child процесса, чтобы куча не разваливалась
Можно посмотреть как это у тебя сейчас выглядит?
D
да да, погоди
D
ну вот что-то такое (только не ругайся)
f(x, y) = executeIO(x, processCode == 0 ? f(x - smth, y) : undefined)
f(x, y) = executeIO(x, processCode == 0 ? f(x - smth, y) : undefined)
D
то есть я жду код изначального процесса, и исполняю новый процесс пока меня предыдущий не отправит на выход
IK
IK
то есть я жду код изначального процесса, и исполняю новый процесс пока меня предыдущий не отправит на выход
processCode где-то ассайнится?IK
то есть я жду код изначального процесса, и исполняю новый процесс пока меня предыдущий не отправит на выход
А, у меня нет параллельности
D
а у меня тоже ведь
IK
Ну это прямой перевод того что ты скинул