Вопросы по теме 'fixpoint-combinators'
haskell - флип фикс/фикс
>>>flip fix (0 :: Int) (\a b -> putStrLn "abc")
Output: "abc"
Это упрощенная версия использования flip fix . Я видел этот способ использования в одном видео на YouTube, которое, вероятно, взято из выступления Google Tech или...
777 просмотров
schedule
11.06.2023
Функция точки фиксации не находит мою точку фиксации
Чтобы понять функцию fix из Control.Monad.State , fix :: (a -> a) -> a , у меня есть этот небольшой код в modifyValue , который увеличивает целое число до 49, тогда функция всегда возвращает 50.
import Control.Monad.State
type StateVal...
86 просмотров
schedule
21.04.2023
Схемы рекурсии с использованием `Fix` для типа данных, который уже является функтором?
Я все еще работаю над своим текстовым редактором Rasa .
На данный момент я создаю систему для отслеживания окон / разделений (аналогично разделам в vim). Мне показалось естественным представить эту структуру в виде дерева:
data Dir = Hor...
499 просмотров
schedule
09.03.2022
Как тип «Fix» и функция «fix» совпадают в Haskell?
Пытаюсь убедить себя, что тип Fix и функция fix — это одно и то же. Но не могу найти корреляции между их определениями
-- definition of fix
fix :: (p -> p) -> p
fix f = let {x = f x} in x -- or fix f = f (fix f)
-- definition of Fix...
201 просмотров
schedule
10.02.2023