3 ms·
This looks very useful.
by mitchtbaum 7y ago
This looks very useful.
- mitchtbaum 7y agolooking further, it seems that aside from repetitiveness, safety is the main focus: https://github.com/dhall-lang/dhall-lang/wiki/Safety-guarantees#types https://github.com/dhall-lang/dhall-lang/wiki/Safety-guarant... which in Rust, we're solving this via SANE and SCL: https://gitlab.com/bloom42/sane-rs https://gitlab.com/bloom42/sane-rs https://github.com/keats/scl https://github.com/keats/scl I'm not sure how much need there is for an additional programming layer, especially within config (the part of a program with the simplest syntactic requirements). for my projects where "ahead-of-time validation" is needed, we're currently using SCL's parser for safety guarantees: https://github.com/foundpatterns/contentdb https://github.com/foundpatterns/contentdb https://github.com/foundpatterns/lighttouch/blob/d7ada4576a6f8865a625f6ffa18452ec90353db5/loaders/models.lua https://github.com/foundpatterns/lighttouch/blob/d7ada4576a6... https://github.com/foundpatterns/torchbear/blob/4dd2b9ea76ba0911d586ec5a0276f53053bd9738/src/bindings/text/scl.rs https://github.com/foundpatterns/torchbear/blob/4dd2b9ea76ba...
- ff_ 7y agoFrom a cursory look to SANE and SCL it looks like Dhall still offers some more: - functions - a powerful typesystem - remote (HTTP) imports with sha256 checksums