Результаты поиска по запросу "recursion-schemes"
Что такое катаморфизм и можно ли его реализовать в C # 3.0?
Я пытаюсь узнать о катаморфизме, и я прочиталстатья в Википедии [http://en.wikipedia.org/wiki/Catamorphism]и первая пара постов всерия темы для F # [http://lorgonblog.spaces.live.com/Blog/cns!701679AD17B6D310!256.entry] наВнутри F # блог. Я ...
Схемы рекурсии в Агде
Излишне говорить, что стандартная конструкция в Haskell
Что такое катаморфизм и можно ли его реализовать в C # 3.0?
я пытаюсь узнать о катаморфизме и ямы читалистатья в Википедии и первая пара постов всерия темы для F # наВнутри F # блог.Я понимаю, что этоs обобщение сгибо...
Это удивительно, спасибо (и Тим)!
некоторые действительно простые и понятные объяснения схем рекурсии и схем corecursion (катаморфизмы, анаморфизмы, hylomorphisms и т. Д.), Которые не требуют много ссылок или открытия учебника по теории категорий. Я уверен, что я неосознанно ...
Схемы рекурсии в Агде
Излишне говорить, что стандартная конструкция в Haskell newtype Fix f = Fix { getFix :: f (Fix f) } cata :: (Functor f) => (f a -> a) -> Fix f -> a cata f = f . fmap (cata f) . getFixэто здорово и очень полезно. Попытка определить похожую вещь ...