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
AllStoriesComments NewestTopOldest
  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.
    comment by datadeft · 2024-11-27 · in I Didn't Need Kubernetes, and You Probably Don't Either
  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.
    comment by ruuda · 2024-08-02 · in A skeptic's first contact with Kubernetes
  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
    comment by reactormonk · 2021-02-26 · in Intercal, YAML, and Other Horrible Programming Languages
  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. ▲ 1
    Typesafe Kubernetes
    story by agbell · 2020-07-03 · 0 comments
  14. 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
  15. …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…
    comment by lidHanteyk · 2019-11-18 · in Can We Just Cut to Infrastructure-as-Declarative-Code?
  16. …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
  17. …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
  18. You might enjoy the examples at https://github.com/dhall-lang/dhall-kubernetes
    comment by KirinDave · 2019-04-13 · in JSON as configuration files: please don’t (2016)
  19. …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
    comment by arianvanp · 2019-02-15 · in Sample cloud-native application with microservices
  20. …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?
  21. …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?
  22. 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
  23. …or Bazel even if it is missing some of Dhall's interesting features (such as reduction). [1]: https://github.com/dhall-lang/dhall-kubernetes
    comment by gregwebs · 2018-12-04 · in Stripe open-sources Skycfg, a configuration builder for Kubernetes
  24. …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...
    comment by ff_ · 2018-07-13 · in Dhall – A Distributed, Safe Configuration Language