問題タブ [haskell-lens]

レンズを理解するためにこの記事を読んでいます。これが Edward Knett のレンズ パッケージとは異なることは承知していますが、それでも基礎には役立ちます。

したがって、レンズは次のように定義されます。

レンズがカテゴリを形成することが言及されており、私は型クラスのインスタンスを作成しようとしていますCategory。まず、関数の型定義を書きました。

そして、この後、私は一日中それを見つめています。その定義を書くための思考プロセスは正確には何ですか？

レンズライブラリにこれのショートカットはありますか?

ばかげた質問かもしれませんが、ショートカットが必要なほど基本的な構造のように感じます。

次の Aeson Lens 式にサフィックスを付けるにはどうすればよいですか

結果はValue（Objectコンストラクターを使用して）であり、String?ではありません。

レンズを理解するためにこの投稿を読んでいます。最初に、次のような型シノニムを定義します。

const は次のように定義されます。

get関数はどのように型チェックを行いますか:

getConst の型は次のようなものです。

私が推測するタイプr Constは次のようなものです：

getConstでは、とr Constget の両方が を与えるためにどのように構成されるのでしょうa -> bか?

私は、レンズを作成するために、この記事に記載されている例に取り組んできました。

記事に記載されているように作成Lensしました。以下が私のコードです。

これを含めない限り、このコードは型チェックしません。

しかし、記事のどこにも、彼らが単型性の制限について言及していることを知ることができませんでした。これは正常なことですか、それともここで何か間違ったことをしていますか?

使用コンパイラ: GHC 7.6.2

私はこの記事を読んでいて、そのセクションの1つに次のように記載されています。

レンズは後方に構成します。(.)関数のように振る舞わせることはできませんか?

あなたの言うとおりです。さまざまな理由でそうではありませんが、直感は正しいです。レンズは機能と同じように組み合わせる必要があります。これに関して重要なことの 1 つは、id がレンズに影響を与えることなく、任意のレンズで事前または事後構成できることです。

Lenses compose backs とはどういう意味ですか?

また、これはどういう意味ですか:(.)関数のように振る舞わせることはできませんか?

(.)は関数であり、それをレンズで使用することで、(.)何か他のように動作しますか?