Open Daw588 opened 19 hours ago
This is what https://svelte-5-preview.vercel.app/docs/runes#$state-snapshot is for. I don't know whether it makes sense to patch structuredClone
in dev to print a warning about this. There's going to be a never-ending list of libraries and APIs that don't expect proxies.
I'm aware of that, but there is zero indication of a problem in code editor.
Svelte lies to TypeScript that $state
returns the value it holds, but in reality it returns the value wrapped in a proxy. New developers won't be aware of this, and tools like TypeScript will never know. Developer can easily introduce a bug in their code and the tools that suppose to catch it are unable to because they are being lied to.
I don't know what will Svelte team do regarding this issue, but this definitely should be fixed one way or another. I would suggest a fix but I am by no means qualified to talk about tool design (especially given the scale of Svelte).
I would really love the addition of Boxed<T>
.
We can probably monkey patch structuredClone
in DEV and warn to use $state.snapshot
if encountering a Svelte proxied object. However, that can wait till 5.x as this isn't urgent.
Just one more thing I wanna say here, If a function returns an object that is something like:
{
name: string
}
Just by seeing the type, you have no idea if this is reactive or not, You have no idea that if you do, const somehting = $derived(x.name + " something")
, this is actually reactive or not. In most cases you have to check the implementation(or docs) to see if its a signal or just a normal property/getter.
Just one more thing I wanna say here, If a function returns an object that is something like:
{ name: string }
Just by seeing the type, you have no idea if this is reactive or not, You have no idea that if you do,
const somehting = $derived(x.name + " something")
, this is actually reactive or not. In most cases you have to check the implementation(or docs) to see if its a signal or just a normal property/getter.
Not much we can do about this with today's tooling. The same issue applies with any proxy reactivity library.
If the return type of signals were Boxed<T>
, which is just an alias for T
wouldn't it help (in type level I have some idea what I'm dealing with)? Also it wouldn't break current code if I'm correct.
@FoHoOV No, that wouldn't help at all. Boxing things doesn't solve anything – it just moves the problem to another area and in this case doesn't solve the problem of proxies. Unless you expected each property of the object/array to also be boxed – but that's terrible ergonomics.
I must be using the wrong terms here, Boxed<T>
is just an alias for T
. They are basically the same but have different semantics. All siganls should be returning Boxed<T>
(again just an alias for T
ie Boxed<T> = T
)
You would need to add a property or symbol to the type, otherwise the wrapper type gets erased. And if you do that, you are no longer allowed to assign to the variable, because the added property will be missing from the new value.
const stateKey = Symbol('state-key');
type StateProxy<T> = T & { [stateKey]: unknown };
declare function $state(value: number): number;
declare function $state(value: string): string;
// ...
declare function $state<T>(value: T): StateProxy<T>;
let a = $state(5); // number
let b = $state({ value: 3 }); // StateProxy<{ value: number }>
b = { value: 5 }; // Error
Describe the bug
Attempting to use
structuredClone
on any stateful object will result in an error with zero indication of a problem before running the code in both JavaScript and TypeScript.Reproduction
https://svelte-5-preview.vercel.app/#H4sIAAAAAAAACm2QwUrEQAyGXyVEobtQ2nu3LojiwYvHPTgeujPpOjqblJmMq5S-uwwLHoq35OP7_0BmHH2ghN3rjDycCTu8nyasUX-msqQvCkpYY5IcbSF9stFPujdsNJBCThThDm6TDkqbuWCjpaoDg8_yzvAoZLDwZbszXAYrnCRQE-S0KfntDtoWDhI_E4ye6T-nKZ1rEYYEFwphHUgas9UcyT0EYboeuYafBh_IgQrQN9msBNXKrkAYqoNnJ5eqg5v-5fhBVvdgJQcHLApHAltU1xju27-PYI1ncX705LDTmGl5W34BHhXdL2IBAAA=
Logs
No response
System Info
Severity
annoyance