mirror of
https://github.com/Kindelia/Kind2.git
synced 2024-09-11 07:15:45 +03:00
Update 3-getters-and-setters.md
This commit is contained in:
parent
ca7ff8c3d2
commit
f11e4ebf5c
@ -104,10 +104,10 @@ obj3: Object
|
||||
obj@data{"a"}[0] <= Nat.mul(2)
|
||||
```
|
||||
|
||||
This desugars to an efficient, linear core program that doesn't involve heavy
|
||||
lenses and avoids re-getting nested fields.
|
||||
And that's all. This just works as expected, and compiles to efficient, linear core
|
||||
programs that don't involve heavy lenses and avoid re-getting nested fields.
|
||||
|
||||
So, in short, dealing with nested fields in JavaScript looks nice but is
|
||||
In short, dealing with nested fields in JavaScript looks nice but is
|
||||
terrible; in Haskell, it looks terrible and is; in Kind, it is the joyful
|
||||
experience that makes you proud of your career choice.
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user