catamorphism

    11熱度

    1回答

    一個遞歸方案的庫實現

    我'發明'一個遞推方案，這是一個變形的泛化。當你與catamorphism倍的數據結構，你沒有訪問subterms，只能摺疊子結果： {-# LANGUAGE DeriveFunctor #-} import qualified Data.Map as M newtype Fix f = Fix { unFix :: f (Fix f) } cata :: Functor f => (f
    haskell recursion catamorphism recursion-schemes 2013-08-02

    5熱度

    3回答

    Bool和List的「可能」類似的函數？

    有時候我發現自己正在編制模式「如果Bool不是假的」或者「如果列表不是空的使用它，否則使用別的東西」。 我要尋找的布爾認爲是「可能」的功能是什麼也許和功能列表。有沒有？ 更新：我的意思是使用布爾情況作爲列表的情況下的推廣。例如，當使用Data.Text作爲T時： if T.null x then x else foo x 我在尋找減少這種鍋爐板代碼。
    haskell catamorphism 2010-10-01

    23熱度

    1回答

    是否有可能使GHC優化（森林砍伐）通用功能，如變質作用？

    我真的很喜歡在一個通用的方式與catamorphisms/anamorphisms工作的想法，但在我看來，它有一個顯著的性能缺點： 假設我們想用一個樹形結構的分類方式工作 - 來形容不同的摺疊使用通用catamorphism function： newtype Fix f = Fix { unfix :: f (Fix f) } data TreeT r = Leaf | Tree r r
    optimization haskell ghc fusion catamorphism 2012-10-27

    1熱度

    1回答

    cataM的評估順序

    在以下代碼中，如何讓cataM自上而下遍歷樹（而不是像現在這樣是自下而上的）？ 我想我應該實現foldMap不同，但因爲branch如何給孩子之前處理branch節點本身沒有t實例，它兒都沒有？ module Catatree where import Data.Foldable import Data.Traversable import Data.Monoid import Data
    purescript recursion-schemes catamorphism 2017-04-26

    10熱度

    2回答

    如何使變形與參數化/索引類型一起工作？

    我最近了解了一些關於F-代數的知識： https://www.fpcomplete.com/user/bartosz/understanding-algebras。 我想將這個功能提升到更高級的類型（索引和更高主動）。 此外，我檢查了「給予Haskell促銷」（http://research.microsoft.com/en-us/people/dimitris/fc-kind-poly.pdf）
    haskell algebra type-systems gadt catamorphism 2013-07-06

    4熱度

    3回答

    有沒有像cata的東西，但你可以匹配內部結構？

    我有這樣的語言AST data ExprF r = Const Int | Var String | Lambda String r | EList [r] | Apply r r deriving (Show, Eq, Ord, Functor, Foldable) 我想將它轉換爲字符串 toString = cata $ \
    haskell recursion abstract-syntax-tree catamorphism recursion-schemes 2016-08-23

    15熱度

    2回答

    Catamorphism和樹遍歷哈斯克爾

    我不耐煩了，期待了解catamorphism related to this SO question :) 我只練真實世界哈斯克爾教程的開始。所以，也許我現在要問的方式太多了，如果是這樣的話，只要告訴我我應該學習的概念。我的報價爲wikipedia code sample for catamorphism。 我想知道你對下面的foldTree的看法，這是一種遍歷Tree的方法，與其他SO的問題和答
    haskell tree-traversal catamorphism 2010-12-13

    4熱度

    2回答

    如何在C中摺疊n元樹＃

    我想對n元樹數據結構進行摺疊。 （倍是又名聚集在LINQ） 我設法拿出一個工作液： public static R Aggregate<T, R>(T node, Func<T, IEnumerable<T>> getChildren, Func<T, IEnumerable<R>, R> aggregator) { var childResults = ge
    c# f# tree fold catamorphism 2013-10-23

    1熱度

    3回答

    什麼是高階函數foldl和foldr的實例？

    典型的學術範例是總結一個列表。 是否有真實世界中使用摺疊的例子來闡明其效用？
    functional-programming fold catamorphism 2012-05-04

    9熱度

    2回答

    是否有可能使用遞歸方案比較兩棵樹？

    我有這個AST data ExprF r = Const Int | Add r r type Expr = Fix ExprF ，我想比較 x = Fix $ Add (Fix (Const 1)) (Fix (Const 1)) y = Fix $ Add (Fix (Const 1)) (Fix (Const 2)) 但是所有的遞歸方案的功能似乎只用單一結構 顯然工作，我可以用遞
    haskell tree abstract-syntax-tree catamorphism recursion-schemes 2016-07-23
最新問題