My situation is, I currently have a relatively extensive configuration file in yaml format. My application is written in Python. The yaml format is untyped, of course, and I have to validate the format in Python and convert to the corresponding Python types (in the case of enums, for example).
Is dhall something that can even help here? I can rewrite my configuration in dhall, and there are the dhall bindings in Python. But if I cannot transfer my Dhall types to Python (or vice-versa), so I have to validate and convert just the same. Albeit with a little less effort, since dhall ensures certain invariants.
From my point of view, what dhall gives me, mainly, is the ability to write functions to make the configuration a bit more straightforward and possibly less error-prone. Am I missing something? Is somebody else using Dhall in Python?