Dhall：在记录中使用非 ascii 字符作为标签？

Question

{ "ハルカナホシノセカイへ": "https://www.youtube.com/watch?v=pwl1nISaCNg" }

简单地说，是否可以使用非 ascii，例如Dhall唱片标签中的CJK字符？比如，翻译上面的 json 记录？

我试过

json-to-dhall

在标签周围加上反引号：

$ json-to-dhall <<< '{ "ハルカナホシノセカイへ": "https://www.youtube.com/watch?v=pwl1nISaCNg" }' 
{ `ハルカナホシノセカイへ` = "https://www.youtube.com/watch?v=pwl1nISaCNg" }

好吧，似乎连 Dhall 本身也不喜欢他们：

$ dhall-to-json <<< '{ `ハルカナホシノセカイへ` = "https://www.youtube.com/watch?v=pwl1nISaCNg" }'


Error: Invalid input

(input):1:3:
  |
1 | { `ハルカナホシノセカイへ` = "https://www.youtube.com/watch?v=pwl1nISaCNg" }
  |   ^
unexpected '`'
expecting ',', =, whitespace, or }

Answer 1

是的，Dhall 目前只支持 ASCII 标识符和标签。即使您引用标签，它们仍然仅限于 ASCII。参见：

https://github.com/dhall-lang/dhall-lang/blob/1536ab697d8e3a7b5490be7fae7ba5cbb1edbedc/standard/dhall.abnf#L206-L209

这可以修复，但需要更改语言标准。