related: https://dhall-lang.org/ (they use

Text

instead of

String

a type , nice)

It you have questions about dhall, fire away, I'm quite familiar with it

In what contexts is Dhall seeing success?

The biggest use case for dhall is kubernetes: https://github.com/dhall-lang/dhall-kubernetes Kubernetes configs tend to get really large and repetitive. Here, Dhall's strenghts lie: Lambda abstractions allow you to not repeat yourself and static types guarantee you're not mixing something up. Unfortunately it's hard to know the exact usecases, as I've mostly heard of companies using it internally. There are some open-source usecases, but you could argue they're the 'nerdy' ones: the now de-facto standard package manager for purescript, spago, uses dhall for configuration (dependencies, package sets): https://github.com/dhall-lang/dhall-kubernetes, from a usecase perspective it would be possible to replace nix's expression language with dhall, although that is not practical at all anymore. There exists a dhall-to-nix translator, though: https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-nix. And if you want, before haskell cabal's 'common stanzas' were implemented, you could get rid of duplication in your .cabal files via writing your config in dhall and converting it with dhall-to-cabal: https://github.com/dhall-lang/dhall-to-cabal I have to admit, I'm interested in dhall mostly because I'm nerdy as well 😉 I really like the language design, it's clean, minimal, but powerful. However, Dhalls creator, Gabriel Gonzales is well aware of us 'nerds' (he uses the "Crossing the Chasm"-vocabulary and calls these early-adopters) and instead tries to think deeply about what satisfies 'mainstream programmers' in contrast to us nerds.

Gabriel was interviewed in corecursive podcast though they didn't talked too much about dhall: https://corecursive.com/040-tech-evangelism-with-gabriel-gonzalez/