Dhall开发问题：如何将环境变量值解析为联合类型可选分支以生成YAML配置

场景说明 #

作为Dhall初学者，近期在配置生成环节遇到需要落地的需求：

• 通过Dhall输出生成YAML格式的配置文件
• 其中某一参数的取值需要通过DHALL_TARGET环境变量传入
• 当前使用的配置转换运行命令为：

DHALL_TARGET=live dhall-to-yaml-ng --explain --documents --file ./project.dhall

失败尝试 #

最初尝试编写如下代码实现需求，但写法无法正常运行：

let Env = < demo | live >
in  [ ./project.dhall Env.env:DHALL_TARGET ]

报错原因明确为Env.env:DHALL_TARGET属于非法语法。

核心待解诉求 #

明确将环境变量传入的字符串值，正确解析为对应联合类型可选分支的实现方式。

内容的提问来源于stack exchange，提问作者damd