Re: [VOTE] JSON number to string

Hi Jakub, On Wed, Jun 10, 2015 at 8:09 PM, Jakub Zelenka <bukka@php.net> wrote: > The idea would be to use JSON schema just for selecting the type for > deserialized item in decoded JSON. It means that you could for example > select one float item that you want to decode as a string but other floats > would be still decoded as floats. That gives a better flexibility and helps > the problem in the same way. Please see my email to Alexey when we > discussed this RFC (there are few examples): > > > https://www.mail-archive.com/internals@lists.php.net/msg78698.html > Thank you for the reply. This could be done, but requires more work just to get raw value out of JSON. So I vote "yes" for all because your RFC is feasible resolution and useful enough. As I wrote in somewhere in discussion, it was better if all values are decoded as string just like DB values. Encoding is headache, though.. Regards, -- Yasuo Ohgaki yohgaki@ohgaki.net