Another principle virtue of Dhall (stemming from the type system) is that it's total, so you know no funny business can go on when computing the configs. Even i

Another principle virtue of Dhall (stemming from the type system) is that it's total, so you know no funny business can go on when computing the configs. Even if you use typescript for (unsound) static type checking, you're definitely not going to get totality out of it. If someone wanted dhall in JS, they could implement it, as has been done for Go, Ruby, Clojure, etc.[1] iiuc, this library is much more akin to the approach described in https://beepb00p.xyz/configs-suck.html https://beepb00p.xyz/configs-suck.html [1]: https://docs.dhall-lang.org/howtos/How-to-integrate-Dhall.html#language-support https://docs.dhall-lang.org/howtos/How-to-integrate-Dhall.ht...