TOON → JSON decoding behavior for "1" vs 1

[emtiazehoque-dot]

How would you differentiate between "1" and 1 when converting back from TOON to JSON or other structured data files?

[NEDDL]

Check the playground: https://toontools.vercel.app/tools/json-to-toon

The toon format would be 1 if number, "1" if string.

This:

{
  "users": [
    {
      "id": "1",
      "name": "Alice",
      "role": "admin"
    },
    {
      "id": 2,
      "name": "Bob",
      "role": "user"
    }
  ]
}

Converts to this:

users[2]{id,name,role}:
  "1",Alice,admin
  2,Bob,user

[johannschopplich]

@NEDDL Thanks for the explanation! Exactly, TOON keeps them distinct via quoting.

• Unquoted 1 decodes as a number.
• Quoted "1" always decodes as a string, even though it looks numeric.

The encoder guarantees this (spec §4, §7.2), so JSON round-trips preserve types.

[johannschopplich]

@n