Hacker GitHub

← All repos

dhall-lang/dhall-kubernetes

View on GitHub ↗ ★ 650 Dhall

Typecheck, template and modularize your Kubernetes definitions with Dhall

24 mentions on Hacker News by 20 people: 1 story, 23 comments · first 2018-07-13 · latest 2025-04-13

Mentions per year 24 mentions · busiest year 2019 (8)
20082026
  1. …an intermediate representation between my intention expressed in Dhall and what runs in production. https://github.com/dhall-lang/dhall-kubernetes
    comment by dev_l1x_be · 2025-04-13 · in YAML: The Norway Problem (2022)
  2. One thing that might help you in this madness is: https://github.com/dhall-lang/dhall-kubernetes Type safe, fat finger safe representation of your YAMLs is grossly underrated.
  3. At the moment nothing like that exists. Eventually it should be possible to generate RCL types like https://github.com/dhall-lang/dhall-kubernetes does for Dhall.
  4. …Anyway, back on topic - maybe not prolog for CDK, but still quite interesting: Dhall-kubernetes - https://github.com/dhall-lang/dhall-kubernetes
    comment by baq · 2023-09-04 · in DSLs are a waste of time
  5. At this point, if it’s painful enough, why isn’t compiling-to-yml tools more popular? Example: https://github.com/dhall-lang/dhall-kubernetes Haven’t used dhall myself but I’d definitely prefer a DSL on top of yaml.
    comment by belmont_sup · 2023-06-01 · in Why is Kubernetes adoption so hard?
  6. k8s is a pretty good one. I would not touch k8s without Dhall: https://github.com/dhall-lang/dhall-kubernetes
    comment by datadeft · 2023-03-23 · in MRSK vs. Fly.io
  7. Dhall for kubernetes might be what you are looking for. https://github.com/dhall-lang/dhall-kubernetes
    comment by adamgordonbell · 2022-07-25 · in Google Kubernetes clusters config checker tool
  8. …between providers would be a matter of changing fewer lines. Dhall also has Kubernetes bindings: https://github.com/dhall-lang/dhall-kubernetes Although I'm tempted to just stick to Helm here: even though it's less type-safe, Dhall's…
    comment by sshine · 2022-07-14 · in The Dhall Configuration Language
  9. …is Dhall that I am aware of. Same situation, working as a consultant, forced to use broken things. https://github.com/dhall-lang/dhall-kubernetes
    comment by StreamBright · 2021-06-09 · in Terraform 1.0
  10. …variables as you like, while validating the configuration generators themselves at design time . https://github.com/dhall-lang/dhall-kubernetes#more-modular-...
    comment by infogulch · 2021-04-30 · in Write Gitlab CI Pipelines in Python Code
  11. …to use it like TypeScript to type an untyped structure is... interesting. E.g. for Kubernetes: https://github.com/dhall-lang/dhall-kubernetes
  12. …validate everything before you even touched K8s was worth it imo. [0] https://dhall-lang.org/ [1] https://github.com/dhall-lang/dhall-kubernetes
    comment by FridgeSeal · 2020-10-21 · in Fear and Loathing in YAML
  13. What about something like https://github.com/dhall-lang/dhall-kubernetes ?
    comment by anaphor · 2020-01-10 · in Tanka: Our way of deploying to Kubernetes
  14. …in a configuration language were a novel concept. [0] https://github.com/xtruder/kubenix [1] https://github.com/dhall-lang/dhall-kubernetes [2] https://www.pulumi.com/docs/intro/vs/k8s_yaml_dsls/ [3] https://www.pulumi.com/docs/intro/vs/che…
  15. …imports which make defining constants quite easy. There are already kubernetes bindings available https://github.com/dhall-lang/dhall-kubernetes . The syntax in the examples looks a bit more verbose and less readable than yaml but I think…
    comment by oalessandr · 2019-07-04 · in Dhall: A Non-Repetitive Alternative to YAML
  16. …the syntax a bit more than jsonnet. It's a bit less noisy. I'm also a bit biased because I work on https://github.com/dhall-lang/dhall-kubernetes . We're currently working on a 2.0 release so the current state of the repo is a bit in…
    comment by arianvanp · 2019-04-14 · in Jsonnet – A data templating language
  17. You might enjoy the examples at https://github.com/dhall-lang/dhall-kubernetes
  18. …By some people from k8s: https://docs.google.com/spreadsheets/d/1FCgqz1Ci7_VCz_wdh8vB... By me: https://github.com/dhall-lang/dhall-kubernetes/issues/10
  19. …Dhall config: Terraform, Kubernetes, SQL, etc. And there is already an integration with Kubernetes: https://github.com/dhall-lang/dhall-kubernetes
    comment by ff_ · 2019-02-08 · in Why are we templating YAML?
  20. …with YAML and JSON -> https://github.com/dhall-lang/dhall-lang , and for kubernetes specifically -> https://github.com/dhall-lang/dhall-kubernetes
    comment by aetherlord · 2019-02-07 · in Why are we templating YAML?
  21. There is also Https://GitHub.com/dhall-lang/dhall-kubernetes which is built on top of dhall, another competitor of jsonnet
    comment by arianvanp · 2019-01-21 · in Kubernetes Failure Stories
  22. …or Bazel even if it is missing some of Dhall's interesting features (such as reduction). [1]: https://github.com/dhall-lang/dhall-kubernetes
  23. …why this is possible [2]) [0]: https://github.com/dhall-lang/dhall-lang/wiki/Dhall-in-produ... [1]: https://github.com/dhall-lang/dhall-kubernetes [2]: http://www.haskellforall.com/2017/11/semantic-integrity-chec...