I agree with SiriusStarr, I don’t think we should add this option to
More generally, I think code formatters should not offer options at all. I think that offering options to formatters causes a fragmentation of code styles and I much prefer more recent efforts such as standardjs and go fmt which have a much more “my way or the highway” ethos. I think consistency has proved to be more valuable than configurability. My “aha” moment for this was realising that, although I hate tabs for indentation, I prefer using go fmt (which uses tabs) than breaking with the community consistency.
So, if we accept that
dhall format should not be configurable, we have two choices:
- Keep the status quo - Unicode operators
- Switch to ASCII
and I think if we choose option 2, then effectively the Unicode operators will be dead language features which should eventually be removed.
I slightly prefer option 1 but I can see the argument for option 2 based around discoverability for new users. If we went with option 2, people could still get their Unicode fix via IDE display modes such as emacs pretty-mode.