タグ付けされた質問 「lenses」

レコードのフィールドにアクセスして操作するための少なくとも3つの一般的なライブラリがあります。私が知っているのは、データアクセサ、FCラベル、レンズです。 個人的には、データアクセサーから始めて、現在はそれらを使用しています。しかし最近haskell-cafeでfclabelsが優れているという意見がありました。 したがって、これら3つの（そしておそらくそれ以上の）ライブラリーの比較に興味があります。

173 data-structures  haskell  record  lenses 

多くのタイプの光学系には、ファンラーホーフェンの表現があります。 たとえばLens、タイプのa は次のLens s t a b ように表すことができます。 Functor f => (a -> f b) -> s -> f t 同様にTraversal、は同様の方法で表すことができ、Functor制約をApplicative次のように入れ替えます。 Applicative f => (a -> f b) -> s -> f t MonocleやArrowなどのいくつかの光学フレームワークは、というタイプを定義しますOptional。 Monocleの光学では、階層 OptionalはLensとの間に適合しますTraversal 私が理解しているように：a Traversalが0から多くのターゲットをLens持つ可能性がある aのような場合、は0から1のターゲットを持つ可能性があるOptional aのようなものです。Lens Monocleでは、Optional関数のペアとして定義されます。 getOrModify :: s -> Either t a set :: …

15 scala  haskell  functional-programming  lenses  monocle-scala