ekmett/lens

Wiki Derivation: Make example types more consistent

Closed this issue · 2 comments

sdzx-1 commented

Hello everyone, I modified part of the sample code on this page. This is done to make the types of examples more consistent.
Here are some explanations:
pic

RyanGlScott commented

Thanks for the contribution, @sdzx-1!

I don't really have a strong opinion on the order of type variables myself. I think some folks are used to type variables being presented in a certain order—for instance, the type variable f is often listed before g, as popularized by Data.Functor.Compose. Ultimately, I don't think this needs to be a hard-and-fast rule, and the new order has a certain "incremental" intuition behind it that the previous order did not.

  • 👍1