Renaming refs #52

New Issue

scott · 2024-05-24T15:13:54Z

scott commented

2024-05-24 15:13:54 +00:00

Currently, we use ref and deref for changeable values.

This issue was originally to use value_of in addition to deref, or instead of it.

But I think the better thing is to get a little more intuitive about the naming and api of these things.

Here's a proposal:

box, not ref
unbox, not deref or value_of
store! instead of set!

Currently, we use `ref` and `deref` for changeable values. This issue was originally to use `value_of` in addition to `deref`, or instead of it. But I think the better thing is to get a little more intuitive about the naming and api of these things. Here's a proposal: * `box`, not `ref` * `unbox`, not `deref` or `value_of` * `store!` instead of `set!`

scott added this to the Computer Class milestone 2024-05-24 15:13:54 +00:00

scott added the

enhancement

proposal

labels 2024-05-24 15:13:54 +00:00

scott self-assigned this 2024-05-24 15:13:54 +00:00

scott changed title from ~~`deref` should (also?) be `value_of`~~ to Renaming `ref`s

2024-06-04 19:02:02 +00:00

scott commented

2024-06-04 20:58:35 +00:00

Done and done, in fa5e298d94

Done and done, in https://alea.ludus.dev/twc/ludus/commit/fa5e298d94806491b22493f50ba0e1ce4212193f