SaaSHub helps you find the best software and product alternatives Learn more →
Top 6 Dhall Dhall Projects
Maintainable configuration filesProject mention: Berry is a ultra-lightweight dynamically typed embedded scripting language | news.ycombinator.com | 2023-10-07
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...
Maintainable configuration files
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.
Typecheck, template and modularize your Kubernetes definitions with DhallProject mention: DSLs Are a Waste of Time | news.ycombinator.com | 2023-09-04
I hate yaml with a passion. It marginally better than xml for reading (wins huge on comment syntax) and worse for everything else. It makes zero sense we somehow ended up with it as standard configuration serialization format.
Note yaml is not a DSL. It's a tree serialization format! Everything interesting is happening after it is parsed. Extreme examples point to e.g. github actions conditions.
Anyway, back on topic - maybe not prolog for CDK, but still quite interesting: Dhall-kubernetes - https://github.com/dhall-lang/dhall-kubernetes
Typecheck, template and modularize your Github Action definitions with Dhall
Resume generation stack - create PDF, markdown, website resumes from a single resume specification (by s-zeng)
Dhall types for bibtex integration
Dhall Dhall related posts
What Is the Point of Decidability
1 project | news.ycombinator.com | 5 Oct 2023
Home Blog Better configuration languages – A talk about Dhall [video]
1 project | news.ycombinator.com | 17 Aug 2023
Language without loops and recursion
3 projects | /r/ProgrammingLanguages | 5 Jun 2023
Why is Kubernetes adoption so hard?
1 project | news.ycombinator.com | 1 Jun 2023
What are some of the least applicable areas of math?
1 project | /r/math | 11 May 2023
New Scala Build Tool
3 projects | /r/scala | 12 Apr 2023
Is It Imperative to Be Declarative?
2 projects | news.ycombinator.com | 2 Apr 2023
A note from our sponsor - #<SponsorshipServiceOld:0x00007f0fa18861b8>
www.saashub.com | 28 Nov 2023
What are some of the best open-source Dhall projects in Dhall? This list will help you: