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.
Dhall-lang Alternatives
Similar projects and alternatives to dhall-lang
-
terraform
Terraform enables you to safely and predictably create, change, and improve infrastructure. It is an open source tool that codifies APIs into declarative configuration files that can be shared amongst team members, treated as code, edited, reviewed, and versioned.
-
-
Scout APM
Scout APM - Leading-edge performance monitoring starting at $39/month. Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.
-
-
-
-
terragrunt
Terragrunt is a thin wrapper for Terraform that provides extra tools for working with multiple Terraform modules.
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
-
-
-
-
-
ripgrep
ripgrep recursively searches directories for a regex pattern while respecting your gitignore
-
-
-
-
zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
-
Posts
-
Useful minimal languages
Dhall is a pretty small language. Here's a recent discussion on the difficulty of implementing it: https://github.com/dhall-lang/dhall-lang/issues/1182
-
Terraform 1.0 Release
This would be great. Perhaps it could be based on https://dhall-lang.org/
-
JsonLogic
> but let's say we need to share these credential objects between different systems that do not have prior knowledge of how to evaluate the credential data
Well, they _must_ have prior knowledge about it, because they must have to understand the concept of JsonLogic beforehand. So instead, you can just make these systems understand a proper programming language that can produce outputs. Something like https://github.com/dhall-lang/dhall-lang would probably be a much better option for this usecase.
- Jolie, the service-oriented programming language
-
The Siren Song of Declarative Programming
How do you compute with JSON? You need to specify which program you use as "compiler", "interpreter" or "runner". Many programs also only use a subset of JSON, a specific schema, so then you are really using a sub-language. On the other hand, I would classify dhall as a programming language; it even has things like functions, but it is not Turing complete. So maybe you could see JSON as a very simple programming language for describing data that other programs can use.
- The Dhall configuration language: maintainable configuration files
-
Write Gitlab CI Pipelines in Python Code
I think the only exit to this cycle is something like dhall, which adds features like functions and imports, but is "total" / forbids side-effects. https://dhall-lang.org/
-
The language strangeness budget (2015)
The reason why I shared this is because I felt pain when I’m converting my YAML to Dhall, a type safe configuration language that reduces duplications. The main reason that drives me to use Dhall in production is the type safety and function declarations, but I personally find it too painful (pain is expected but not this much) to change although they provide a YAML-to-Dhall converter because the syntax is too alien (IMO a weird hybrid between Haskell and Typescript), and because of that I spend way more time than expected to complete the transition, and it’s also hard to get approvals from my colleagues because they can barely read the syntax.
- Zellij – A Terminal Workspace and Multiplexer Written in Rust
-
Has there ever been a new feature added to a language long after 1.0, which was later removed because of unforeseen problems?
The configuration language Dhall used to have a rule Sort ~> Kind, but this lead to issues due to Hurken's paradox https://github.com/dhall-lang/dhall-lang/issues/250
-
[question] write a configuration file
Oh and for future reference, have a look at Dhall. There's no parser for it in Julia (yet) and it's probably needlessly complicated for your use case, but I always like to spread the word :D
-
GitHub investigating crypto-mining campaign abusing its server infrastructure
I assume at commit time on the local machine. I'm doing something similar for a new PoC project with Dhall, using something like https://github.com/regadas/github-actions-dhall
- The Norway Problem
-
Speed of Rust vs. C
> Languages like Idris and Agda are different because sometimes code isn’t executed at all. A proof may depend on knowing that some code will terminate without running it.
Yes. They are rather different in other respects as well. Though you can produce executable code from Idris and Agda, of course.
> With respect to deadlocks, there’s little practical difference between an infinite loop and a loop that holds the lock for a very long time.
Yes, that's true. Though as a practical matter, I have heard that it's much harder to produce the latter by accident, even though only the former is forbidden.
For perhaps a more practical example, have a look at https://dhall-lang.org/ which also terminates, but doesn't have nearly as much involved proving.
-
Template engines / expression languages for YAML?
There's Dhall which will let you generate JSON or YAML.