catamorphism

23熱

1答えて

GHCは、異型性などの一般的な機能を最適化（デフォレスト）することは可能ですか？

私は本当に一般的な方法でcatamorphisms/anamorphismsでの作業のアイデアのように、それはパフォーマンスの大幅な欠点を持っている私には思える：我々は、カテゴリのようにツリー構造で作業したいとしましょう - 記述するためにジェネリックcatamorphism functionを使用して、異なる折りたたみ：時間：残念ながら、このアプローチは重大な欠点を持っている depth1 :

1熱

1答えて

cataMの評価順

次のコードで、cataMはツリートップダウンをトラバースすることは可能です（現在の場合はボトムアップではありません）。私は違っfoldMapを実装する必要がありますが、branchは子供ではありませんtのインスタンスを持っていないので、子供たちの前branchノード自体をどのように処理するかを推測しますか？ module Catatree where import Data.Foldable

10熱

2答えて

異型化をパラメータ化/インデックス化型で動作させるにはどうすればよいですか？

私は最近F-algebrasについて少し学んだ： https://www.fpcomplete.com/user/bartosz/understanding-algebras。私は、この機能をより高度な種類（索引付きおよび高級品）にしたいと考えていました。さらに、 "Haskell a Promotion"（http://research.microsoft.com/en-us/people/

2熱

1答えて

CofreeアノテーションでASTを使用するにはどうすればよいですか？

私はこの簡単なExpr ASTを持っており、簡単にStringに変換できます。 import Prelude hiding (Foldable) import qualified Prelude import Data.Foldable as F import Data.Functor.Foldable import Data.Monoid import Control.Comonad.

9熱

2答えて

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)) を比較したい。しかし、私は再帰に eq (Fix (C

11熱

1答えて

再帰スキームのライブラリ実装

異教徒の一般化である再帰スキームを「発明しました」。 {-# LANGUAGE DeriveFunctor #-} import qualified Data.Map as M newtype Fix f = Fix { unFix :: f (Fix f) } cata :: Functor f => (f b -> b) -> Fix f -> b cata phi = self

9熱

2答えて

折りたたみオプション、いずれかなどの関係は何ですか？

BooleanOption[_]Validation[_, _]Either[_, _]などのように、ScalazはさまざまなADTに対してfoldという名前のメソッドを提供します。このメソッドは基本的にADTのすべての可能なケースに対応する関数を取ります。換言すれば、以下に示すパターンマッチ：同時に、同じでの動作がある scala> (9 == 8).fold("foo", "bar") re