simd-lite
failability of parsing code
although I really do think there should be a discussion about the safety of the parsing code, why is parse fallible, and why we parse the array, without having the values of the array in the first place
Originally posted by @NightMare-Vortex in https://github.com/simd-lite/simd-json-derive/issues/54#issuecomment-1783574836
I agree, definetly worth considering and revisiting! I pulled this in it's own issue so it's nut buried in a completed PR :)
a few startingpoints:
-
the tape is (assuming no bugs) guaranteed to be valid JSON, all validation from formating (numbers, strings etc) and structure (correct k/v of objects, correct nesting etc) are checked in the second stage of parsing
-
for derives we need fallibility as we can have a valid json that does not match the expected structure that the derive demands
-
for DOM like structures (owned::Value, borrowed::Value that cover the entire JSON value space) we can expect all translation from tape -> dom to be correct
-
for DOM like structures that may not cover the entire value space, there is a chance of failures