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.
-
-
-
-
ripgrep
ripgrep recursively searches directories for a regex pattern while respecting your gitignore
-
-
-
Scout APM
Scout APM: A developer's best friend. Try free for 14-days. 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.
-
-
-
-
zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
-
-
cue
The new home of the CUE language! Validate and define text-based and dynamic configuration (by cue-lang)
-
-
-
-
terragrunt
Terragrunt is a thin wrapper for Terraform that provides extra tools for working with multiple Terraform modules.
-
-
-
Reviews and mentions
-
How to Learn Nix
If the problem is the syntax and people wants some other format that compiles to nix, there's dhall
https://github.com/dhall-lang/dhall-haskell/tree/master/dhal...
https://www.haskellforall.com/2017/01/typed-nix-programming-...
Dhall is a generic config language with some programming capabilities (but not turing complete) that can compile to json, yaml, and other formats, like in this instance nix.
-
The Perfect Configuration Format? Try TypeScript
Anyone have experiences to share about Dhall (https://dhall-lang.org)?
On their homepage they call it a "programmable configuration language that you can think of as: JSON + functions + types + imports"
-
YAML: It's Time to Move On
> Naive question: is it viable if we started using [a Turing-complete programming language]
This is actually a good question. The people who are not asking and going right ahead with that plan are doing a dangerous thing. <https://www.cs.dartmouth.edu/~sergey/langsec/occupy/> It's not viable because a subset of people would like to have the following properties upheld:
• Parsing configuration should be decidable and finish in finite time.
• Parsing configuration should not be a security exploit.
• I should not have to implement the Emacs runtime just to parse its configuration file.
> something that's both more flexible but still strict and unambiguous. I wonder if it's possible?
This really depends on what you mean by these words; I'm interested to hear your idea in detail. Meanwhile, have a look at Dhall <https://dhall-lang.org/> and the other languages mentioned in <https://news.ycombinator.com/item?id=29221643> and compare.
-
PSA: If you update a YML file used in CI to install or use Python 3.10, make sure to use “3.10” as a string. Otherwise is will most likely install Python 3.1.
If we’re going to apply an order of preference for configuration languages that do way more than they need to we really should add dhall considerably to the left of TOML.
-
Non-Turing complete languages offer a great advantage over Turing-complete languages as they are much more analyzable and, thus, offer much broader optimization possibilities. Yet they are barely used and Turing-completeness is actually sold as a good feature.
/uj it sounds wack and the "optimization possibility" is bs but https://dhall-lang.org/ is a really nice example of a deliberately non-tc language that 100% makes sense
-
Cue: A new language for data validation
Does anyone know enough to compare Cue and https://dhall-lang.org/ ? For example: Is using them together even a sensical idea?
- X Markup Language
-
Common Lisp
That's my personal opinion, but I think that programming language pages should have more information density. I also think that using your average "startup template" for Common Lisp is a bit weird. A good example of what I like might be the OCaml homepage https://lisp-lang.org/, the Go homepage https://golang.org/. The Haskell homepage has a REPL with a tutorial, which encourages you to play around with the language, I think that's a good idea https://www.haskell.org/. TypeScript's page is also nice https://www.typescriptlang.org/. For something a little bit different, Dhall is also good at quickly demonstrating how it works https://dhall-lang.org/.
That might just be a consequence of my time on Hacker News, but I think the insistance on Paul Graham is a bit much.
The chart about server performance felt a bit weird to me, as I think the difference between Ruby and JS would be bigger at least. So I checked on techempower benchmarks (https://www.techempower.com/benchmarks/) and sadly there is no common lisp. It's also not on the last runs (https://tfb-status.techempower.com/). I think putting the origin of the results and a way to reproduce them would be a good thing. I don't doubt that common lisp is fast, but that diagram looks a bit too much like hollow marketing, especially with the image behind.
The page about OO (https://lisp-lang.org/learn/clos) has a good explanation of multiple dispatch, but I think it should come with an example. The first steps pages (https://lisp-lang.org/learn/first-steps) also explains atoms well, but it doesn't explain lists after mentionning them.
In general this feels a bit unpolished, though some part are good. There's no mention of the Common Lisp cookbook (https://lispcookbook.github.io/cl-cookbook/), which sadly confirms a bit the "Lisp users all have NIH syndrome" meme.
-
Fall-from-Grace: A ready-to-fork functional programming language
Probably the easiest way to explain this is to compare to Dhall which is similar to Grace in that everything is also an expression, but Dhall does let you define type synonyms using let. For example, this is valid Dhall code:
-
Functorio
Also idk if you've written a compiler for DSL like dhall, but working with syntax trees and intermediate representations of PLs is so much nicer in functional languages I Can't even begin to describe the horror and lack of safety of having a compiler based on typecasts everywhere. It's much easier to ensure certain invariants hold when your compiler isn't entirely written in terms of casts.
-
The KDL Document Language, an alternative to YAML/JSON/XML
I think Dhall is a much better alternative for any serious JSON or YAML use case
-
Google Summer of Code Summary: Dhall bindings to CSV
As CSV is one of the most popular formats to store data, it was thought that it would be a great addition to the Dhall environment to provide a way to translate back and forth between Dhall and CSV. The original idea of providing a Dhall-CSV package belongs to Adrian Sieber who posted issue #1165 on the Dhall language repository. There lies the original discussion on how to go about making the dhall-csv package.
-
Kubelet spends 20% time in GC in most environments where it runs
I'll clarify that I'm on board with what you're saying. Definitely if you need N machines to split the traffic load, or an application that will auto-restart under certain conditions, you ought to just use kubernetes. It's a lot easier than rolling it all yourself.
What I was trying to target above was more tooling built atop the tooling -- complex instances "the devops stack", rather than _just_ kubernetes. Take for instance, Dhall[1] -- just look at the kind of places that goes[2]!
A person coming from a "run docker-compose" world maybe wasn't ever thinking about log rotation, let alone audits, and maybe they should have been. But after they read a marketing blogpost somewhere that's convinced them it is "modern best practices" to use something like Dhall, as the saying goes... now they have two problems.
When the person up above mentioned the devops resume madness, that's what I was thinking of and felt it's worth noting does exist, while agreeing that vanilla k8s can be great.
-
who's Jason ?
also check https://dhall-lang.org
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.
Popular Comparisons
Are you hiring? Post a new remote job listing for free.