Вопросы по теме 'fixpoint-combinators'

haskell - флип фикс/фикс
>>>flip fix (0 :: Int) (\a b -> putStrLn "abc") Output: "abc" Это упрощенная версия использования flip fix . Я видел этот способ использования в одном видео на YouTube, которое, вероятно, взято из выступления Google Tech или...
777 просмотров

Функция точки фиксации не находит мою точку фиксации
Чтобы понять функцию 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 просмотров

Как тип «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