Мне нужен следующий класс функций: class InterleavedHomomorphic x where interleaveHomomorphism :: (forall a . f a -> g a) -> x f -> x g Очевидно, придуманное мной имя никоим образом не является официальным термином для чего-либо, а...

Результатом является эффективное вычисление. Таким образом, имеет смысл инкапсулировать его в монаду. Но ввод — это контекстно-зависимое вычисление. Таким образом, было бы более разумно инкапсулировать его в комонаду. Однако в Haskell ввод и...

Так что в последнее время я экспериментировал с фиксированными точками и, наконец, боролся с обычными фиксированными точками в достаточной степени, чтобы обнаружить некоторые применения; теперь я перехожу к комонадическим фиксированным точкам и...

Я написал простую реализацию Игры жизни Конвея , используя Сохранить comonad (см. код ниже). Моя проблема в том, что генерация сетки становится заметно медленнее, начиная с пятой итерации. Связана ли моя проблема с тем, что я использую комонаду...