How to modify a dictionary or list in place using call-by-name (or other ways)

[Sturm Mabie]

The lack of lexical scoping is giving me a very hard time and I feel stuck at the moment. So here's the problem:

I want to make a function that mutates the dictionary that it is passed in as an argument. If I do it with call by value, instead of modifying in-place it just modifies a copy. If I use call-by-name, I have to do something like:

f:{[sym]

  dict:get sym;

  dict[`key]:42;

  sym set dict;

  }

The problem with this is that now the data is being copied and the data in the dictionary is large enough that I don't believe it to be acceptable.

Is there a better solution? I don't care about using call-by-naming, I just want a function to be able to access a dictionary or list in the surrounding scope and modify it in place. What is the best way to do this?

Thanks a bunch! Hopefully this isn't a stupid question. I just started using Q and I'm loving it so far... except for the lack of lexical scoping, which honestly strikes me as a totally crazy design decision. As a second question, does anyone know why Q does not have lexical scoping? It would make so many things much easier and much more elegant.

[Callum Biggs]

Hi Sturm

You can use a functional @ amend to achieve this

q)dictingAbout:{[x;ky;vl] @[x;ky;:;vl]}
q)dict:`a`b`c!1 2 3
q)dictingAbout[`dict;`b;5]
`dict
q)dict
a| 1
b| 5
c| 3

Callum Biggs | Data Scientist | Kx | +44 75 7627 4469 | cbi...@kx.com

Kx is a division of First Derivatives

--
You received this message because you are subscribed to the Google Groups "Kdb+ Personal Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to personal-kdbpl...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/personal-kdbplus/efe6e18e-2eee-4f5f-8ce1-e1aa43e9992d%40googlegroups.com.

[JW Buitenhuis]

Hi Sturm,

Q is optimised for append, not amend.

There's likely an elegant solution for the problem you're solving which doesn't require lexical scoping.

What's your use case?

The only scenario where I found I miss lexical scoping is when doing exception handling (try-catch-finally and logging) which ends up looking dense as you need project context into the exception handler:

/ cleanupArg could e.g. be a handle that needs closing

@[{do something that may throw};arg;{[arg;cleanupArg;err]log arg, log err, handle}[arg;cleanupArg;]]

>> which honestly strikes me as a totally crazy design decision.

Ah, the five stages of learning Q - anger, denial..

Will

To view this discussion on the web visit https://groups.google.com/d/msgid/personal-kdbplus/CADpagCfmZzQbBHSoPO1JK-W1UY2EZj9%2Bki8UDtuPVaCvHx4oyw%40mail.gmail.com.

[Sturm Mabie]

Thanks a bunch! Exactly what I needed. The @ operator is a doozy, still trying to get my head around it.

To view this discussion on the web visit https://groups.google.com/d/msgid/personal-kdbplus/CADpagCfmZzQbBHSoPO1JK-W1UY2EZj9%2Bki8UDtuPVaCvHx4oyw%40mail.gmail.com.

--

Sturm Mabie
cryptm.org/~sturm

[Sturm Mabie]

Let’s say I want a function that modifies a dictionary and then passes it to a different function that modifies it, etc etc. Are you saying it’s more efficient to use call-by-value instead of call-by-name? The only way I could imagine this to be true is if Q is using structural sharing to not copy the entire dictionary. If not, all the values will need to be copied regardless of whether it’s necessary or not.

What is the idiomatic and performant way to do it? Pass a handle and return the handle or pass the value and return the new copied value? In a functional language these two approaches would look the same, as pass-by-reference is the norm.

To view this discussion on the web visit https://groups.google.com/d/msgid/personal-kdbplus/CAHMrZwcFDTp%2B-uRGafi0k3Mupaxj5HRzfyZHK1%3DcL8HBCTYLpA%40mail.gmail.com.

--

Sturm Mabie
cryptm.org/~sturm