Dhall: a non-Turing-complete typed declarative configuration language | Hacker News Reader