Dhall Configuration Language Reviews

Medium Reviews

Dhall Configuration Language mentions (91)

• Any program can be a GitHub Actions shell

  I'll give a shot at some guiding principals: 1. Do not use yaml. All github action logic should be written in a language that compiles to yaml, for example dhall (https://dhall-lang.org/). Yaml is an awful language for programmers, and it's a worse language for non-programmers. It's good for no one. 2. To the greatest extent possible, do not use any actions which install things. For example, don't use... - Source: Hacker News / 27 days ago

• StrictYAML

  I'm a fan of anything that moves us away from stringly typed nonsense. See also Dhall (which can render to yaml). I like the idea but found the veneer broke a little too often and left me squinting at Haskell. https://dhall-lang.org/. - Source: Hacker News / about 2 months ago

• Some Programming Language Ideas

  I think you're asking for Starlark (https://starlark-lang.org), a language that strongly resembles Python but isn't Turing-complete, originally designed at Google for use in their build system. There's also Dhall (https://dhall-lang.org), which targets configuration use cases; I'm less familiar with it. One problem is that, while non-Turing-completeness can be helpful for maintainability, it's not really... - Source: Hacker News / 4 months ago

• 8 months of OCaml after 8 years of Haskell in production

  > Lambda calculus is as pure as can be, and also has terms that don't normalize. That is not considered a side effect. Many typed lambda calculi do normalise. You can also have a look https://dhall-lang.org/ for some pragmatic that normalises. > A better example of impurity in Haskell for pragmatic's sake is the trace function, that can be used to print debugging information from pure functions. Well, but that's... - Source: Hacker News / 5 months ago

• Thoughts on ThoughtWorks Radar 2024

  I was first turned onto Pkl during my Dhall Trough of Disillusionment phase (Dhall is cool, but man is it hard) by James Ward. It looked to be a language that had enough types to compile YAML/JSON configuration files wayyyy more safely. I’ve had enough YAML/JSON misconfigurations break production, that I started looking into ways to compile those problems away, and Dhall helped a lot, but the learning curve and... - Source: dev.to / 6 months ago

Medium mentions (2555)

• Unlocking Opportunities: How to Become a Sponsored Developer

  Case 1: Open Source Project Funding A developer launches an open source tool and documents the journey on platforms like GitHub. Once the project garners traction, they create detailed project documentation and publish blog posts on Medium to attract sponsorship. They also integrate GitHub Sponsors to secure recurring financial support. - Source: dev.to / about 14 hours ago

• Making a Video Game with AI by Just Typing English

  It's tiresome to keep reading, "I built an app/game in an hour" when this is simply not true. This person built a demo of a single level. That's very cool to show your friends, but it's not a game and it can't ship, be updated, go in an app store, be monetized, etc. I love agentic coding probably more than the next guy and write about it extensively[0], but it's an insult to those of humans doing this real work... - Source: Hacker News / 1 day ago

• Spain-Portugal blackouts: what happened

  In a system of micro-inverters, they need something to synchronize with. There needs to be a "truth" reference, so they can push their power onto the grid by slightly leading the phase of that. If some critical mass of PV micro-inverters exceeds the traditional generators, they'll push so hard that the grid itself will change phase, and blackouts are the result. One possible solution might be to use a better... - Source: Hacker News / 1 day ago

• Crushing the Command Line with Amazon Q: Building a Medium to DEV.to Converter

  I am submitting an idea for this challenge. Crushing the Command Line Build an automation with Amazon Q Developer CLI that makes your work easier, faster, or better. My idea is to create a tool to convert medium posts to dev.to markdown posts preserving the title heading, formatting and inline images the same way. Please give exact steps and prompts by referring to collection from promptz tool if you find... - Source: dev.to / 1 day ago

• Building Burstables: CPU slicing with cgroups

  Maybe one of these? https://dzone.com/articles/queuing-theory-for-software-engineers https://medium.com/@quebostina/stack-and-queue-are-two-of-the-most-familiar-data-structures-for-software-engineers-6df154a2ea43. - Source: Hacker News / 2 days ago