You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
The reason will be displayed to describe this comment to others. Learn more.
Then again, we're back to what I actually wanted to change : being bound to an arbitrary number.
I agree "num" wasn't the best name, but it didn't create 1000/10 functions for each lenses you wanted to create, and allowed arbitrary numbers :)
6af91c5
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Then again, we're back to what I actually wanted to change : being bound to an arbitrary number.
I agree
"num"
wasn't the best name, but it didn't create1000
/10
functions for each lenses you wanted to create, and allowed arbitrary numbers :)6af91c5
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Arg, I got turned around with this with the sexy syntax of L[n].
Since js doesn't allow for something like "method missing" everywhere, we're stuck with the eager arbitrary number with this style.
I'll recover num(). Good catch!
Btw, I'm fine with num, but I'm open to new ones. Perhaps Lens.idx(n) ?
6af91c5
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think
idx
makes more sense.