Onboard AI learns any GitHub repo in minutes and lets you chat with it to locate functionality, understand different parts, and generate new code. Use it for free at www.getonboard.dev. Learn more →
Dhall-lang Alternatives
Similar projects and alternatives to dhall-lang
-
cue
The home of the CUE language! Validate and define text-based and dynamic configuration
-
-
Onboard AI
Learn any GitHub repo in 59 seconds. Onboard AI learns any GitHub repo in minutes and lets you chat with it to locate functionality, understand different parts, and generate new code. Use it for free at www.getonboard.dev.
-
-
terraform
Terraform enables you to safely and predictably create, change, and improve infrastructure. It is a source-available tool that codifies APIs into declarative configuration files that can be shared amongst team members, treated as code, edited, reviewed, and versioned.
-
-
Pulumi
Pulumi - Infrastructure as Code in any programming language. Build infrastructure intuitively on any cloud using familiar languages 🚀
-
-
InfluxDB
Collect and Analyze Billions of Data Points in Real Time. Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.
-
-
-
-
-
-
-
-
dhall-kubernetes
Typecheck, template and modularize your Kubernetes definitions with Dhall
-
-
-
-
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
dhall-lang reviews and mentions
-
Berry is a ultra-lightweight dynamically typed embedded scripting language
I've been thinking along these lines but more 'strongly validated' than statically typed in the sense that you'd be better off being able to load the entire config and then produce a list of problems (and should be able to offer good editor support if done correctly).
Though https://dhall-lang.org/ demonstrates that you can statically type quite a lot of configuration to great advantage, which appears to be programmatically embeddable in multiple languages per https://docs.dhall-lang.org/howtos/How-to-integrate-Dhall.ht...
-
What Is Wrong with TOML?
I agree, I quite like https://dhall-lang.org/ for that reason. It strikes a good balance between features and being a config language.
Maybe you'd like jsonnet: https://jsonnet.org/
I find it particularly useful for configurations that often have repeated boilerplate, like ansible playbooks or deploying a bunch of "similar-but" services to kubernetes (with https://tanka.dev).
Dhall is also quite interesting, with some tradeoffs: https://dhall-lang.org/
A few years ago I did a small comparison by re-implementing one of my simpler ansible playbooks: https://github.com/retzkek/ansible-dhall-jsonnet
- Show HN: FlakeHub – Discover and publish Nix flakes
-
Domain Modelling in the Cloud & AWS CDK
I think 3 is the biggest take away for me. I spent way too much time trying to utilize Dhall to create a domain specific language for each project, and translate that to CloudFormation. Instead of thinking in Lambdas and Step Functions, you would use the language of the problem we’re trying to solve; the business of getting a Client’s(1) Accounts(2) into a bunch of PDF Financial Statements(3) that we could then put into a zip file called a StatementsZIP(4) and deliver to a customer’s FTP server.
-
Rethinking Infrastructure as Code from Scratch
Well, it depends on the language. Some are quite good at restricting programs so that it is not possible to execute arbitrary code.
Take a look at https://propellor.branchable.com to see how Haskell might be used.
Idris might be a good candidate as well.
https://dhall-lang.org is quite interesting for these purposes as well (although it is not general purpose)
-
What config format do you prefer?
Have you heard about / considered Dhall?
-
Keeping Open Source Open: Rocky Linux
Not for Nix, it depends entirely on functional concepts. There’s also the Dhall config language, which could do what Nix does. Not sure if that’s any better for you but maybe worth checking out.
-
What languages are we missing on devenv.sh?
Dhall would be nice https://dhall-lang.org/
-
Announcing Nickel 1.0, a configuration language written in (and usable from) Rust
This sounds/looks a lot like dhall. Would you mind contrasting dhall vs. nickel?
-
A note from our sponsor - Onboard AI
getonboard.dev | 6 Dec 2023
Stats
dhall-lang/dhall-lang is an open source project licensed under BSD 3-clause "New" or "Revised" License which is an OSI approved license.
The primary programming language of dhall-lang is Dhall.