static json pattern match compiler

[bobzhang]

since now BuckleScript has runtime support for type-safe manipulating json objects dynamically(https://github.com/bloomberg/bucklescript/blob/master/jscomp/test/js_json_test.ml), it would be very useful to provide a static json pattern match compiler atop:

match%json x with 
| { x : [ a ;  { y : [b ; c] } ] } ->  blabla
| { x : [ a ; b ;   { y : [b ; c] } ] } -> blabla
| [ a ; b ; c ] -> blabla

The implementation would be very fun and make OCaml the best language to manipulate json values dynamically

[bobzhang]

Formalized a bit :

pat : 
| OpenMap [ "key1", pat ; "key2" , pat]
| ClosedMap ["key1", pat ]
| Null
| AnyNumber
| Array [ pat ; pat; ] (* closed *) 
| Array _ :: pat::pat :: _ (* open *)
| "string literal"
| 3 (* number literal *)
| false 
| true
| x (* wild pattern match *)

exp syntax: [%json ..]

primitive:
| null
| false
| true
| "literal"
| 3.0
| 3 
| x  : Js.Json.t
array : 
| [| ...  |]
map:
| [ "key1", val1; "key2" : val2 ]

[chenglou]

This would be pretty amazing!

[github-actions]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.