5 ms·

Anyone have experiences to share about Dhall (https://dhall-lang.org https://dhall-lang.org)? On their homepage they call it a "programmable configuration lang

Anyone have experiences to share about Dhall (https://dhall-lang.org https://dhall-lang.org)? On their homepage they call it a "programmable configuration language that you can think of as: JSON + functions + types + imports"

junon 5y ago
Sorta. I evaluated it a long time ago and decided against ever touching it due to its remote import functionality. Apparently it's crazy to think that your configuration files shouldn't be issuing HTTP requests.
- strogonoff 5y ago
  > Apparently it's crazy to think that your configuration files shouldn't be issuing HTTP requests. Depends on what language runtime can do with those responses. Arbitrary code execution in a config (a la Django settings and indeed OP’s idea) can do much more damage, but even that doesn’t scare many people as this kind of configuration is considered an inherently trusted source.
Reitet00 5y ago
Yeah, I've used that a year ago or so. Pros: not Turing complete but quite powerful, nice type system and functions. For example one can write a type safe config migration from v1 to v2 (and check statically that it works), exports to JSON, YAML etc. Cons: uses Haskell like syntax, no bindings to various languages. You basically need to ship the dhall binary to convert the config to something else that your target application will consume.
- ReleaseCandidat 5y ago
  > no bindings to various languages. There are bindings to some languages: Haskell, Clojure, Go, Rust, Ruby and Purescript. https://docs.dhall-lang.org/howtos/How-to-integrate-Dhall.html#language-support https://docs.dhall-lang.org/howtos/How-to-integrate-Dhall.ht...