scrap-your-boilerplate

9熱

2答えて

GHC.Generics（または他の同様のフレームワーク）を使用して汎用Functorインスタンスを構築する方法は？

私はGHC Genericsを学ぼうとしています。いくつかの例を見直した後、汎用のFunctorインスタンスを作成しようとしました（GHCが自動的にそれらを引き出すことはできません）。しかし、ジェネリックスでパラメータ化されたデータ型をどのように扱うか分かりません。私が見た例はすべて*です。これは可能ですか？はいの場合、どうですか？（私はSYBのような他の同様のフレームワークにも興味があります）

11熱

2答えて

Haskellの "Scrap Your Boilerplate"のClojure相当

Haskellで興味深いライブラリがScrap Your Boilerplateと呼ばれ、paper by Simon Peyton Jonesに基づいています。これは、関数型プログラミングで大きく深くネストされたデータ構造を更新するコードを書くのに有効な方法です言語。潜在的に大規模で複雑な会社のデータ構造内のすべての人に給与を実質的に一定割合k増加させるものです。 Clojureに同じ種類

0熱

1答えて

CQRSデベロッパー用Resharper 6ライブテンプレート

CQRS開発時に得られる定型コードを処理するために、Resharperライブテンプレートを使用している人について、ddd-cqrsリストに何らかのおしゃべりがあります。これは定型文句の狂気を克服する最善の方法ですか、誰でもコミュニティと共有したいことがありますか？

2熱

2答えて

Data.Data - arity 2型コンストラクタのdataCast1を生成する（部分的に特殊化）

Data.MapにはdataCast2が定義されています。 dataCast1のデフォルトはconst Nothingです。 dataCast2は、容易にgcast2と定義される。参考：手元 class Typeable a => Data a where dataCast1 :: Typeable1 t => (forall d. Data d => c (t d)) -> Mayb

5熱

2答えて

ハスケルのボイラープレート（SYB）のスクラップ - どこでもなく1回だけ変換を適用する

SYBを使用してeverywhereの代わりに1回だけツリーに変換を適用する最も良い方法は何ですか？たとえば、次の簡略化された表現では、Var "x"といういくつかのインスタンスがあり、最初のインスタンスをVar "y"に置き換えたいとします。 data Exp = Var String | Val Int | Plus Exp Exp |... myExp = Val 5 `Plus` Var

3熱

1答えて

再帰型レンダリング

私はのいずれかのの再帰的文法データ型とそのデータ型の表現をとることができ、同じ種類のすべての部分式のリストを生成するようなコードを作成しようとしていますその型の再帰でscanのようにします。付属の玩具電卓の文法タイプEExpについては、以下の2つの手動の例を書いています。最初の例では、Lensライブラリのプリズムとレンズを使用していますが、eg1の式の1つでは動作しますが、2番目の関数はハンドリ

3熱

2答えて

は、多型の構造を横断し、ほんの数例で

変換を行って、我々は次の方法で会社の階層を表しているとします {-# LANGUAGE DeriveDataTypeable #-} import Data.Data import Data.Generics.Aliases import Data.Generics.Schemes data CompanyAsset = Employee Name Salary