在OCaml的世界里，**镜片**是什么？

Question

任何人都可以根据OCaml解释*什么是镜头？

我试图谷歌，但几乎所有人都在Haskell的世界。

希望在OCaml的世界中为它做一些简单的演示，比如它是什么，它可以用于什么等等。

Answer 1

镜头是一对数据结构下的函数（getter和setter）。它真的那么简单。目前有一个library，

type ('s,'a) t =
  { get : 's -> 'a;
    set  : 'a -> 's -> 's; }

裁缝的一个例子（使用上面列出的ocaml库），

type measurements = { inseam : float; }

type person = { name : string; measurements : measurements; }

let lens_person_measurements =
  { get = (fun x -> x.measurements); 
    set = (fun a x -> {x with measurements = a}); }

let lens_measurements_inseam = 
  { get = (fun x -> x.inseam); 
    set = (fun a x -> {x with inseam = a}); }

let lens_person_inseam = 
  compose lens_measurements_inseam lens_person_measurements

在将镜头组合在一起时，您可以将其视为一种避免在处理记录时不断编写with的方法。您还可以看到创建这些镜头的ppx将非常有用。 Yaron recently posted on the caml-list他们正在研究与镜头相似的东西。

van Laarhoven Lens definition(PDF)中的一个重要见解显示了特定Functor的一个函数（fmap）如何执行这些操作（设置和获取更有用的更新函数）。