Maintainable configuration files
Joined February 2018
- Tweets586
- Following0
- Followers1.6K
- Likes344
Pinned Tweet
Check out the new website for the Dhall configuration language, which includes a live demo:
dhall-lang.org
Dhall retweeted
Version 1.42.0 of the Haskell implementation of @dhall_lang is out!
☑ Supports version 23.0.0 of the standard
☑ New `dhall package` sub-command
☑ `dhall to-directory-tree` support for file metadata
☑ LOTS of bug fixes
For more details, see: github.com/dhall-lang/dhall-…
Version 23.0.0 of the standard is out:
☑ Language support for Bytes literals
☑ New {Date,Time,TimeZone}/show builtins
☑ Prelude.{List,Map}.mapMaybe
☑ Prelude support for `dhall to-directory-tree`
Full change log here: github.com/dhall-lang/dhall-…
Dhall retweeted
Version 1.41.2 of the Haskell implementation of @dhall_lang is out:
☑ Fix :hash REPL command to α-normalize input
☑ New {From,To}Dhall instances
Full changelog here: github.com/dhall-lang/dhall-…
Dhall retweeted
I had 5 minutes, so now you can configure @caddyserver with @dhall_lang.
Caddy's unique "config adapter" feature lets you choose any language you want to configure Caddy. github.com/mholt/dhall-adapt…
Dhall retweeted
Great "hallway" conversation about @dhall_lang vs @HelmPack 's approach to the config management problem.
Will make for a good follow-up blog post
In the meantime, here's a companion blog post to my talk: saurabhnanda.in/2022/03/24/d…
#DhallLang does not have escape hatches. You are forced to use pure typed-functional concepts.
Dhall as a Gateway-drug to Typed Functional Programming Talk by @saurabhnanda #FnConf @FnConf
The "with" keyword supports a new "?" path component to descend into Optional values. This comes in handy for editing schemas with pervasive Optional layers, like dhall-kubernetes
ALT let kubernetes = https://raw.githubusercontent.com/dhall-lang/dhall-kubernetes/v6.0.0/package.dhall in λ(deployment : kubernetes.Deployment.Type) → deployment with spec.?.template.metadata.?.name.? = "nginx"
You can use the new showConstructor keyword to convert any union constructor to a Text value representing the constructor's name
![let Text/concatMap = https://prelude.dhall-lang.org/Text/concatMap let DNA = < A | T | C | G > let render : List DNA → Text = Text/concatMap DNA (λ(x : DNA) → showConstructor x) in assert : render [ DNA.T, DNA.G, DNA.G ] ≡ "TGG"](https://pbs.twimg.com/media/FMK78LgVcAEmxx7.jpg?name=orig)
ALT let Text/concatMap = https://prelude.dhall-lang.org/Text/concatMap let DNA = < A | T | C | G > let render : List DNA → Text = Text/concatMap DNA (λ(x : DNA) → showConstructor x) in assert : render [ DNA.T, DNA.G, DNA.G ] ≡ "TGG"
Dhall retweeted
Version 1.41.0 of the Haskell implementation of @dhall_lang is out:
☑ Standard version 22.0.0
☑ Fix rendering negative TimeZones
☑ Fix formatting shebang lines
☑ instance FromDhall Int{8,16,32,64}
Full changelog here: github.com/dhall-lang/dhall-…
Dhall retweeted
Hiring for my team building scientific software for epidemiologists. Lots of #Haskell and @dhall_lang some #RStats with a touch of @rustlang .
workforcenow.adp.com/mascsr/…
Version 22.0.0 of the standard is out:
☑ `with` can modify Optionals
☑ New `showConstructor` keyword
☑ New Prelude.List.filterMap utility
☑ Fixes to standard and tests
Full change log here: github.com/dhall-lang/dhall-…
Dhall retweeted
Happy New Year! 🎉
README of the Week goes to 🥁🥁🥁 @dhall_lang!
github.com/dhall-lang/dhall-…
Why? See 🧵
Dhall retweeted
I used to hate DevOps a lot 😅
Now at work, we describe K8S, AWS and OpenShift deployment configurations using @dhall_lang, and I don't hate it anymore 🙂
Dhall retweeted
Over the last weeks, I've been working on github.com/hagl/dhall-unison a project to bring @dhall_lang to @unisonweb. A first preview is now available on share.unison-lang.org/latest…
The Dhall configuration language's import system has built-in protection against exploits like the recent log4j vulnerability, including:
• Forbidding computed imports
• The referential sanity check
• CORS
To learn more, read:
docs.dhall-lang.org/discussi…
.@cdepillabout wrote a post on implementing the Nixpkgs dhallDirectoryToNix function:
functor.tokyo/blog/2021-12-1…
Dhall retweeted
Dhall can be used to configure kitty hub.darcs.net/vmchale/dhall-…
Dhall retweeted
Version 1.40.2 of the Haskell implementation of @dhall_lang is out:
☑ Standard version 21.1.0
☑ {From,To}Dhall for dates/times
☑ New Template Haskell features
☑ Bug fixes
☑ GHC 9.2 support
Full changelog here: hackage.haskell.org/package/…
.@AwakeSecurity open-sourced a Terraform provider to use Dhall as an external data source:
github.com/awakesecurity/ter…
Version 21.1.0 of the standard is out:
☑ Fix grammar for certain type annotations
☑ Permit trailing comment without newline
☑ New Prelude utilities
Full change log here: github.com/dhall-lang/dhall-…
