Hacker News Reader

Was it https://fugue.co ? I think they use Haskell for their DSL

here's the list of libs mentioned https://news.ycombinator.com/item?id=14267364

Thats really interesting. So config files themselves could be considered as some complex type and the inherent language type checking may be used to validate them?

Somehow reminds me of Structs/Records in Erlang/Elixir and using pattern matching, conditions and guard clauses to enforce validity or logic.

https://propellor.branchable.com/ I would guess.

I've been using propellor for a few months now and it'fantastic. It takes a little while to get your round it but compared to puppet, chef and ansible, of which I've used all, it's a breath of fresh air.

Good point, this was the first of the two libraries mentioned, the other has just been open sourced; it's called deptrack https://github.com/lucasdicioccio/deptrack