Rename Json → JSON

[toastal]

In English, acronyms and initialisms generally follow a casing where each letter is a capital letter.

JSON (JavaScript Object Notation) is a lightweight data-interchange format.

— The site for the JSON spec, https://www.json.org/json-en.html

By removing this naming, it becomes unclear that we are talking about an acronym and it goes against the casing specified by the specification. We also lose casing information by converting it as well and can do any string transform to get it back. PureScript can support the original casing and many libraries in the ecosystem use JSON. With JavaScript being by far the most common PureScript target, this needlessly differs from the ECMAScript specification as well.

Describe the solution you’d like

A replacement of Json → JSON. Any method with Json can have a deprecation tag and be an alias to the JSON counterpart in the meantime.

[garyb]

While I tend to prefer correctly capitalised acronyms in code also, there's plenty of precedence of title case being used for them instead. A particularly cursed example from JS being XMLHttpRequest.

I think it's a bit late to make such a breaking change for purely cosmetic purposes to this library, but I'll correct it in purescript-json now you mention it, which will eventually be an "official" core JSON library and should replace this.

[toastal]

Great idea!